We introduce a new class of automata which are tailored for dealing with real-time properties modelling the behaviour of Programmable Logic Controllers (PLC) that are often used in practice to solve controlling problems. A semantics in an appropriate temporal logic (Duration Calculus) is given and an implementation schema is presented in a programming language for PLCs that fits the semantics. Finally, a case study shows the suitability of this approach.
CITATION STYLE
Dierks, H. (1997). PLC-automata: A new class of implementable real-time automata. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1231, pp. 111–125). Springer Verlag. https://doi.org/10.1007/3-540-63010-4_8
Mendeley helps you to discover research relevant for your work.