elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

Algebraic derivation of Until rules and application to timer verification

Ertel, Jessica and Glück, Roland and möller, bernhard (2018) Algebraic derivation of Until rules and application to timer verification. In: LECTURE NOTES IN COMPUTER SCIENCE, 11194, pp. 244-262. Springer. 17th International Conference on Relational and Algebraic Methods in Computer Science, 29. Okt. - 01. Nov. 2018, Groningen, Niederlande. DOI: 10.1007/978-3-030-02149-8\_15

Full text not available from this repository.

Official URL: https://link.springer.com/chapter/10.1007/978-3-030-02149-8_15

Abstract

Using correspondences between linear temporal logic and modal Kleene Algebra, we prove in an algebraic manner rules of linear temporal logic involving the until operator. These can be used to verify programmable logic controllers; as a case study we use a part of the control of pedestrian lights, verified with the interactive tool KIV.

Item URL in elib:https://elib.dlr.de/122742/
Document Type:Conference or Workshop Item (Speech)
Title:Algebraic derivation of Until rules and application to timer verification
Authors:
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Ertel, Jessicaertel-jessica (at) hotmail.deUNSPECIFIED
Glück, Rolandroland.glueck (at) dlr.dehttps://orcid.org/0000-0001-7909-1942
möller, bernhardbernhard.moeller (at) informatik.uni-augsburg.deUNSPECIFIED
Date:2018
Journal or Publication Title:LECTURE NOTES IN COMPUTER SCIENCE
Refereed publication:Yes
Open Access:No
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:Yes
Volume:11194
DOI :10.1007/978-3-030-02149-8\_15
Page Range:pp. 244-262
Editors:
EditorsEmail
Desharnais, JulesJules.Desharnais@ift.ulaval.ca
Guttmann, Walterwalter.guttmann@canterbury.ac.nz
Joosten, Stefstef. joosten@ou. nl
Publisher:Springer
Series Name:Lecture Notes in Computer Science
Status:Published
Keywords:PLC Verification Kleene Algebra Timer
Event Title:17th International Conference on Relational and Algebraic Methods in Computer Science
Event Location:Groningen, Niederlande
Event Type:international Conference
Event Dates:29. Okt. - 01. Nov. 2018
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Aeronautics
HGF - Program Themes:other
DLR - Research area:Aeronautics
DLR - Program:L - no assignment
DLR - Research theme (Project):L - no assignment
Location: Augsburg
Institutes and Institutions:Institute of Structures and Design > Flexible Automation Systems
Deposited By: Glück, Dr. Roland
Deposited On:15 Nov 2018 10:11
Last Modified:15 Nov 2018 10:11

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.