Achievable bisimilar behaviour of abstract state systems

Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05

Volumn 2005, Issue , 2005, Pages 1535-1540

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

^a UNIVERSITY OF L'AQUILA   (Italy)

^b UNIVERSITY OF TWENTE   (Netherlands)

^c UNIVERSITY OF GRONINGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

BOUNDARY CONDITIONS; FINITE ELEMENT METHOD; PROBLEM SOLVING; STATE SPACE METHODS;

ABSTRACT STATE SYSTEMS; LINEAR DYNAMICAL SYSTEMS;

LINEAR SYSTEMS;

EID: 33847243342     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2005.1582376     Document Type: Conference Paper

References (22)

1. Barrett, G., Lafortune S., Bisitnulation, the supervisory control problem and strong model matching for finite state machines, Discrete Event Syst.: Theory Appl. vol. 8, no. 4, pp. 377-429, Dec. 1998.
2. Clarke, E. M., Grumberg, O., Peled, D. A., Model Checking, The MIT Press, Cambridge, Massachusetts, 2002.
3. Di Benedetto, M. D., Grizzle, J. W., Asymptotic Model Matching for Nonlinear Systems, IEEE Trans. on Automatic Control, Vol. 39, no. 8, August 1994, pp. 1538-1550.
4. Di Benedetto, M. D., Sangiovanni-Vincentelli, A., Model Matching for Finite-States Machines, IEEE Trans. on Automatic Control, Vol. 46, no. 11, November 2001, pp. 1726-1737.
5. Julius, A. A., Willems, J. C., Belur, M. N., Trentelman, H.L., The canonical controllers and regular interconnection, Systems & Control Letters, 8(54), pp 787-797, August 2005.
6. Kuijper, M., First-Order Representations of Linear Systems, Birkhauser, Boston, 1994
7. Milner, R., Comunication and Concurrency, Prentice Hall International Series in Computer Science, 1989.
8. Narayanan, H., Some applications of an Implicit Duality Theorem to connections of structures of special types including Dirac and reciprocal structures, Systems & Control Letters, 45 (2002) pp. 87-96.
9. Park, D., Concurrency and automata on infinite sequences. In P. Deussen, Editor, Fifth GI Conference on Theoretical Computer Science, vol. 104 of Lecture Notes in Computer Science, Springer 1981.
10. Pola, G., van der Schaft, A. J., Di Benedetto, M. D., Bisimulation Theory for Switching Linear Systems, Proc. of the 43st IEEE Conference on Decision and Control (CDC 04), Paradise Island, Bahamas, USA, 14th - 17th December 2004, pp. 1406-1411.
11. Pola, G., van der Schaft, A. J., Di Benedetto, M. D., Achievable Bisimilar Behaviour of Abstract State Systems, Department of Electrical Engineering & Computer Science, University of L'Aquila, Italy, Research Report, September 2005, http://www.diel.univaq.it/tr/web/web_search_tr.php.
12. Polderman, J. W., Willems, J. C., Introduction to Mathematical Systems Theory: A Behavioral Approach, Springer, Berlin, 1997.
13. Ramadge, P. J., Wonham, W. M., Supervisory Control of a Class of Discrete-Event Processes SIAM Journal of Control and Optimization, Vol. 25, No. 1, pp. 206-230, Jan. 1987.
14. Ramadge, P. J., Wonham, W. M., The control of discrete event systems, Proc. IEEE, vol. 77, no. 1, pp. 81-98, Jan. 1989.
15. Ruberti, A., Isidori, A., Teoria dei Sistetni, Boringhieri, Torino, Italy, 1979.
16. Sontag, E. D., Mathematical Control Theory: Deterministic Finite Dimensional Systems. Second Edition, Springer, New York, 1998.
17. Totnlin, C., Lygeros, J., Sastry, S., Synthesizing Controllers for Nonlinear Hybrid Systems, Lecture Notes in Computer Science, Hybrid Systems: Computation and Control (HSCC98), S. Sastry and T. Henzinger, Eds., vol. 1386, Springer Verlag Berlin Heidelberg, 1998, pp. 360-373.
18. van der Schaft, A. J., Schumacher, J. M., Compositionality issues in discrete, continuous, and hybrid systems, International Journal of Robust and Nonlinear Control, vol. 11, pp. 417-434, 2001.
19. van der Schaft, A. J., Achievable behavior of general systems, Systems & Control Letters, 49 (2003) pp. 141-149.
20. 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.
21. van der Schaft, A. J., Equivalence of dynamical systems by bisimulation, IEEE Trans. on Automatic Control, Vol. 49, no. 12, December 2004, pp. 2160-2172.
22. Willems, J. C., Trentelman, H. L., Synthesis of Dissipative Systems Using Quadratic Differential Forms, Part I, IEEE Trans. on Automatic Control 47 (2002) pp. 53-69.