Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Thomas, W.: On the synthesis of strategies in infinite games. In: Mayr, E.W., Puech, C. (eds.) STACS 1995. LNCS, vol. 900, pp. 1–13. Springer, Heidelberg (1995)
Ramadge, P.J.G., Wonham, W.M.: The control of discrete event systems. Proceedings of the IEEE 77(1), 81–98 (1989)
Maler, O., Pnueli, A., Sifakis, J.: On the synthesis of discrete controllers for timed systems. In: Mayr, E.W., Puech, C. (eds.) STACS 1995. LNCS, vol. 900, pp. 229–242. Springer, Heidelberg (1995)
Heymann, M., Lin, F., Meyer, G.: Synthesis and viability of minimally interventive legal controllers for hybrid systems. Discrete Event Dynamic Systems: Theory and Applications 8(2), 105–135 (1998)
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)
Lygeros, J., Godbole, D., Sastry, S.: Verified hybrid controllers for automated vehicles. IEEE Transactions on Automatic Control 43(4), 522–539 (1998)
Lygeros, J., Tomlin, C., Sastry, S.: Controllers for reachability specifications for hybrid systems. Automatica 35(3), 349–370 (1999)
Tomlin, C., Lygeros, J., Sastry, S.: A game theoretic approach to controller design for hybrid systems. Proceedings of the IEEE 88(7), 949–969 (2000)
Tomlin, C.: Hybrid control of air traffic management systems. Ph.D. dissertation, Department of Electrical Engineering and Computer Sciences, University of California, Berkeley (1998)
Mitchell, I.M.: Application of level set methods to control and reachability problems in continuous and hybrid systems. Ph.D. dissertation, Stanford University (2002)
Evans, L., Souganidis, P.: Differential games and representation formulas for solutions of Hamilton–Jacobi–Isaacs equations. Indiana University Mathematics Journal 33(5), 773–797 (1984)
Lygeros, J.: On reachability and minimum cost optimal control. Automatica 40(6), 917–927 (2004)
Mitchell, I., Bayen, A., Tomlin, C.: A time-dependent Hamilton–Jacobi formulation of reachable sets for continuous dynamic games. IEEE Transactions on Automatic Control 70(7), 947–957 (2005)
Cardaliaguet, P.: Domaines discriminants et jeux différentiels. Ph.D. dissertation, Université Paris IX Dauphine (1993)
Cardaliaguet, P.: A differential game with two players and one target. SIAM Journal on Control and Optimization 34(4), 1441–1460 (1996)
Cardaliaguet, P., Quincampoix, M., Saint-Pierre, P.: Pursuit differential games with state constraints. SIAM Journal on Control and Optimization 39(5), 1615–1632 (2001)
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)
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)
Cardaliaguet, P., Quincampoix, M., Saint-Pierre, P.: Numerical schemes for discontinuous value functions of optimal control. Set-Valued Analysis 8, 111–126 (2000)
Aubin, J.-P., Lygeros, J., Quincampoix, M., Sastry, S., Seube, N.: Impulse differential inclusions: A viability approach to hybrid systems. IEEE Transactions on Automatic Control 47(1), 2–20 (2002)
Gao, Y., Lygeros, J., Quincampoix, M., Seube, N.: On the control of uncertain impulsive systems: Approximate stabilization and controlled invariance. International Journal of Control 77(16), 1393–1407 (2004)
Aubin, J.-P., Frankowska, H.: Set-Valued Analysis. Birkhäuser, Boston (1990)
Lygeros, J., Johansson, K., Simić, S., Zhang, J., Sastry, S.: Dynamical properties of hybrid automata. IEEE Transactions on Automatic Control 48(1), 2–17 (2003)
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)
Varaiya, P.: On the existance of solutions to a differential game. SIAM Journal on Control 5(1), 153–162 (1967)
Cardaliaguet, P.: Nonsmooth semi-permeable barriers, isaacs equation and application to a differential game with one target and two players. Applied Mathematics and Optimization 36, 125–146 (1997)
Tomlin, C., Mitchell, I., Ghosh, R.: Safety verification of conflict resolution manoeuvres. IEEE Transactions on Intelligent Transportation Systems 2(2), 110–120 (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gao, Y., Lygeros, J., Quincapoix, M. (2006). The Reachability Problem for Uncertain Hybrid Systems Revisited: A Viability Theory Perspective. In: Hespanha, J.P., Tiwari, A. (eds) Hybrid Systems: Computation and Control. HSCC 2006. Lecture Notes in Computer Science, vol 3927. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11730637_20
Download citation
DOI: https://doi.org/10.1007/11730637_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-33170-4
Online ISBN: 978-3-540-33171-1
eBook Packages: Computer ScienceComputer Science (R0)