Integrating timed condition/event systems and timed automata for the verification of hybrid systems

Authors:
R. Huuck;Y. Lakhnech;B. Lukoschus;L. Urbina;S. Engell;S. Kowalewski;J. Preußig
Affiliations:
Institut für Informatik und Praktische Mathematik der Christian-Albrechts-Universität zu Kiel, Preußerstr. 1-9, D-24105 Kiel, Germany;Institut für Informatik und Praktische Mathematik der Christian-Albrechts-Universität zu Kiel, Preußerstr. 1-9, D-24105 Kiel, Germany;Institut für Informatik und Praktische Mathematik der Christian-Albrechts-Universität zu Kiel, Preußerstr. 1-9, D-24105 Kiel, Germany;Institut für Informatik und Praktische Mathematik der Christian-Albrechts-Universität zu Kiel, Preußerstr. 1-9, D-24105 Kiel, Germany;Lehrstuhl für Anlagensteuerungstechnik, Fachbereich Chemietechnik, Universität Dortmund, Emil-Figge-Straße 70, D-44221 Dortmund, Germany;Lehrstuhl für Anlagensteuerungstechnik, Fachbereich Chemietechnik, Universität Dortmund, Emil-Figge-Straße 70, D-44221 Dortmund, Germany;Lehrstuhl für Anlagensteuerungstechnik, Fachbereich Chemietechnik, Universität Dortmund, Emil-Figge-Straße 70, D-44221 Dortmund, Germany
Venue:
Engineering of distributed control systems
Year:
2001

Citing 10
Cited 0

Communication and concurrency

Communication and concurrency
A theory of timed automata

Theoretical Computer Science
Symbolic model checking for real-time systems

Information and Computation
The benefits of relaxing punctuality

Journal of the ACM (JACM)
UPPAAL—a tool suite for automatic verification of real-time systems

Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Timed Condition/Event Systems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete Control

TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Temporal Logic + Timed Automata: Expressiveness and Decidability

CONCUR '95 Proceedings of the 6th International Conference on Concurrency Theory
Model-Checking for Extended Timed Temporal Logics

FTRTFT '96 Proceedings of the 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Concurrency and Automata on Infinite Sequences

Proceedings of the 5th GI-Conference on Theoretical Computer Science
HYTECH: the next generation

RTSS '95 Proceedings of the 16th IEEE Real-Time Systems Symposium

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we integrate two different approaches for the specification and verification of timed systems being used in control theory and computer science. These are the timed condition/event systems and the timed automata formalisms. Our main result states that timed condition/event systems can be efficiently transformed into timed automata which then can be analyzed automatically.