Reduction of timed hybrid systems

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

Research output: Contribution to journalConference article

9 Scopus citations

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.

Original languageEnglish (US)
Pages (from-to)4215-4220
Number of pages6
JournalProceedings of the IEEE Conference on Decision and Control
Volume4
StatePublished - Dec 1 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

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

  • Cite this