Title :
Synthesising controllers from real-time specifications
Author_Institution :
Dept. of Comput. Sci., Oldenburg Univ., Germany
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;
Conference_Titel :
System Synthesis, 1997. Proceedings., Tenth International Symposium on
Conference_Location :
Antwerp
Print_ISBN :
0-8186-7949-2
DOI :
10.1109/ISSS.1997.621685
