Observer-based control of block-triangular discrete time hybrid automata on a partial order

International Journal of Robust and Nonlinear Control

Volumn 19, Issue 14, 2009, Pages 1581-1602

  Del Vecchio, Domitilla ^a  

^a UNIVERSITY OF MICHIGAN   (United States)

Author keywords

Dynamic feedback; Hybrid automata; Partial order

Indexed keywords

CONTINUOUS STATE; CONTROL ALGORITHMS; DISCRETE TIME; DYNAMIC FEEDBACK; HYBRID AUTOMATA; HYBRID AUTOMATONS; INTELLIGENT TRANSPORTATION; LINEAR COMPLEXITY; OBSERVER BASED CONTROL; ORDER PRESERVING; PARTIAL ORDER; SAFETY CONTROLS; UPPER AND LOWER BOUNDS;

ALGORITHMS; BINARY CODES; CONTINUOUS TIME SYSTEMS; CONTROL THEORY; HYBRID SYSTEMS; ROBOTS; SET THEORY; STATE FEEDBACK; TRANSLATION (LANGUAGES);

FEEDBACK;

EID: 70149098780     PISSN: 10498923     EISSN: 10991239     Source Type: Journal    
DOI: 10.1002/rnc.1377     Document Type: Article

References (29)

1. Office of Safety Analysis. Accidents/Incidents Counts. Federal Railroad Administration, 2005. Available from: http://safetydata.fra.dot.gov/ officeofsafety.
2. Laberteaux K, Caminiti L, Caveney D, Hada H. Pervasive vehicular networks for safety. IEEE Pervasive Computing, Spotlight 2006; 4: 60-62.
3. Tomlin CJ, Lygeros J, Sastry S. A game theoretic approach to controller design for hybrid systems. Proceedings of the IEEE 2000; 88(7): 949-970.
4. Shakernia O, Pappas GJ, Sastry S. Semi-decidable synthesis for triangular hybrid systems. In Hybrid Systems: Computation and Control, Di Benedetto MD, Sangiovanni-Vincentelli A (eds). Lecture Notes in Computer Science, vol.2034. Springer: Berlin, 2001.
5. Maler O, Asarin E, Pnueli A. Symbolic controller synthesis for discrete and timed systems. In Hybrid Systems II, Antsaklis P, Kohn W, Nerode A, Sastry S (eds). Lecture Notes in Computer Science, vol.999. Springer: Berlin, 1995; 1-20.
6. Prajna S, Jadbabaie A. Safety verification of hybrid systems using barrier certificates. In Hybrid Systems: Computation and Control, Alur R, Pappas G (eds). Lecture Notes in Computer Science, vol.2993. Springer: Berlin, 2004; 477-492.
7. Kurzhanski AB, Varaiya P. Ellipsoidal techniques for hybrid dynamics: the reachability problem. In New Directions and Applications in Control Theory, Dayawansa WP, Lindquist A, Zhou Y (eds). Lecture Notes in Control and Information Sciences, vol.321. Springer: Berlin, 2005; 193-205.
8. Tomlin CJ, Mitchell I, Bayen AM, Oishi M. Computational techniques for the verification of hybrid systems. Proceedings of the IEEE 2003; 91(7): 986-1001.
9. Lygeros J, Tomlin CJ, Sastry S. Controllers for reachability specifications for hybrid systems. Automatica 1999; 35(3): 349-370.
10. Thomas W. On the synthesis of strategies in infinite games. In Proceedings of the STACS 95, Mayr EW, Puech C (eds). Springer: Berlin, 1995; 1-13.
11. Ramadge PJ, Wonham WM. The control of discrete event systems. Proceedings of the IEEE 1989; 77(1): 81-98.
12. Heymann M, Lin F, Meyer G. Synthesis and viability of minimal interventive legal controllers for hybrid systems. Discrete Event Dynamic Systems: Theory and Applications 1998; 8(2): 105-135.
13. Asarin E, Maler O, Pnueli A. Symbolic controller design for discrete and timed systems. In Hybrid Systems: Computation and Control, Antsakilis P, Kohn W, Nerode A, Sastry S (eds). Lecture Notes in Computer Science, vol.999. Springer: Berlin, 1995; 1-20.
14. Wong-Toi H. The synthesis of controllers for linear hybrid automata. Conference on Decision and Control, San Diego, 1997; 4607-4613.
15. Henzinger TA, Ho PH, Wong-Toi H. A user guide to HyTech. In TACAS 95: Tools and Algorithms for the Construction and Analysis of Systems, Brinksma E, Cleaveland W, Larsen K, Margaria T, Steffen B (eds). Lecture Notes in Computer Science, vol.1019. Springer: Berlin, 1995; 41-71.
16. Henzinger TA, Kopke PW. Discrete-time control for rectangular hybrid automata. Theoretical Computer Science 1999; 221: 369-392.
17. Manna Z, Pnueli A. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer: Berlin, 1992.
18. Henzinger TA, Horowitz B, Majumdar R, Wong-Toi H. Beyond HyTech: hybrid systems analysis using interval numerical methods. In Hybrid Systems: Computation and Control, Krogh B, Lynch N (eds). Lecture Notes in Computer Science, vol.1790. Springer: Berlin, 2000; 130-144.
19. De Wulf M, Doyen L, Raskin J-F. A lattice theory for solving games of imperfect information. In Hybrid Systems: Computation and Control, Hespanha J, Tiwari A (eds). Lecture Notes in Computer Science, vol.3927. Springer: Berlin, 2006; 153-168. (Pubitemid 44019585)
20. Del Vecchio D. A partial order approach to discrete dynamic feedback in a class of hybrid systems. In Hybrid Systems: Computation and Control, Bemporad A, Bicchi A, Buttazzo G (eds). Lecture Notes in Computer Science, vol.4416. Springer: Pisa, Italy, 2007; 159-173.
21. LaValle SM. Planning Algorithms. Cambridge University Press: Cambridge, 2006.
22. Cousot P, Cousot R. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. Conference Record of the 4th ACM Symposium on Principles of Programming Languages, 1977; 238-252.
23. Del Vecchio D, Murray RM, Klavins E. Discrete state estimators for systems on a lattice. Automatica 2006; 42(2): 271-285.
24. Del Vecchio D, Murray RM. Existence of cascade discrete-continuous state estimators on a partial order. In Hybrid Systems: Computation and Control, Morari M, Thiele L, Rossi F (eds). Lecture Notes in Computer Science, vol.3414. Springer: Zurich, 2005; 226-241.
25. Alamoa T, Bravo JM, Redondo MJ, Camachoa EF. A set-membership state estimation algorithm based on DC programming. Automatica 2008; 44: 216-224.
26. Davey BA, Priesteley HA. Introduction to Lattices and Order. Cambridge University Press: Cambridge, 2002.
27. Verma R, Del Vecchio D, Fathy H. Development of a scaled vehicle with longitudinal dynamics of a HMMWV for an its testbed. IEEE/ASME Transactions on Mechatronics 2008; 13(1): 46-57.
28. Henzinger TA. The theory of hybrid automata. Proceedings of the 11th Annual Symposium on Logic in Computer Science. IEEE Press: New York, 1996; 278-292.
29. Pachl J. Railway Operation and Control. VTD Rail Publishing: Mountlake Terrace, 2002.