Advertisement

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

  • Yan Gao
  • John Lygeros
  • Marc Quincapoix
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3927)

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.

Keywords

Hybrid System Control Input Hybrid Strategy Dynamic Game Discrete Transition 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    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)CrossRefGoogle Scholar
  2. 2.
    Ramadge, P.J.G., Wonham, W.M.: The control of discrete event systems. Proceedings of the IEEE 77(1), 81–98 (1989)CrossRefMATHGoogle Scholar
  3. 3.
    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)CrossRefGoogle Scholar
  4. 4.
    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)MathSciNetCrossRefMATHGoogle Scholar
  5. 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
  6. 6.
    Lygeros, J., Godbole, D., Sastry, S.: Verified hybrid controllers for automated vehicles. IEEE Transactions on Automatic Control 43(4), 522–539 (1998)MathSciNetCrossRefMATHGoogle Scholar
  7. 7.
    Lygeros, J., Tomlin, C., Sastry, S.: Controllers for reachability specifications for hybrid systems. Automatica 35(3), 349–370 (1999)MathSciNetCrossRefMATHGoogle Scholar
  8. 8.
    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)CrossRefGoogle Scholar
  9. 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. 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
  11. 11.
    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)MathSciNetCrossRefMATHGoogle Scholar
  12. 12.
    Lygeros, J.: On reachability and minimum cost optimal control. Automatica 40(6), 917–927 (2004)MathSciNetCrossRefMATHGoogle Scholar
  13. 13.
    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)MathSciNetCrossRefMATHGoogle Scholar
  14. 14.
    Cardaliaguet, P.: Domaines discriminants et jeux différentiels. Ph.D. dissertation, Université Paris IX Dauphine (1993)Google Scholar
  15. 15.
    Cardaliaguet, P.: A differential game with two players and one target. SIAM Journal on Control and Optimization 34(4), 1441–1460 (1996)MathSciNetCrossRefMATHGoogle Scholar
  16. 16.
    Cardaliaguet, P., Quincampoix, M., Saint-Pierre, P.: Pursuit differential games with state constraints. SIAM Journal on Control and Optimization 39(5), 1615–1632 (2001)MathSciNetCrossRefMATHGoogle Scholar
  17. 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. 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
  19. 19.
    Cardaliaguet, P., Quincampoix, M., Saint-Pierre, P.: Numerical schemes for discontinuous value functions of optimal control. Set-Valued Analysis 8, 111–126 (2000)MathSciNetCrossRefMATHGoogle Scholar
  20. 20.
    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)MathSciNetCrossRefMATHGoogle Scholar
  21. 21.
    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)MathSciNetCrossRefMATHGoogle Scholar
  22. 22.
    Aubin, J.-P., Frankowska, H.: Set-Valued Analysis. Birkhäuser, Boston (1990)MATHGoogle Scholar
  23. 23.
    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)MathSciNetCrossRefMATHGoogle Scholar
  24. 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
  25. 25.
    Varaiya, P.: On the existance of solutions to a differential game. SIAM Journal on Control 5(1), 153–162 (1967)CrossRefMATHGoogle Scholar
  26. 26.
    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)MathSciNetCrossRefMATHGoogle Scholar
  27. 27.
    Tomlin, C., Mitchell, I., Ghosh, R.: Safety verification of conflict resolution manoeuvres. IEEE Transactions on Intelligent Transportation Systems 2(2), 110–120 (2001)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Yan Gao
    • 1
  • John Lygeros
    • 2
  • Marc Quincapoix
    • 3
  1. 1.School of ManagementUniversity of Shanghai for Science and TechnologyShanghaiChina
  2. 2.Department of Electrical EngineeringUniversity of Patras, RioPatrasGreece
  3. 3.Laboratoire de MathematiquesUniversité de Bretagne OccidentaleBrestFrance

Personalised recommendations