Abstract
The algorithmic design of least restrictive controllers for hybrid systems that satisfy reachability specifications has received much attention recently. Despite the importance of algorithmic approaches to controller design for hybrid systems, results that guarantee termination of the algorithms have been limited. In this paper, we extend recent decidability results on controller synthesis for classes of linear hybrid systems to semi-decision procedures for triangular hybrid systems which can be used to model nonholonomic systems after a transformation. Our results are then applied to verification of a conflict resolution maneuver from air traffic control.
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
E. Asarin, O. Bournez, T. Dang, O. Maler, and A. Pnueli. Effective controller synthesis of switching controllers for linear systems. Proceedings of the IEEE, 88(7):1011–1025, July 2000.
A. Chutinam and B. Krogh. Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations. In Hybrid Systems: Computation and Control, volume 1569 of LNCS. Springer Verlag, 1999.
T. Dang and O. Maler. Reachability analysis via face lifting. In Hybrid Systems: Computation and Control, volume 1386 of LNCS, pages 96–109. Springer Verlag, Berlin, 1998.
G. Laffeerriere, G. J. Pappas, and S. Yovine. A new class of decidable hybrid systems. In Hybrid Systems: Computation and Control, volume 1569 of Lecture Notes in Computer Science, pages 137–151. Springer Verlag, 1999.
Z. Li and J.F. Canny, editors. Nonholonomic Motion Planning. Kluwer Academic Publishers, 1993.
J. Lygeros, C. Tomlin, and S.S. Sastry. Controllers for reachability specifications for hybrid systems. Automatica, 35(3):349–370, March 1999.
I. Mitchell and C. Tomlin. Level set methods for computation in hybrid systems. In Proceedings of Hybrid Systems: Computation and Control, LNCS 1790, pages 310–323. Springer-Verlag, March 2000.
R.M. Murray, Z. Li, and S.S. Sastry. A Mathematical Introduction to Robotic Manipulation. CRC Press, 1994.
O. Shakernia, G. Pappas, and S. Sastry. Decidable controller synthesis for classes of linear systems. In Hybrid Systems: Computation and Control, LNCS 1790, pages 407–420. Springer-Verlag, March 2000.
O. Shakernia, G. Pappas, and S. Sastry. Semidecidable controller synthesis for classes of linear hybrid systems. In Proceedings of the 39th IEEE Conference on Decision and Control, Sydney, AU, December 2000.
A. Tarski. A decision method for elementary algebra and geometry. University of California Press, second edition, 1951.
C. Tomlin, J. Lygeros, and S. Sastry. Computing controllers for nonlinear hybrid systems. In Proceedings of Hybrid Systems: Computation and Control, LNCS 1569. Springer-Verlag, March 1999.
C. Tomlin, G. J. Pappas, and S. Sastry. Conflict resolution for air traffic management: A study in mutiagent hybrid systems. IEEE Transactions on Automatic Control, 43(4):509–521, April 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Shakernia, O., Pappas, G.J., Sastry, S. (2001). Semi-de1cidable Synthesis for Triangular Hybrid Systems. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A. (eds) Hybrid Systems: Computation and Control. HSCC 2001. Lecture Notes in Computer Science, vol 2034. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45351-2_39
Download citation
DOI: https://doi.org/10.1007/3-540-45351-2_39
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41866-5
Online ISBN: 978-3-540-45351-2
eBook Packages: Springer Book Archive