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

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.