Computation of safety control for uncertain piecewise continuous systems on a partial order

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2009, Pages 1671-1677

  Hafner, Michael R ^a   Del Vecchio, Domitilla ^a  

^a UNIVERSITY OF MICHIGAN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

HYBRID SYSTEMS; PARALLEL PROCESSING SYSTEMS;

ALGORITHMIC PROCEDURE; CONTINUOUS STATE; CONTINUOUS VARIABLES; LINEAR COMPLEXITY; ORDER PRESERVING; PIECEWISE CONTINUOUS SYSTEMS; SAFETY CONTROLS; STATE INFORMATION;

SAFETY ENGINEERING;

EID: 77950833814     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2009.5400532     Document Type: Conference Paper

References (20)

1. D. Angeli and E. D. Sontag. Monotone control systems. IEEE Transactions on Automatic Control, 48:1684-1698, 2003.
2. J. Aubin and H. Frankowska. Set-Valued Analysis. Systems and Control: Foundations and Applications. Birkhäuser, Boston, 1990.
3. S. Boyd and L. Vandenberghe. Convex Optimization. Cambridge University Press, 2004.
4. B. A. Davey and H. A. Priestley. Introduction to Lattices and Order. Cambridge University Press, Cambridge, UK, 2002.
5. D. Del Vecchio. A partial order approach to discrete dynamic feedback in a class of hybrid systems. In Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, vol.4416, A. Bemporad, A. Bicchi, and G. Buttazzo (Eds.), Springer Verlag, pages 159-173, Pisa, Italy, 2007.
6. D. Del Vecchio. Observer-based control of block triangular discrete time hybrid automata on a partial order. International Journal of Robust and Nonlinear Control, 2008.
7. D. Del Vecchio, M. Malisoff, and R. Verma. A separation principle for a class of hybrid automata on a partial order. In American Control Conference, 2009.
8. O. Maler E. Asarin and A.Pnueli. Symbolic controller synthesis for discrete and timed systems. In Hybrid Systems II, Lecture Notes in Computer Science, vol.999, P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry (Eds.), Springer Verlag, pages 1-20, 1995.
9. T. A. Henzinger, P. H. Ho, and H. Wong-Toi. A user guide to HyTech. In TACAS 95: Tools and Algorithms for the construction and analysis of systems, Lecture Notes in Computer Science, vol.1019, E. Brinksma, W. Cleaveland, K. Larsen, T. Margaria, and B. Steffen (Eds.), Springer-Verlag, pages 41-71, 1995.
10. A. B. Kurzhanski and P. Varaiya. Ellipsoidal techniques for hybrid dynamics: the reachability problem. In New Directions and Applications in Control Theory, Lecture Notes in Control and Information Sciences, vol 321, W.P. Dayawansa, A. Lindquist, and Y. Zhou (Eds.), pages 193-205, 2005.
11. S. M. LaValle. Planning Algorithms. Cambridge University Press, 2006.
12. T. Lawson. Topology: A Geometric Approach. Oxford, 2003.
13. J. Lygeros, C. J. Tomlin, and S. Sastry. Controllers for reachability specifications for hybrid systems. Automatica, 35(3):349-370, 1999.
14. J. R. Munkres. Topology. Prentice Hall, second edition, 2000.
15. O. Shakernia, G. J. Pappas, and S. Sastry. Semi-decidable synthesis for triangular hybrid systems. In Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, vol.2034, M. D. Di Benedetto and A. Sangiovanni-Vincentelli (Eds.), Springer Verlag, 2001.
16. C. J. Tomlin, J. Lygeros, and S. Sastry. A game theoretic approach to controller design for hybrid systems. Proceedings of the IEEE, 88(7):949-970, 2000.
17. C. J. Tomlin, I. Mitchell, A. M. Bayen, and M. Oishi. Computational techniques for the verification of hybrid systems. Proceedings of the IEEE, 91(7):986-1001, 2003.
18. R. Verma, D. Del Vecchio, and H. Fathy. Development of a scaled vehicle with longitudinal dynamics of a HMMWV for an its testbed. IEEE/ASME Transactions on Mechatronics, 13(1):46-57, 2008.
19. R. Verma and D. Del Vecchio. Continuous control of hybrid automata with imperfect mode information assuming separation between state estimation and control. Proc. of Conference on Decicion and Control, 2009 (To Appear).
20. M. De Wulf, L. Doyen, and J.-F. Raskin. A lattice theory for solving games of imperfect information. Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, vol.3927, J. Hespanha and A. Tiwari (Eds.), Springer-Verlag, pages 153-168, 2006.