On the regularization of Zeno hybrid automata

This publication has 13 references indexed in Scilit:

• Automata for modeling real-time systems
  Published by Springer Nature ,2005
• The theory of hybrid automata
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Fast switches in relay feedback systems
  Automatica, 1999
• Controllers for reachability specifications for hybrid systems
  Automatica, 1999
• Simulation of Zeno hybrid automata
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1999
• The SHIFT programming language for dynamic networks of hybrid automata
  IEEE Transactions on Automatic Control, 1998
• A unified framework for hybrid control: model and optimal control theory
  IEEE Transactions on Automatic Control, 1998
• Modularity for timed and hybrid systems
  Published by Springer Nature ,1997
• On the power of non-observable actions in timed automata
  Published by Springer Nature ,1996
• Differential Equations with Discontinuous Righthand Sides
  Published by Springer Nature ,1988