A game theoretic approach to controller design for hybrid systems

Proceedings of the IEEE

Volumn 88, Issue 7, 2000, Pages 949-969

  Tomlin, Claire J ^a,c   Lygeros, John ^a,b   Shankar Sastry, S ^a,b  

^a 496 Lomita Mall   (United States)

^b UNIVERSITY OF CAMBRIDGE   (United Kingdom)

^c Defense Advanced Projects Research Agency   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0000274688     PISSN: 00189219     EISSN: None     Source Type: Journal    
DOI: 10.1109/5.871303     Document Type: Article

References (61)

1. [11 R. Sengupta and S. Lafortune, "An optimal control theory for discrete event systems, "SI AM .1. Conn: Optim., vol. 36, no. 2, pp. 488-541, 1998.
2. E. Asarin and O. Maler, "As soon as possible: Time optimal control for timed automata, " in Hybrid Systems: Compulation and Control, F. Vaandrager and .1. van Schuppen, Eds. Berlin, Germany: Springer-Verlag, 1999, vol. 1569. Lecture Notes in Computer Science, pp. 19-30.
3. [31 M.S. Branicky, V. S. Borkar, and S. K. Mitter, "A unified framework for hybrid control: VIodel and optimal control theory, "IEEE. Trans. Automat. Contr., vol. 43, no. 1, pp. 31-45, 1998.
4. G. Grammel, "Maximum principle for a hybrid system via singular pertrubations, " SMA/y. Conn: Optim., vol. 37, no. 4, pp. 1162-1175. 1999.
5. [51 P. E. Caines and Y. J. Wei, "Hierarchical hybrid control systems: A lattice theoretic formulation, "IEEE 1'rans. Automat. Contr., vol. 43, pp. 501-508, Apr. 1998.
6. G. J. Pappas, G. Lafferriere, and S. Sastry, "Hierarchically consistent control systems, " in P roc. IEEE Conf. Décision and Control, Tampa, FL, Dec. 1998, pp. 4336-4341.
7. A. Nerode and W. Kohn, "Multiple agent hybrid control architecture, "in Hybrid Systems, R. L. Grossman, A. Nerode, A. P. Kavn. and H. Rischel, Eds. New York: Springer-Verlag, 1993. pp. 297-316.
8. A. Church, "Logic, arithmetic, and automata, " in I1 roc. Int. Congr. Mathematicians, 1962, pp. 23-35.
9. J. R. Büchi and L. H. Landweber, "Solving sequential conditions by finite-state operators, " in Proc. Amer. Mathematical Sot1., 1969, pp. 295-311.
10. W. Thomas, "On the synthesis of strategies in infinite games, " in Proceedings ofSTACS 95, E. W. Mayr and C. Puech, Eds." Munich. Germany: Springer-Verlag, 1995, vol. 900, Lecture Notes in Computer Science, pp. 1-13. [ 11J T. Basar and G. J. Olsder, Dynamic Non-Coopérative Gante Theory, 2nd ed. New York: Academic, ;995.
11. C. Tomlin, G. J. Pappas, and S. Sastry, "Conflict resolution for air traffic management: A case study in multi-agent hybrid systems, "IEEE Trans. Automat. Contr, vol. 43, pp. 509-521. Apr. 1998.
12. J. Lygeros, D. N. Godbole, and S. SdSiry, "Verified hybrid controllers for automated vehicles." IEEE Trans. Automat. Contr.. vol. 43, pp. 522-539, Apr. 1998.
13. ] 14] T. S. Perry, "In search of the future of air traffic control." IEEE Spectrum, vol. 34, pp. 18-35, 1997.
14. [15) J. W. Jackson and S, M. Green, "Control applications and challenges in air traffic management, " in Proc. Amer. Control Conf., Philadelphia, PA. 1998,
15. C. J. Tomiin, "Hybrid control of air traffic management systems, " Ph.D. dissertation, Dept. Elect. Eng., Univ. California, Berkeley, 1998.
16. P. Varaiya, "Smart cars on smart roads: Problems of control, "IEEE Trims. Automat. Contr., vol. 38, no. 2, pp. 195-207, 1993.
17. [!8j D. Swaroop, "String stability of interconnected systems: An application to platooning in automated highway systems, " Ph.D. dissertation, Dept. Mech. Eng., Univ. California, Berkeley. 1994.
18. D. N. Godbole and J. Lygeros, "Longitudinal control of the leaci car of a platoon, " IEEE Trans. 'eh. Techno!., vci. 43, no, 4, pp. 1125-1135, 1994.
19. (20| O. Maler. A. Pnueli, and .1. Sifakis, "On the synthesis of discrete controllers for timed systems, " in STACS 95: Theoretical Aspects of Computer Science, E. W. .Vlayr and C. Puech, Eds. Munich, Germany: Springer-Veriag. 1995, vol. 900, Lecture Notes in Computer Science, pp. 229-242.
20. E. Asarin, O. Maler, and A. Pnueli, "Symbolic controller synthesis for discrete and timed systems, " in Proceedings of Hybrid Systems II, P. Antsaklls, VV. Kohn, A. Nerode, anc S. Sastr), Eds. Berli;i, Germany: Springer-Verlag. 1995. vol. 999. Lecture Notes in Computer Science.
21. M. iieymann, F. Lin, ami G. Meyer, "Control synthesis for a class or hybrid systems suojcc; to configuration-based safety constraints, " in Hybrid a, id Real Time Systems, C. Maler. Ed. Berlin. Germany: Springer-Verlag, 1997, vol. 1201, Lecture Notes in Computer Science, pp. 376-391.
22. H. Wong-Toi, "The synthesis of controllers for linear hybrid automata" in Proc. IEEE Conf. Decision and Control, San Diego. CA. 1997.
23. J. Lewin, Differential Games. Berlin. Germany: Springer-Verlag. 1994.
24. [251 T. Basar and P. Bernhard, 1-Infinity Optimal Control and Related Minima): Design Problems: A Dynamic Game Approach. Boston, MA: Birkhaaser, 1991.
25. J. Lygeros, "Hierarchic!', !, hybrid control of large scale systems, " Ph.D. dissertation, Depl. Elect. Enu. Compul. Sei.. Univ. California, Berkeley, 1996.
26. J. Lygeros, C. Tomlin. and S. Sastry, "Controllers for reachability specifications for hybrid systems, "Anronititica, pp. 349-370, Mar. 1999.
27. J. Lygeros, K. H. Johansson, S. Sastry, and M. Egerstedi, "On the existence o;' executions of hybrid automata, " in Proc. IEEE Conf. Decision and Control, Phoenix, AZ, Dec. 7-10, 1999.
28. [29) R. Alur and T. A. Henzinger, "Reactive modules." in Proc. llth Anna. Symp. Logic ir. Computer Scieme, 1996, pp. 207-218.
29. [30) Z. Manna and A. Pnueli. Temporal Verification o[ Reactive Systems: Safety. New York: Springer-Verlag, 1995.
30. C. Hynes and L. Sherry, "Synthesis from design requirements of a hybrid system for transport aircraft longitudinal control, " NASA Ames Research Center, Honey well Air Transport Division, Preprint, 1996.
31. C. Tomlin, J. Lygeros, L. Benvenuti, and S. Sasiry, "Output tracking for a nonminimum phase dynamic CTOL aircraft model, " in Proc. IEEE Con)'. Decision and Control, New Orleans, LA, 1995, pp. 1867-1872.
32. C. Tomlin and S. Sastry, "Bounded tracking for nonminimum phase nonlinear .systems with fast zero dynamics, "Int. J. Control, vol. 68, no. 4. pp. 819-847, 1997.
33. C. Tomlin, J. Lygeros, and S. Sastry, "Aerodynamic envelope protection using hybrid control, " in Proc. Amer. Control Conf., Phildelphia. PA, 1998, pp. 1793-1796.
34. M. O. Rabin, "Automata on infinite objects and Church's problem." in Regional Conference Series in Mathematics, 1972.
35. J. von Neumann and O. Morgenstern. Theory of Games and Eco-nomic Behavior. Princeton, NJ: Princeton Univ. Press. 1947.
36. P. J. G. Ramadge and W. M. Wonham, "The control of discrete event dynamical systems, "Proc. IEEE, vol. 77, ao. 1, pp. 81-98, 1989.
37. '38| R. Alur, T. A. Heruinger. and O. Kupferman, "Alternating-time temporal logic." in Proc. jfttfi Anna. Svnip. Foundations of Computer Scie/ice~l991. pp. 100-109.
38. R. Isaacs. Differential Games. New York: Wiley, 1967.
39. L. Pontrjagin, "Linear differential games, "Soviet Math. Dokladv, pp. 769-771 -and 910-912, 1967.
40. [411 A. E. Bryson and Y.-C. Ho, Applied Optimal Control. Waltham, MA: Blaisdeli, 1969.
41. [421 L. C. Young, Optimal Control Theory, 2nd ed. Cambridge. U.K.: Cambridge Univ. Press, 1980.
42. W. Fleming and R. Rishel. Deterministic and Stochastic Optimal Control. Berlin. Germany: Springer-Verlag. 1975.
43. [44J T. A. Henzinger, P. W. Kopke. A. Puri, and P. Varaiya, "What's decidabie about hybrid automata." in Proc. 27th Aiimt. ACM Smp. Theory of Computing, 1995.
44. R. Alur and D. Dill, "A theory of timed automata, "Theoretical Con;piir.Sei., vo. 126. pp. 183-235. 1994.
45. |46] O. Shakernia, G. Pappas. and S. .Sastry, "Dccidable controllers for a class of hybrid .systems, " in Hybrid Systems: Computation and Control. B. Krogh and N. Lynch. Eds. Berlin. Germany: SpringcrVerlaa, 2000. vol. 1VvO. Lecture Notes in Computer Science, pp. 407-420.
46. [471 K. J. johansson, M. Egerstedt. j. Lygeros. and S. Sastry, "On the regularizatioii ofzeno hybrid automata, " Sys'.. Contr. Lett.. 1999. to be published.
47. [481 S. Simic. K. K. Johansson, J. Lygeros, and S. Sastry, "Toward a theory of hybrid dynamical systems, " in Hybrid Systems: Computation mid Control. B. Krogh and N. Lynch, Eds. Berlin. Germany: Springer-Verlag. 2000. vol. 1790, Lecture Notes in Computer Science, pp. 421-436.
48. VI. G. Crandall and P.-L. Lions, "Viscosity solutions, of Harniiton-jacobi equations." Trans. Amer. Math. Soc., vol. 277, no. 1. pp. 1-42. 1983.
49. (501 M. G. Crandall. L. C. Evans, and P.-L. Lions, "Some properties of viscosity solutions of Hamilton-Jacobi equations." Trans. Amer. Mtilli. Soc.. vol. 282, no. 2. pp. 4S7-502. 1984.
50. S. Osher and J. A. Sethiun, "Fronts propagating with curvature-dependent speed: Algorithms based on Hamilton-Jacobi formulations.".J. Comparât. Pliyx.. vol. 79, pp. 12-49, .988.
51. I. Mitchell and C, Tomiin, "Level set methods for computation in hybrid systems." in Hybrid Systems: Computation and Control. B. Krogh and N. Lynch. Eds. Berlin, Germany: Springer-Verlag, 2000, vol. 1790. Lecture Notes in Computer Science, pp. 310-323.
52. j. A. Sethian. Level Set Methods: Evolving Interfaces in Geometry, Fluid Mechanics. Computer Vision, and Materials Science. cw York: Cambridge L'niv. Press. 1996.
53. |54] T. A. Henzinger. P.-H. Ho. and H. Wong-Toi, "A user's guide to HyTech, " in P we. 1st Int. Workshop Tool:, and Algorithms for the Construction and Analysis of Systems (TACAS): Springer-Verlag, 1995, vol. lui9, Lecture Notes in Computer Science, pp. 41-71.
54. [55; T. A. Henzinger, B. Horowitz, and R. .Viajurndar, "Rectangular hybrid games." in Pi;c. lllth Int. Conf. Concurrence Theory I CONCUR I. 1999.
55. A. Puri, "Theory of hybrid systems and discrete event systems." Ph.D. dissertation, Dept. Elect. Eng.. Lniv. California. Berkeley, 1995.
56. A. Puri, P. Varaiya. and V. Borkar. 'V-approximation of differential inclusions." in P roc. IF.F.E Conf. Decision und Control. New Orleans. LA, 1995. pp. 2892-2897.
57. J. Lygeros. C. Tomiin, and S. Sastry, "On controller synthesis for nonlinear hybrid systems, " in Proc. IEEE Conf. Decision and Control. Tampa, FL, 1998, pp. 2101-2106.
58. A. B. Kurzhanski and I. Valyi. Ellipsoidal Calculus for Estimation and Control. Boston. MA: Birkhauser. 1997.
59. [601 L. Vandenberghe. S. Boyd. and S.-P. Wa, "Determinant maximization with linear matrix inequality constraints, "S/AMJ. Matrix Anal. Appliatt.. vol. 19. no. 2. pp. 499-533. 1998.
60. J. Lygeros, G. Pappas. and S. Sastry, "An approach to the verification of the Center-TRACOX automation system." in Hybrid Svstems: Computation and Control. S. Sastry and T. A. Henzinger, Eds. Berlin. Germany: Springer-Verlag. 1998, voi. 1386, Lecture Notes in Computer Science, pp. 289-305.
61. [62[ R. Vidai. S. Schaffen, J. Lygeros, and S. Sastry, "Controlled invariance of discrete time systems, " in Hybrid Systems: Computation and Control. B. Krogh and N. Lynch, Eds. Berlin. Germany: Springer-Verlag, 2000, vol. 1790, Lecture Notes in Computer Science, pp. 437-450.