Verification of embedded supervisory controllers considering hybrid plant dynamics

International Journal of Software Engineering and Knowledge Engineering

Volumn 15, Issue 2, 2005, Pages 307-312

  Engell, Sebastian ^a   Lohmann, Sven ^a   Stursberg, Olaf ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

Automata; Hybrid systems; Logic control; Model checking; Sequential function charts

Indexed keywords

AUTOMATA THEORY; DIFFERENTIAL EQUATIONS; EMBEDDED SYSTEMS; GRAPH THEORY; NONLINEAR CONTROL SYSTEMS; NONLINEAR EQUATIONS; SYNCHRONIZATION;

HYBRID SYSTEMS; LOGIC CONTROL; MODEL CHECKING; SEQUENTIAL FUNCTION CHARTS (SFC);

CONTROL EQUIPMENT;

EID: 21144446425     PISSN: 02181940     EISSN: None     Source Type: Journal    
DOI: 10.1142/S021819400500204X     Document Type: Article

References (13)

1. S. Bornot, R. Huuck, Y. Lakhnech and B. Lukoschus, Verification of sequential function charts using SMV, in Proc. Int. Conf. Parallel and Distributed Processing Techniques and Applications (2000), pp. 2987-2993.
2. K. Fujino, K. Imafuku, Y. Yamashita and H. Nishitani, Design and verification of SFC programs for sequential control, in Computers and Chemical Eng. 24 (2000) 303-308.
3. S. Lamperiere and J.-J. Lesage, Formal verification of the sequential part of PLC Programs, in Discrete Event Systems (Kluwer Academic, 2000), pp. 247-254.
4. P. L'Her, P. Le Parc and L. Marce, Proving sequential function chart programs using automata, in Automata Implementation (Springer, Berlin, 1998), LNCS 1660, pp. 149-163.
5. M. P. Remelhe, S. Lohmann, O. Stursberg and S. Engell, Algorithmic verification of logic controllers given as sequential function charts, in Proc. IEEE Conf. on Computer-Aided Control System Design (IEEE, 2004), pp. 53-58.
6. E. Clarke, A. Fehnker, Z. Han, B. H. Krogh, J. Ouaknine, O. Stursberg and M. Theobald, Abstraction and counterexample-guided refinement in model checking of hybrid systems, in Int. Journal Foundations of Computer Science 14 (2003) 583-604.
7. Intern. Electrotechnical Commission (Committee No. 65), Programmable controllers programming languages, IEC 61131-3 (IEC, 2003).
8. th IEEE Symp. on Logic in Computer Science (1996), pp. 278-292.
9. O. Stursberg, A. Fehnker, Z. Han and B. H. Krogh, Verification of a cruise control system using counterexample-guided search, in Control Eng. Practice 12 (2004) 1269-1278.
10. N. Bauer, R. Huuck, B. Lukoschus, and S. Engell, A unifying semantics for sequential function charts, in Integration of Software Specification Techniques for Applications in Engineering (Springer Verlag, Berlin, 2004), LNCS 3147, pp. 400-418.
11. th IFAC World Congress (2005).
12. O. Stursberg and B. H. Krogh, Efficient representation and comp. of reachable sets for hybrid systems, in Hybrid Systems: Comp. and Control (Springer Verlag, 2003), LNCS 2623, pp. 482-497.
13. S. Kowalewski, O. Stursberg and N. Bauer, An experimental batch plant as a case example for the verification of hybrid systems, in European Journal of Control 7 (2001) 366-381.