|
A STOPWATCH SEMANTICS FOR HYBRID CONTROLLERS
Nanette Bauer* Ralf Huuck** Ben Lukoschus**
* Department of Chemical Engineering, University of Dortmund,
Germany. n.bauer@chemietechnik.uni-dortmund.de
** Institute of Computer Science and Applied Mathematics, University
of Kiel, Germany. {rhu,bls}@informatik.uni-kiel.de
Programmable Logic Controllers (PLC) are frequently used in the automation insdustry for the control of hybrid systems. Although the programming languages for PLCs are given in the standard IEC 61131-3, their semantics are defined in an ambiguous and incomplete way. This holds in particular for the graphical language Sequential Function Charts (SFC), a high-level programming language comprising such interesting features as parallelism, activity manipulation, priorities and hierarchy. In this work we present a formal semantics for timed SFCs, which belong to the class of linear hybrid systems.
Keywords: programmable logic controllers, linear hybrid systems, sequential function charts, stopwatch semantics
Session slot T-Th-A06: Behaviour and optimal control of hybrid systems/Area code 5c : Computer Aided Control Systems Design
 | 