Observation of Guarded Command Programs

Proceedings of the IEEE Conference on Decision and Control

Volumn 4, Issue , 2003, Pages 3353-3359

  Del Vecchio, Domitilla ^a   Klavins, Eric ^b  

^a CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

^b UNIVERSITY OF WASHINGTON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; FUNCTIONS; MATHEMATICAL MODELS; PROBLEM SOLVING; ROBOTS; SET THEORY; TRAJECTORIES;

DISCRETE SYSTEMS; GUARDED COMMAND PROGRAMS;

CONTROL SYSTEMS;

EID: 1542319897     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. A. Balluchi, L. Benvenuti, M. D. Di Benedetto, and A. Sangiovanni-Vincentelli. Design of observers for hybrid systems. Lecture Notes in Computer Science 2289, C. J. Tomlin and M. R. Greensreet Eds. Springer, pages 76-89, 2002.
2. A. Bemporad, G. Ferrari-Trecate, and M. Morari. Observability and controllability of piecewise affine and hybrid systems. IEEE Transactions on Automatic Control 45:1864-1876, 1999.
3. A. Bemporad and M. Morari. Control of systems integrating logic, dynamics and constraints. Automatica, 35:407-427, 1999.
4. M. S. Branicky, V. S. Borkar, and S. K. Mitter. A unified framework for hybrid control: model and optimal control theory. IEEE Trans. Automat. Control, 43:31-45, 1998.
5. P. E. Caines. Classical and logic-based dynamic observers for finite automata. IMA J. of Mathematical Control and Information, pages 45-80, 1991.
6. R. D'Andrea, R. M. Murray, J. A. Adams, A. T. Hayes, M. Campbell, and A. Chaudry. The RoboFlag Game. In American Controls Conference, 2003.
7. E. W. Dijkstra. Guarded commands, non-determinacy and a calculus for the derivation of programs. Communications of the ACM, 18(8):453-457, August 1975.
8. R. L. Grossmann, A. Nerode, A. P. Ravn, and H. Rischel. Hybrid Systems, Lecture Notes in Computer Science (Vol 736. Springer Verlag, New York, 1993.
9. E. Klavins. A formal model of a multi-robot control and communication task. In Conference on Decision and Control, Hawaii, 2003.
10. N. Lynch, R. Segala, and F. Vaandraager. Hybrid i/o automata. Information and Computation, 185(1):105-157, 2003.
11. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concur- rent Systems: Specication. Springer-Verlag, 1992.
12. A Sabelfeld and A. C. Myers. Language-based information-flow security. IEEE J. on Selected Areas in Communications, pages 1-15, 2003.
13. R. Vidal, A. Chiuso, and S. Soatto. Observability and identifiability of jump linear systems. In Decision and Control Conference, Las Vegas, 2002.