Block-diagram based modelling and analysis of hybrid processes under discrete control

Journal Europeen des Systemes Automatises

Volumn 32, Issue 9-10, 1998, Pages 1097-1118

  Stursberg, Olaf ^a   Kowalewski, Stefan ^a   Preußig, Jörg ^a   Treseler, Heinz ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

Formal verification; Hierarchical modelling; Hybrid systems; Programmable logical controllers; Timed discrete event systems

Indexed keywords

EID: 0008341640     PISSN: 12696935     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (21)

1. ALUR R. et al., "A Theory of Timed Automata", Theor. Comp. Science 126, p. 138-235, 1994.
2. th Triennial IFAC World Congress, San Francisco, p. 287-292, 1996.
3. Daws, C. et al.: "The tool KRONOS", Hybrid Systems III, LNCS 1066, Springer, 1996.
4. DEMITRIADIS V.D. et al., "Modelling and Safety Verification of Discrete/Continuous Processing Systems using discrete Time Domain Models", Proc. of the Workshop "Analysis and Design of Event-Driven Operations in Process Systems", London (UK), 1995.
5. ENGELL S. et al., "Condition/event systems: a powerful paradigm for timed and untimed discrete models of technical systems", In F. Breitenecker et al. (Eds.): EUROSIM 95, Elsevier, Amsterdam, p. 421-426, 1995.
6. ~tah/HyTech/, 1996.
7. HUUCK R. et al., "Comparing Timed C/E Systems with Timed Automata", International Workshop on Hybrid and Real-Time Systems (HART'97), Grenoble, France, LNCS 1201, p. 81-86, 1997.
8. INTERNATIONAL ELECTROTECHNICAL COMISSION, "International Standard 1131 - Programmable Logic Controllers", Part 3: Programming Languages, Geneva, 1993.
9. KOKAR M.M., "On Consistent Symbolic Representations of General Dynamic Systems", IEEE Transactions on Systems, Man and Cybernetics, vol. 25, no 8, p. 1231-1241, 1995.
10. KOWALEWSKI S. et al., "CELESTE - eine Sprache zur modellbasierten Verifikation von diskreten Steuerungen", Proc. of 5. Fachtagung Entwurf komplexer Automatisierungssysteme (EKA'97), vol. 1, p. 41-56 (in German), 1997.
11. KOWALEWSKI S. et al., "VERDICT - A Tool for Model-Based Verification of Real-Time Logic Process Controllers", Workshop on Parallel and Distributed Real-Time Systems, Geneva, Switzerland, 1997.
12. KUIPERS B., "Qualitative Simulation", Artificial Intelligence 29, p. 289-338, 1986.
13. LUNZE J, "Qualitative Modelling of Linear Dynamical Systems with Quantized State Measurements", Automatica, vol. 30 (3), p. 417-431, 1994.
14. NIINOMI T. et al., "Synthesis of Supervisory Controllers for Hybrid Systems based on Approximating Automata", Proc. of the Conf. on Decision and Control, New Orleans, USA, 1995.
15. th Int. Symp. on Formal Techniques in Real-Time and Fault-Tolerant Systems, Lyngby (Denmark), 1998.
16. nd IMACS Symposium on Mathematical Modelling, Vienna (Austria), 1997.
17. nd IMACS Symposium on Mathematical Modelling, Vienna (Austria) 1997.
18. STURSBERG O. et al., "Comparing Timed and Hybrid Automata as Approximations of Continuous Systems", Hybrid Systems IV, LNCS 1273, Springer, p. 361-377, 1997.
19. SREENIVAS R.S. et al., "On Condition/Event Systems with Discrete State Realization", Discrete Event Dynamic Systems: Theory and Applications 1(2), p. 209-236, 1991.
20. STIVER J.A. et al., "State Space Partitioning for Hybrid Control Systems", Proc. of the American Control Conf 1993, San Francisco (USA), p. 2303-2304, 1993.
21. TURK A.L. et al., "Verification of Real-Time Chemical Processing Systems", Proc. of the Intern. Workshop on Hybrid and Real-Time Systems (HART'97), Grenoble (France), 1997.