The Reachability Problem for Uncertain Hybrid Systems Revisited: A Viability Theory Perspective

This publication has 21 references indexed in Scilit:

• On the control of uncertain impulsive systems: approximate stabilization and controlled invariance
  International Journal of Control, 2004
• On reachability and minimum cost optimal control
  Automatica, 2004
• Dynamical properties of hybrid automata
  IEEE Transactions on Automatic Control, 2003
• Impulse differential inclusions: a viability approach to hybrid systems
  IEEE Transactions on Automatic Control, 2002
• Safety verification of conflict resolution manoeuvres
  IEEE Transactions on Intelligent Transportation Systems, 2001
• Controllers for reachability specifications for hybrid systems
  Automatica, 1999
• Verified hybrid controllers for automated vehicles
  IEEE Transactions on Automatic Control, 1998
• A Differential Game with Two Players and One Target
  SIAM Journal on Control and Optimization, 1996
• The control of discrete event systems
  Proceedings of the IEEE, 1989
• On the Existence of Solutions to a Differential Game
  SIAM Journal on Control, 1967