Abstract
Motivated by an example from aircraft conflict resolution we seek a methodology for synthesizing controllers for nonlinear hybrid automata. We first show how game theoretic methodologies developed for this purpose for finite automata and continuous systems can be cast in a unified framework. We then present a conceptual algorithm for extending them to the hybrid setting. We conclude with a discussion of computational issues.
Research supported by NASA under grant NAG 2-1039, by the California PATH program under MOU-238 and MOU-288, and by a Zonta Postgraduate Fellowship.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
A. Church, “Logic, arithmetic, and automata,” in Proceedings of the International Congress of Mathematicians, pp. 23–35, 1962.
J. von Neumann and O. Morgenstern, Theory of games and economic behavior. Princeton university press, 1947.
J. R. Büchi and L. H. Landweber, “Solving sequential conditions by finite-state operators,” in Proceedings of the American Mathematical Society, pp. 295–311, 1969.
M. O. Rabin, “Automata on infinite objects and Church's problem,” in Regional Conference Series in Mathematics, 1972.
A. Puri, Theory of Hybrid Systems and Discrete Event Systems. PhD thesis, Department of Electrical Engineering, University of California, Berkeley, California, 1995.
W. Thomas, “Automata on infinite objects,” in Formal Models and Semantics, volume B of Handbook of Theoretical Computer Science, Elsevier Science, 1990.
W. Thomas, “On the synthesis of strategies in infinite games,” in Proceedings of STACS 95, Volume 900 of LNCS (E. W. Mayr and C. Puech, eds.), pp. 1–13, Munich: Springer Verlag, 1995.
O. Maler, A. Pnueli, and J. Sifakis, “On the synthesis of discrete controllers for timed systems,” in STACS 95: Theoretical Aspects of Computer Science (E. W. Mayr and C. Puech, eds.), Lecture Notes in Computer Science 900, pp. 229–242, Munich: Springer Verlag, 1995.
E. Asarin, O. Maler, and A. Pnueli, “Symbolic controller synthesis for discrete and timed systems,” in Proceedings of Hybrid Systems II, Volume 999 of LNCS (P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, eds.), Cambridge: Springer Verlag, 1995.
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.
W. M. Wonham, Linear Multivariable Control: a geometric approach. Springer Verlag, 1979.
A. Deshpande and P. Varaiya, “Viable control of hybrid systems,” in Hybrid Systems II (P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, eds.), Lecture Notes in Computer Science 999, pp. 128–147, Berlin: Springer Verlag, 1995.
R. Isaacs, Differential Games. John Wiley, 1967.
T. Baar and G. J. Olsder, Dynamic Non-cooperative Game Theory Academic Press, seconded., 1995.
C. Tomlin, G. Pappas, and S. Sastry, “Conflict resolution for air traffic management: A case study in multi-agent hybrid systems,” tech. rep., UCB/ERL M97/33, Electronics Research Laboratory, University of California, Berkeley, 1997. To appear in the IEEE Transactions on Automatic Control.
J. Lygeros, D. N. Godbole, and S. Sastry, “A verified hybrid controller for automated vehicles,” Tech. Rep. UCB-ITS-PRR-97-9, Institute of Transportation Studies, University of California, Berkeley, 1997. To appear in the IEEE Transactions on Automatic Control, Special Issue on Hybrid Systems, April 1998.
A. E. Bryson and Y.-C. Ho, Applied Optimal Control. Waltham: Blaisdell Publishing Company, 1969.
J. A. Sethian, “Theory, algorithms, and applications of level set methods for propagating interfaces,” tech. rep., Center for Pure and Applied Mathematics (PAM-651), University of California, Berkeley, 1995.
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), pp. 3376–3381, 1996.
uP. L. Lions, Generalized Solutions of Hamilton-Jacobi Equations.London: Pittman, 1982.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tomlin, C., Lygeros, J., Sastry, S. (1998). Synthesizing controllers for nonlinear hybrid systems. In: Henzinger, T.A., Sastry, S. (eds) Hybrid Systems: Computation and Control. HSCC 1998. Lecture Notes in Computer Science, vol 1386. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-64358-3_51
Download citation
DOI: https://doi.org/10.1007/3-540-64358-3_51
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64358-6
Online ISBN: 978-3-540-69754-1
eBook Packages: Springer Book Archive