Discrete state estimators for systems on a lattice

Automatica

Volumn 42, Issue 2, 2006, Pages 271-285

  Del Vecchio, Domitilla ^a,d   Murray, Richard M ^b,e,f   Klavins, Eric ^c,g  

^a UNIVERSITY OF MICHIGAN   (United States)

^b CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

^c UNIVERSITY OF WASHINGTON   (United States)

^d The Department of Civil and Environmental Engineering   (United States)

^e Department of Machanical Engineering ^*  (United States)

^f California Institute of Technology   (United States)

^g University of Washington   (United States)

Author keywords

Computational complexity; Discrete state estimation; Lattice; Multi agent systems; Set representation

Indexed keywords

DISCRETE STATE ESTIMATION; LATTICE; MULTI-ROBOT SYSTEM; SET REPRESENTATION;

COMPUTATIONAL COMPLEXITY; DISCRETE TIME CONTROL SYSTEMS; MULTI AGENT SYSTEMS; ROBOTICS; SET THEORY;

STATE ESTIMATION;

EID: 29244489235     PISSN: 00051098     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.automatica.2005.10.006     Document Type: Article

References (26)

1. Alessandri, A., & Coletta, P. (2001). Design of Luenberger observer for a class of hybrid linear systems. In M. D. Di Benedetto, & A. Sangiovanni-Vincentelli (Eds.), Lecture notes in computer science (Vol. 2034) (pp. 7-18). Berlin: Springer.
2. Alessandri, A., & Coletta, P. (2003). Design of observer for switched discrete-time linear systems. In American control conference (pp. 2785-2790).
3. Balluchi, A., Benvenuti, L., Di Benedetto, M. D., & Sangiovanni-Vincentelli, A. (2002). Design of observers for hybrid systems. In C. J. Tomlin, & M. R. Greensreet (Eds.), Lecture notes in computer science (Vol. 2289) (pp. 76-89). Berlin: Springer.
4. Balluchi, A., Benvenuti, L., Di Benedetto, M. D., & Sangiovanni-Vincentelli, A. (2003). Observability of hybrid systems. In Conference on Decision and Control (pp. 1159-1164).
5. A. Bemporad, G. Ferrari-Trecate, and M. Morari Observability and controllability of piecewise affine and hybrid systems IEEE Transactions on Automatic Control 45 1999 1864 1876
6. Caines, P. E., Greiner, R., & Wang, S. (1991). Classical and logic-based dynamic observers for finite automata. IMA Journal of Mathematical Control and Information (pp. 45-80).
7. Caines P. E., & Wang, S. (1995). Cocolog: A conditional observer and controller logic for finite machines. SIAM Journal on Control and Optimization (pp. 1687-1715).
8. Cassandra, A. R., Kaelbling, L. P., & Littman, M. L. (1994). Acting optimally in partially observable stochastic domains. In Proceedings of the 12th conference on artificial intelligence (pp. 1023-1028), Seattle, WA.
9. E.F. Costa, and J.B.R. do Val On the observability and detectability of continuous-time jump linear systems SIAM Journal on Control and Optimization 41 2002 1295 1314
10. D'Andrea, R., Murray, R. M., Adams, J. A., Hayes, A. T., Campbell, M., & Chaudry, A. (2003). The RoboFlag Game. In American control conference (pp. 661-666).
11. B.A. Davey, and H.A. Priesteley Introduction to lattices and order 2002 Cambridge University Press Cambridge
12. Del Vecchio, D. (2005). State estimation in multi-agent decision and control systems. Ph.D. thesis, California Institute of Technology. < http://www.cds.caltech.edu/ ∼ ddomitilla/papers/Thesis.pdf>.
13. Del Vecchio, D., & Klavins, E. (2003). Observation of guarded command programs. In Conference on decision and control (pp. 3353-3359), Hawaii.
14. Del Vecchio, D., & Murray, R. M. (2004). Discrete state estimators for a class of hybrid systems on a lattice. In R. Alur, & G. Pappas (Eds.), Lecture notes in computer science (Vol. 2993) (pp. 311-325). Philadelphia. Berlin: Springer.
15. Del Vecchio, D., & Murray, R. M. (2005). Existence of cascade discrete-continuous state estimators on a partial order. In M. Morari, L. Thiele, & F. Rossi (Eds.), Lecture notes in computer science (Vol. 3414) (pp. 226-241). Zurich. Berlin: Springer.
16. De Santis, E., DiBenedetto, M. D., & Pola, G. (2003). On observability and detectability of continuous-time linear switching systems. In Conference on decision and control (pp. 5777-5782).
17. R.E. Kalman A new approach to linear filtering and prediction problems Transactions of the ASME - Journal of Basic Engineering 82 Series D 1960 35 45
18. Klavins, E. (2003). A formal model of a multi-robot control and communication task. In Conference on decision and control (pp. 4133-4139), Hawaii.
19. E. Klavins, and R.M. Murray Distributed algorithms for cooperative control Pervasive Computing 3 2004 56 65
20. Luenberger, D. G. (1971). An introduction to observers. IEEE Transactions on Automatic Control, AC-16(6), 596-602.
21. Oishi, M., Hwang, I., & Tomlin, C. (2003). Immediate observability of discrete event systems with application to user-interface design. In Conference on decision and control (pp. 2665-2672), Hawaii.
22. C.M. Özveren, and A.S. Willsky Observability of discrete event dynamic systems IEEE Transactions on Automatic Control 35 7 1990 797 806
23. Ramadge, P. J. (1986). Observability of discrete event systems. In Conference on decision and control (pp. 1108-1112). Athens, Greece.
24. E.D. Sontag Mathematical control theory 1998 Springer Berlin
25. Vidal, R., Chiuso, A., & Soatto, S. (2002). Observability and identifiability of jump linear systems. In Conference on decision and control (pp. 3614-3619), Las Vegas.
26. Vidal, R., Chiuso, A., Soatto, S., & Sastry, S. (2003). Observability of linear hybrid systems. In O. Maler, & A. Pnueli (Eds.), Lecture notes in computer science (Vol. 2623) (pp. 526-539). Berlin: Springer.