Reduction of timed hybrid systems

S. D.I. Gennaro, C. Horn, S. R. Kulkarni, P. J. Ramadge

Research output: Contribution to journalArticlepeer-review

2 Scopus citations


We consider a class of hybrid dynamical systems and obtain conditions under which the behavior of these systems can be reduced to a finite state automaton. Specifically, we consider timed automata with more general enabling regions coupling the continuous and discrete dynamics than those previously considered. We provide a necessary condition for the existence of a finite state reduction, together with examples showing that this condition is not sufficient. We then give two sufficient conditions that provide a large class of systems with general enabling regions which admit finite reductions.

Original languageEnglish (US)
Pages (from-to)343-351
Number of pages9
JournalDiscrete Event Dynamic Systems: Theory and Applications
Issue number4
StatePublished - Dec 1998

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Modeling and Simulation
  • Electrical and Electronic Engineering


  • Finite state automaton
  • Hybrid systems
  • Reduction
  • Timed automata


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

Cite this