On Observability and Detectability of Continuous-time Linear Switching Systems

Proceedings of the IEEE Conference on Decision and Control

Volumn 6, Issue , 2003, Pages 5777-5782

  De Santis, E ^a   Di Benedetto, M D ^a   Pola, G ^a  

^a UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; ERROR ANALYSIS; MATHEMATICAL TRANSFORMATIONS; MATRIX ALGEBRA; RANDOM PROCESSES; SWITCHING; THEOREM PROVING;

CONTINUOUS-TIME SWITCHING SYSTEMS; HYBRID SYSTEMS;

LINEAR SYSTEMS;

EID: 1542378306     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2003.1271926     Document Type: Conference Paper

References (17)

1. Balluchi, A., Benvenuti, L., Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L., Design of Observers for Hybrid Systems. In Lecture Notes in Computer Science 2289, C.J. Tomlin and M.R. Greenstreet Eds. (2002), pp. 76-89, Springer-Verlag.
2. Balluchi, A., Benvenuti, L., Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L., Observability for Hybrid Systems. These Proceedings, Maui, Hawaii, USA, December 9-12, 2003.
3. Bemporad, A., Ferrari-Trecate, G., Morari, M., Observability and Controllability of Piecewise Affine and Hybrid Systems. IEEE Trans. on Automatic Control, vol. 45, no. 10, October 2000, pp. 1864-1876.
4. Berardi, L., De Santis, E., Di Benedetto, M.D., Hybrid Systems with Safety Specifications: Procedures for the Computation and Approximations of Controlled Invariant Sets, Department of Electrical Engineering, University of L'Aquila, Research Report no. R.03-66, Jan. 2003, http://www.diel.univaq.it/tr/web/web_search_tr.php (submitted for publication).
5. De Santis, E., Di Benedetto, M.D., Pola, G., Equivalence entre Stabilisabilité et Sécurité pour les Systèmes à Commutation. Conférence Internationale Francophone d'Automatique CIFA 2002, Nantes, France, 8-10 July 2002.
6. De Santis, E., Di Benedetto, M.D., Di Gennaro, S., Pola, G., Hybrid Observer Design Methodology, WP7 Deliverable 7.2 Report, Project IST-2001-32460 HYBRIDGE, August 19, 2003.
7. De Santis E., Di Benedetto M. D., Pola G., On Observability and Detectability of Continuous-time Linear Switching Systems, Department of Electrical Engineering, University of L'Aquila, Research Report no. R.03-67, Sept. 2003, http://www.diel.univaq.it/tr/web/web_search_tr.php.
8. Hwang, I., Balakrishnan, H., Tomlin, C., Observability Criteria and Estimator Design for Stochastic Linear Hybrid Systems. Proc. European Control Conference, Cambridge, UK, Sept. 2003.
9. Kalman, R.E., A New Approach to Linear Filtering and Prediction Problems, Transactions of the ASME - Journal of Basic Engineering, Vol. D, pp. 35-45, 1960.
10. Luenberger, D.G., An Introduction to Observers. IEEE Trans. on Automatic Control, vol. 16, no. 6, Dec. 1971, pp.596-602.
11. Lygeros, J., Tomlin, C., Sastry, S., Controllers for Reachability Specifications for Hybrid Systems, Automatica, Special Issue on Hybrid Systems, vol. 35, 1999.
12. Morse, A. S., Supervisory Control of Families of Linear Set-point Controllers- Part 1: Exact Matching. IEEE Trans. on Automatic Control, vol. 41, no. 10, October 1996, pp. 1413-1431.
13. Özveren, C., Willsky, A., Observability of Discrete Event Dynamic Systems. IEEE Trans. on Automatic Control, vol. 35, no. 7, July 1990, pp. 797-806.
14. Ramadge, P.J., Observability of Discrete Event Systems, Proc. 25th IEEE Conference on Decision and Control, pp. 1108-1112, Athens, Greece, 1986.
15. Sontag, E.D., On the Observability of Polynomial Systems, I: Finite-time Problems. SIAM J. Control and Optimization, vol. 17, n.1, 1979, pp. 139-151.
16. Vidal, R., Chiuso, A., Soatto, S., Observability and Identifiability of Jump Linear Systems. Proc. 41st IEEE Conference on Decision and Control, Las Vegas, Nevada USA, December 2002, pp. 3614-3619.
17. Vidal, R., Chiuso, A., Soatto, S., Sastry, S., Observability of Linear Hybrid Systems, In Lecture Notes in Computer Science 2623, A. Pnueli and O. Maler Eds. (2003), Springer-Verlag Berlin Heidelberg, pp. 526-539.