Reduction of timed hybrid systems

S. Di Gennaro, C. Horn, S. R. Kulkarni, P. J. Ramadge

Research output: Contribution to journalConference articlepeer-review

9 Scopus citations


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.

Original languageEnglish (US)
Pages (from-to)4215-4220
Number of pages6
JournalProceedings of the IEEE Conference on Decision and Control
StatePublished - 1994
Externally publishedYes
EventProceedings of the 33rd IEEE Conference on Decision and Control. Part 1 (of 4) - Lake Buena Vista, FL, USA
Duration: Dec 14 1994Dec 16 1994

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Modeling and Simulation
  • Control and Optimization


Dive into the research topics of 'Reduction of timed hybrid systems'. Together they form a unique fingerprint.

Cite this