Existence of cascade discrete-continuous state estimators for systems on a partial order

Lecture Notes in Computer Science

Volumn 3414, Issue , 2005, Pages 226-241

  Del Vecchio, Domitilla ^a   Murray, Richard M ^a  

^a CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; DESIGN; ERROR DETECTION; LATTICE CONSTANTS; OBSERVABILITY;

DISCRETE STATE; ESTIMATION ERROR; MONOTONE PROPERTIES; PARTIAL ORDER;

DISCRETE TIME CONTROL SYSTEMS;

EID: 24344498716     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31954-2_15     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. In Lecture Notes in Computer Science 2289.C. J. Tomlin and M. R. Greensreet Eds. Springer Verlag, pages 76-89, 2002.
2. Alexandre Bayen, Jiawei Zhang, Claire Tomlin, and Yinyu Ye. Milp formulation and polynomial time algorithm for an aircraft scheduling problem. In Proc. of American Control Conference, 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. B. A. Davey and H. A. Priesteley. Introduction to Lattices and Order. Cambridge University Press, 2002.
6. D. DelVecchio and R. M. Murray. Discrete state estimators for a class of hybrid systems on a lattice. In Lecture Notes in Computer Science 2993, R. Alur and G. Pappas Eds. Springer Verlag, pages 311-325, 2004.
7. D. DelVecchio and R. M. Murray. Existence of discrete state estimators for hybrid systems on a lattice. In Conf. on Decision and Control, 2004.
8. D. DelVecchio and R. M. Murray. Cascade discrete-continuous state estimators for a class of monotone systems. In IFAC (Submitted), pages 76-89, 2005.
9. J. E. Hopcroft, R. Motwani, and J. D. Ullman. Introduction to Automata Theory, languages, and Computation. Addison Wesley, 2001.
10. A. Jung S. Abramsky. Domain Theory. Handbook of Logic in Computer Science Volume 3. 1994.
11. H. L. Smith. Monotone Dynamical Systems. Mathematical Surveys and Monographs. American Mathematical Society, 1995.
12. Claire Tomlin, Ian Mitchell, and Ronojoy Ghosh. Safety verification of conflict resolution maneuvers. IEEE Transactions on Intelligent Transportation Systems, 2001.
13. R. Vidal, A. Chiuso, and S. Soatto. Observability and identifiability of jump linear systems. In Conf. on Decision and Control, pages 3614-3619, Las Vegas, 2002.