Approaches to the formal verification of hybrid systems

At-Automatisierungstechnik

Volumn 49, Issue 2, 2001, Pages 66-74

  Kowalewski, Stefan ^a   Herrmann, Peter ^b   Engell, Sebastian ^b   Huuck, Ralf ^c   Krumm, Heiko ^b   Lakhnech, Yassine ^d   Lukoschus, Ben ^c   Treseler, Heinz ^b  

^a ROBERT BOSCH GMBH   (Germany)

^b TU DORTMUND UNIVERSITY   (Germany)

^c UNIVERSITY OF KIEL   (Germany)

^d VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0002854495     PISSN: 01782312     EISSN: None     Source Type: Journal    
DOI: 10.1524/auto.2001.49.2.66     Document Type: Article

References (21)

1. Abadi, M.; Lamport, L.: An old-fashioned recipe for real time, ACM Transactions on Programming Languages and Systems, vol. 16, no. 5, 1543-1571, 1994.
2. Alur, R.; Dill, D.: A Theory for Timed Automata. Theoretical Computer Science 126, 1994, 183-235.
3. Alur, R.; Courcoubetis, C.; Halbwachs, N.; Henzinger, T.; Ho, P.-H.; Nicollin, X.; Olivero, A.; Sifakis, J.; Yovine, S.: The Algorithmic Analysis of Hybrid Systems. Theoretical Computer Science 138, 1995, 3-34.
4. Engell, S.; Hoffmann, I.: Modular Hierarchical Models of Hybrid Systems. Proc. 35th IEEE Conference on Decision and Control (CDC), Kobe, 1996, 142-143.
5. Herrmann, P.; Drögehorn, O.; Geisselhardt, W.; Krumm, H.: Tool-supported formal verification of highspeed transfer protocol designs. In Proc. 7th Int. Conf. On Telecommunication Systems - Modelling and Analysis, Nashville, 531-541, 1999.
6. Herrmann, P.; Graw, G.; Krumm, H.: Compositional Specification and Verification of Hybrid Systems in cTLA. Proc. 1st IEEE International Symposium on Object-oriented Real-time Computing (ISORC '98), Kyoto, 335-340, IEEE Computer, 1998.
7. Herrmann, P.; Krumm, H.: A Framework for Modeling Transfer Protocols. Computer Networks, 34 (2000)2, 317-337.
8. Herrmann, P.; Krumm, H.: Formal Hazard Analysis of Hybrid Systems in cTLA. Proc. 18th IEEE Symposium on Reliable Distributed Systems (SRDS '99), Lausanne, 68-77, IEEE Computer Society Press, 1999.
9. Herrmann, P.; Krumm, H.: A Framework for the Hazard Analysis of Chemical Plants. Proc. 11th IEEE International Symposium on Computer-Aided Control System Design (CACSD 2000), Anchorage, 35-41, Omnipress, 2000.
10. Herrmann, P.; Noel, M.: Formal Development of a Distributed Control System for Road Marking Machines. Proc. 8th International Conference on Telecommunication Systems - Modeling and Analysis, Nashville, 430-437, ATSMA, 2000.
11. Huuck, R.; Lakhnech, Y.; Lukoschus, B; Urbina, L.; Engell, S.; Kowalewski, S.; Preußig, J.: Integrating Timed Condition/ Event Systems and Timed Automata for the Verification of Hybrid Systems. Journal of Parallel and Distributed Computing Practices. Vol. 1, No. 2, 45-60, 1998.
12. Kowalewski, S.; Bauer, N.; Preußig, J.; Stursberg, O., Treseler, H.: An Open Tool Architecture for the Formal Verification of Logic Controllers in Processing Systems. Preprints IFAC World Congress, Bejing, P. R. China, 1999.
13. Kowalewski, S.; Engell, S.; Preußig, J.; Stursberg, O.: Verification of Logic Controllers for Continuous Plants Using Timed Condition/Event-System Models. Automatica 35 (3), 505-518, 1999.
14. Kowalewski, S.; Lakhnech, Y.; Lukoschus, B; Urbina, L.: On the composition of condition/event systems. Proc. 4 th Workshop on Discrete Event Systems (WODES '98), Cagliari, Italien, August 1998, IEE, London, 349-354.
15. Kowalewski, S.; Preußig, J.; Engell, J.; Huuck, R.; Lakhnech, Y.; Urbina, L.: Analyse zeitbewerteter Bedingung/Ereignis-Systeme mittels Echtzeitautomatentools. 5. Fachtagung Entwurf komplexer Automatisierungssysteme (EKA '97), Braunschweig, Mai 1997, Band 1, 180-194 (in German).
16. Kowalewski, S.; Stursberg, O.; Treseler, H.: Diskrete Modellierung verfahrenstechnischer Prozesse zur Steuerungsverifikation. at-Automatisierungstechnik 46, Heft 4, 180-188, 1998 (in German).
17. Krogh, B. H.: Condition/Event Signal Interfaces for Block Diagram Modeling and Analysis of Hybrid Systems. Proc. 8th International Symposium on Intelligent Control Systems, Chicago, USA, 1993, 180-185.
18. Kurki-Suonio, R.: Hybrid Models with Fairness and Distributed Clocks, in: Proc. Workshop on Theory of Hybrid Systems, Eds: R.L. Grossman, A. Nerode, A. Ravn, and H. Rischel, Lynby, Springer-Verlag, LNCS 736, 103-120, 1993.
19. Lamport, L.: Hybrid Systems in TLA+, in: Proc. Workshop on Theory of Hybrid Systems, Eds: R.L. Grossman, A. Nerode, A. Ravn, and H. Rischel, Lynby, Springer-Verlag, LNCS 736, 77-102, 4.
20. Lamport, L.: The Temporal Logic of Actions, ACM Transactions on Programming Languages and Systems, vol. 16, no. 3, 872-923, 1994.
21. Sreenivas, R. S.; Krogh, B. H.: On Condition/Event Systems with Discrete State Realizations. Discrete Event Dynamic Systems: Theory and Applications 2 (1), 1991, 209-236.