Integrating Timed Condition/Event Systems and Timed Automata for the Verification of Hybrid Systems

Main Article Content

R. Huuck
Y. Lakhnech
L. Urbina
S. Engell
S. Kowalewski
J. Preuig

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.

Article Details

Section
Proposal for Special Issue Papers