Computing controllers for nonlinear hybrid systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1569, Issue , 1999, Pages 238-255

  Tomlin, Claire ^a   Lygeros, John ^b   Sastry, Shankar ^b  

^a 496 Lomita Mall   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

HYBRID SYSTEMS; PARTIAL DIFFERENTIAL EQUATIONS;

COMPUTATIONAL ALGORITHM; CONTINUOUS DYNAMICAL SYSTEM; HAMILTON-JACOBI; NONLINEAR HYBRID SYSTEMS; SAFETY SPECIFICATIONS;

CONTROLLERS;

EID: 1442287586     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48983-5_22     Document Type: Conference Paper

References (23)

1. W. Thomas, "On the synthesis of strategies in infinite games", in Proceedings of STACS 95, Volume 900 of LNCS, Ernst W. Mayr and Claude Puech, Eds., pp. 1-13. Springer Verlag, Munich, 1995.
2. T. Basar and G. J. Olsder, Dynamic Non-cooperative Game Theory, Academic Press, second edition, 1995.
3. O. Maler, A. Pnueli, and J. Sifakis, "On the synthesis of discrete controllers for timed systems", in STACS 95: Theoretical Aspects of Computer Science, Ernst W. Mayr and Claude Puech, Eds., Lecture Notes in Computer Science 900, pp. 229-242. Springer Verlag, Munich, 1995.
4. H. Wong-Toi, "The synthesis of controllers for linear hybrid automata", in Proceedings of the IEEE Conference on Decision and Control, San Diego, CA, 1997.
5. J. Lygeros, C. Tomlin, and S. Sastry, "Controllers for reachability specifications for hybrid systems", Automatica, vol. 35, no. 3, 1999, To appear.
6. C. Tomlin, J. Lygeros, and S. Sastry, "Synthesizing controllers for nonlinear hybrid systems", in Hybrid Systems: Computation and Control, T. Henzinger and S. Sastry, Eds., Lecture Notes in Computer Science 1386, pp. 360-373. Springer Verlag, New York, 1998.
7. J. Lygeros, C. Tomlin, and S. Sastry, "On controller synthesis for nonlinear hybrid systems", in Proceedings of the IEEE Conference on Decision and Control, Tampa, FL, 1998, pp. 2101-2106.
8. S. Osher and J. A. Sethian, "Fronts propagating with curvature-dependent speed: Algorithms based on Hamilton-Jacobi formulations", Journal of Computational Physics, vol. 79, pp. 12-49, 1988.
9. Claire J. Tomlin, Hybrid Control of Air Traffic Management Systems, PhD thesis, Department of Electrical Engineering, University of California, Berkeley, 1998.
10. Michael S. Branicky and Sanjoy K. Mitter, "Algorithms for optimal hybrid control", in Proceedings of the IEEE Conference on Decision and Control, 1995, pp. 2661-2666.
11. Adam L. Schwartz, Theory and Implementation of Numerical Methods Based on Runge-Kutta Integration for Solving Optimal Control Problems, PhD thesis, Department of Electrical Engineering, University of California, Berkeley, 1996.
12. M. G. Crandall and P.-L. Lions, "Viscosity solutions of Hamilton-Jacobi equations'', Transactions of the American Mathematical Society, vol. 277, no. 1, pp. 1-42, 1983.
13. M. G. Crandall, L. C. Evans, and P.-L. Lions, "Some properties of viscosity solutions of Hamilton-Jacobi equations", Transactions of the American Mathematical Society, vol. 282, no. 2, pp. 487-502, 1984.
14. J. A. Sethian, Level Set Methods: Evolving Interfaces in Geometry, Fluid Mechanics, Computer Vision, and Materials Science, Cambridge University Press, New York, 1996.
15. R. Malladi, J. A. Sethian, and B. C. Vemuri, "Shape modeling with front propagation: A level set approach", IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 17, no. 2, pp. 158-175, 1995.
16. J. M. Berg, A. Yezzi, and A. R. Tannenbaum, "Phase transitions, curve evolution, and the control of semiconductor manufacturing processes", in Proceedings of the IEEE Conference on Decision and Control, Kobe, 1996, pp. 3376-3381.
17. A. Puri, P. Varaiya, and V. Borkar, "e-approximation of differential inclusions", in Proceedings of the IEEE Conference on Decision and Control, New Orleans, LA, 1995, pp. 2892-2897.
18. T. Dang and O. Maler, "Reachability analysis via face lifting", in Hybrid Systems: Computation and Control, S. Sastry and T.A. Henzinger, Eds., number 1386 in LNCS, pp. 96-109. Springer Verlag, 1998.
19. M.R. Greenstreet and I. Mitchell, "Integrating projections", in Hybrid Systems: Computation and Control, S. Sastry and T.A. Henzinger, Eds., number 1386 in LNCS, pp. 159-174. Springer Verlag, 1998.
20. D. P. Bertsekas, Constraint Optimization and Lagrange Multiplier Methods, Academic Press, New York, 1982.
21. E. Polak, Optimization: Algorithms and Consistent Approximations, Springer Verlag, New York, 1997.
22. A. B. Kurzhanski and I. Valyi, Ellipsoidal calculus for estimation and control, Birkhauser, Boston, 1997.
23. L. Vandenberghe, S. Boyd, and S.-P. Wu, "Determinant maximization with linear matrix inequality constraints", SIAM Journal on Matrix Analysis and Applications, vol. 19, no. 2, pp. 499-533, 1998.