The Reachability Problem for Uncertain Hybrid Systems Revisited: A Viability Theory Perspective
We revisit the problem of designing controllers to meet safety specifications for hybrid systems, whose evolution is affected by both control and disturbance inputs. The problem is formulated as a dynamic game and an appropriate notion of hybrid strategy for the control inputs is developed. The design of hybrid strategies to meet safety specifications is based on an iteration of alternating discrete and continuous safety calculations. We show that, under certain assumptions, the iteration converges to a fixed point, which turns out to be the maximal set of states for which the safety specifications can be met. The continuous part of the calculation relies on the computation of the set of winning states for one player in a two player, two target, pursuit evasion differential game. We develop a characterization of these winning states using methods from non-smooth analysis and viability theory.
KeywordsHybrid System Control Input Hybrid Strategy Dynamic Game Discrete Transition
Unable to display preview. Download preview PDF.
- 5.Wong-Toi, H.: The synthesis of controllers for linear hybrid automata. In: IEEE Conference on Decision and Control, San Diego, California, December 10–12, 1997, pp. 4607–4613 (1997)Google Scholar
- 9.Tomlin, C.: Hybrid control of air traffic management systems. Ph.D. dissertation, Department of Electrical Engineering and Computer Sciences, University of California, Berkeley (1998)Google Scholar
- 10.Mitchell, I.M.: Application of level set methods to control and reachability problems in continuous and hybrid systems. Ph.D. dissertation, Stanford University (2002)Google Scholar
- 14.Cardaliaguet, P.: Domaines discriminants et jeux différentiels. Ph.D. dissertation, Université Paris IX Dauphine (1993)Google Scholar
- 17.Crück, E.: Contrôle et jeux différentiels des systèmes hybrides et impulsionnels: Problèmes de cible at de viabilité. Ph.D. dissertation, Université de Bretagne Occidentale (2003)Google Scholar
- 18.Cardaliaguet, P., Quincampoix, M., Saint-Pierre, P.: Set-valued numerical analysis for optimal control and differential games. In: Bardi, M., Raghavan, T., Parthasarathy, T. (eds.) Stochastic and Differential Games: Theory and Numerical Methods. Annals of the International Society of Dynamic Games, vol. 4, pp. 177–247. Birkhäuser, Boston (1999)CrossRefGoogle Scholar
- 24.Goebel, R., Hespanha, J., Teel, A., Cai, C., Sanfelice, R.: Hybrid systems: Generalized solutions and robust stability. In: IFAC Symposium on Nonlinear Control Systems (September 2004)Google Scholar