Existence of discrete state estimators for hybrid systems on a lattice

Proceedings of the IEEE Conference on Decision and Control

Volumn 1, Issue , 2004, Pages 1-6

  Del Vecchio, D ^a   Murray, R M ^a  

^a CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BOUNDARY VALUE PROBLEMS; COMMUNICATION SYSTEMS; DISTRIBUTED COMPUTER SYSTEMS; FUNCTIONS; LARGE SCALE SYSTEMS; MARKOV PROCESSES; OBSERVABILITY; PROBLEM SOLVING; ROBOTICS; SET THEORY; SIGNAL PROCESSING;

AUTOMATON; DISCRETE STATE ESTIMATORS; HYBRID SYSTEMS; MARKOV-DECISION PROCESSES;

STATE ESTIMATION;

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

References (12)

1. A. Balluchi, L. Benvenuti, M. D. Di Benedetto, and A. SangiovanniVincentelli. Design of observers for hybrid systems. In Lecture Notes in Computer Science 2289,C. J. Tomlin and M. R. Greensreet Eds. Springer, pages 76-89, 2002.
2. nd IEEE Conference on Decision and Control, pages 1159-1164, 2003.
3. 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.
4. P. E. Caines. Classical and logic-based dynamic observers for finite automata. IMA J. of Mathematical Control and Information, pages 45-80, 1991.
5. A. R. Cassandra, L. P. Kaelbling, and M. L Littman. Acting optimally in partially observable stochastic domains. In Proc. 12th Conference on Artificial Intelligence, pages 1023-1028, Seattle, WA, 1994.
6. B. A. Davey and H. A. Priesteley. Introduction to Lattices and Order. Cambridge University Press, 2002.
7. C. M. Özveren and A. S. Willsky. Observability of discrete event dynamic systems. IEEE Transactions on Automatic Control, 35(7):797-806, 19.
8. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concur- rent Systems: Specication. Springer-Verlag, 1992.
9. P. J. Ramadge. Observability of discrete event systems. In Proc. 25th Conference on Decision and Control, pages 1108-1112, Athens, Greece, 1986.
10. D. Del Vecchio and E. Klavins. Observation of guarded command programs. In Conference on Decision and Control, Hawaii, 2003.
11. D. Del Vecchio and R. M. Murray. Discrete state estimators for a class of hybrid systems on a lattice. In 7th International Workshop on Hybrid Systems: Compulation and Control, University of Pennsylvania, Philadelphia, USA, 2004.
12. R. Vidal, A. Chiuso, and S. Soatto. Observability and identifiability of jump linear systems. In Decision and Control Conference, Las Vegas, 2002.