DocumentCode
315743
Title
Synthesising controllers from real-time specifications
Author
Dierks, Henning
Author_Institution
Dept. of Comput. Sci., Oldenburg Univ., Germany
fYear
1997
fDate
17-19 Sep 1997
Firstpage
126
Lastpage
133
Abstract
We present an algorithm for synthesising controllers specified in a subset of the interval temporal logic called `duration calculus´. The synthesised controllers are given as PLC (programmable logic controller) automata, and these can be implemented directly on PLCs. We demonstrate the behaviour of the algorithm by an example
Keywords
automata theory; control system CAD; formal specification; programmable controllers; real-time systems; temporal logic; PLC automata; controller synthesis algorithm; duration calculus; interval temporal logic; programmable logic controllers; real-time specifications; Automata; Calculus; Computer science; Electrical equipment industry; Embedded software; Hardware; Industrial control; Logic; Programmable control; Real time systems;
fLanguage
English
Publisher
ieee
Conference_Titel
System Synthesis, 1997. Proceedings., Tenth International Symposium on
Conference_Location
Antwerp
ISSN
1080-1820
Print_ISBN
0-8186-7949-2
Type
conf
DOI
10.1109/ISSS.1997.621685
Filename
621685
Link To Document