Bisimilar finite abstractions of interconnected systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4981 LNCS, Issue , 2008, Pages 514-527

  Tazaki, Yuichi ^a   Imura, Jun Ichi ^a  

^a TOKYO INSTITUTE OF TECHNOLOGY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

HYBRID SYSTEMS;

APPROXIMATE BISIMULATION; CONCRETE MODEL; FINITE ABSTRACTION; INTERCONNECTION STRUCTURE; LINEAR SUBSYSTEMS;

ABSTRACTING;

EID: 70350029845     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78929-1_37     Document Type: Conference Paper

References (12)

1. Lafferriere, G., Pappas, G.J., Sastry, S.: Hybrid Systems with Finite Bisimulations. In: Antsaklis, P.J., Kohn, W., Lemmon, M.D., Nerode, A., Sastry, S.S. (eds.) HS 1997. LNCS, vol.1567, pp. 186-203. Springer, Heidelberg (1999)
2. Alur, R., Verimag, T.D., Ivancíc, F.: Predicate Abstractions for Reachability Analysis of Hybrid Systems. ACM Trans. on Embedded Computing Systems 5(1), 152-199 (2006)
3. Lunze, J.: A timed discrete-event abstraction of continuous-variable systems. International Journal of Control 72(13), 1147-1164 (1999)
4. Tsumura, K.: Stabilization of Linear Systems by Bit-Memory Controllers under Constraints of Bit-Length. In: 45th IEEE Conference on Decision and Control, San Diego, CA, USA, pp. 5507-5512 (December 2006)
5. Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)
6. Girard, A., Pappas, G.J.: Approximation Metrics for Discrete and Continuous Systems. IEEE Transactions on Automatic Control 52(5), 782-798 (2007)
7. Girard, A.: Approximately Bisimilar Finite Abstractions of Stable Linear Systems. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol.4416, pp. 231-244. Springer, Heidelberg (2007)
8. Tabuada, P.: Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol.4416, pp. 529-542. Springer, Heidelberg (2007)
9. Tabuada, P., Pappas, G.J., Lima, P.: Composing Abstractions of Hybrid Systems. In: Tomlin, C.J., Greenstreet, M.R. (eds.) HSCC 2002. LNCS, vol.2289, pp. 436- 450. Springer, Heidelberg (2002)
10. Tabuada, P., Pappas, G.J., Lima, P.: Compositional Abstractions of Hybrid Control Systems. Discrete Event Dynamic Systems: Theory and Applications 14, 203-238 (2004)
11. Julius, A.A., Pappas, G.J.: Approximate Equivalence and Approximate Synchronization of Metric Transition Systems. In: The Proc. 45th IEEE Conf. Decision and Control, San Diego, USA (2006)
12. Tazaki, Y., Imura, J.: Finite Abstractions of Discrete-time Linear Systems and Its Application to Optimal Control. In: 17th IFAC World Congress, Seoul, Korea (to appear, 2008)