A survey of modeling and control of hybrid systems

This publication has 24 references indexed in Scilit:

• Hybrid systems in process control
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• An algebraic approach to hybrid systems
  Theoretical Computer Science, 1995
• Reachability analysis of dynamical systems having piecewise-constant derivatives
  Theoretical Computer Science, 1995
• Viability in hybrid systems
  Theoretical Computer Science, 1995
• Inductively inferring valid logical models of continuous-state dynamical systems
  Theoretical Computer Science, 1995
• Hybrid systems as Finsler manifolds: Finite state control as approximation to connections
  Published by Springer Nature ,1995
• Periodicity and chaos from switched flow systems: contrasting examples of discretely controlled continuous systems
  IEEE Transactions on Automatic Control, 1993
• Logics and models of real time: A survey
  Published by Springer Nature ,1992
• The synchronous approach to reactive and real-time systems
  Proceedings of the IEEE, 1991
• Stabilizing a linear system with quantized state feedback
  IEEE Transactions on Automatic Control, 1990