Title :
Reduction of timed hybrid systems
Author :
Gennaro, S. Di ; Horn, C. ; Kulkarni, Sanjeev R. ; Ramadge, P.J.
Author_Institution :
Dipartimento di Ingegneria Elettrica, L´´Aquila Univ., Italy
Abstract :
We consider a class of hybrid dynamic systems composed of interacting discrete and continuous subsystems. Of particular interest is the reduction of the coupled system to a single finite state automaton. Such a reduction has been proposed and analyzed in the literature on computer verification for certain special hybrid systems called timed automata. We use timed automata with two clocks (integrators) as a tool to explore extensions and generalizations of the reduction constructions. Several interesting new classes of reductions are presented
Keywords :
continuous time systems; differential equations; discrete time systems; dynamics; finite automata; continuous dynamics; continuous subsystems; differential equations; discrete subsystems; finite state automata; hybrid dynamic systems; single finite state automaton; temporal reduction construction; timed automata; timed hybrid systems; Automata; Automatic control; Clocks; Continuous time systems; Control systems; Differential equations; Manufacturing systems; Protocols; Timing; Vehicle dynamics;
Conference_Titel :
Decision and Control, 1994., Proceedings of the 33rd IEEE Conference on
Conference_Location :
Lake Buena Vista, FL
Print_ISBN :
0-7803-1968-0
DOI :
10.1109/CDC.1994.411613
