Bisimulation theory for switching linear systems

Proceedings of the IEEE Conference on Decision and Control

Volumn 2, Issue , 2004, Pages 1406-1411

  Pola, Giordano ^a   Van Der Schaft, Arjan J ^b   Di Benedetto, Maria D ^a  

^a UNIVERSITY OF L'AQUILA   (Italy)

^b UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER SCIENCE; COMPUTER SIMULATION; MATHEMATICAL OPERATORS; SET THEORY; SWITCHING SYSTEMS;

BISIMULATION; HYBRID SYSTEMS; LINEAR CONTINUOUS DISTURBANCE; SIMULATION-BASED ABSTRACTION;

LINEAR SYSTEMS;

EID: 14344250430     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/cdc.2004.1430240     Document Type: Conference Paper

References (16)

1. Alur, R., Henzinger, T.A., Laffeniere, G., Pappas, G.J., Discrete abstractions of hybrid systems, Proceedings of the IEEE, vol. 88, pp. 971-984, 2000.
2. Broucke, M., Regularity of solutions and homotopic equivalence for hybrid systems. Proceedings of the 37st IEEE Conference on Decision and Control, Tampa, Florida, USA, December 1998, pp. 4283-4288.
3. Callier, P.M., Desoer, C.A., Linear System Theory, Springer Verlag, New York, 1991.
4. Clarke, E.M., Grumberg, O., Peled, D.A., Model Checking, The MIT Press, Cambridge, Massachusetts, 2002.
5. De Santis, E., Di Benedetto, M.D., Berardi, L., Computation of maximal safe sets for switching linear systems, IEEE Trans. on Automatic Control, vol. 49, no. 2, February 2004. pp. 184-195.
6. De Santis, E., Di Benedetto, M.D., Pola, G., On Observability and Detectability of continuous-time Switching Linear Systems. Proceedings of the 42st IEEE Conference on Decision and Control, Maui, Hawaii, USA, December 2003, pp. 5777-5782.
7. Hermanns, H., Interactive Markov Chain, Lecture Notes in Computer Science 2428, Springer, 2002.
8. Hopcroft, I.E., Ullman, J.D., Introduction to Automata Theory, Languages, and Computation, Addison Wesley Publishing Co., Reading Massachusetts, 1979.
9. Kelley, J. L., Namioka, I., Linear Topological Spaces, Springer Verlag, 1963.
10. Lygeros, J., Tomlin, C., Sastry, S., Controllers for reachability specifications for hybrid systems, Automatica, Special Issue on Hybrid Systems, vol. 35, 1999.
11. Pappas, G.J., Bisimilar linear systems. Automatica, 39 (12), pp. 2035-2047, 2003.
12. Pappas, G.J., Bisimilar control affine systems, Systems & Control Letters, 52, 49-58, 2004.
13. Pola, G., Van der Schaft, A.J., Di Benedetto, M.D., Equivalence of Switching Linear Systems by Bisimulation, Department of Electrical Engineering, University of L'Aquila, Italy, Research Report, September 2004, http://www.diel.univaq.it/tr/web/web_search_tr.php. Submitted for publication.
14. Tabuada, P., Pappas, G.J., Lima, P., Composing abstractions of hybrid systems, in Hybrid Systems: Computation and Control, eds. C. Tomlin, M.R. Greenstreet, Lecture Notes in Computer Science, pp. 436-450, Springer, 2002.
15. Van der Schaft, A. J., Equivalence of dynamical systems by bisimulation, Technical Report Department of Applied Mathematics, University of Twente, IEEE Trans. on Automatic Control, December 2004, to appear.
16. Van der Schaft, A. J., Equivalence of hybrid dynamical systems, Proc. of Mathematical Theory of Networks and Systems (MTNS 04), Leuven (Belgium), July 5-9, 2004.