Abstract
This paper addresses the design of approximately bisimilar finite abstractions of systems that are composed of the interconnection of smaller subsystems. First, it is shown that the ordinary notion of approximate bisimulation does not preserve the interconnection structure of the concrete model. Next, a new definition of approximate bisimulation that is compatible with interconnection is proposed. Based on this definition of approximate bisimulation, the design of interconnection-compatible finite abstractions of linear subsystems is discussed.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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)
Alur, R., Verimag, T.D., Ivančić, F.: Predicate Abstractions for Reachability Analysis of Hybrid Systems. ACM Trans. on Embedded Computing Systems 5(1), 152–199 (2006)
Lunze, J.: A timed discrete-event abstraction of continuous-variable systems. International Journal of Control 72(13), 1147–1164 (1999)
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)
Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)
Girard, A., Pappas, G.J.: Approximation Metrics for Discrete and Continuous Systems. IEEE Transactions on Automatic Control 52(5), 782–798 (2007)
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)
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)
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)
Tabuada, P., Pappas, G.J., Lima, P.: Compositional Abstractions of Hybrid Control Systems. Discrete Event Dynamic Systems: Theory and Applications 14, 203–238 (2004)
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)
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)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tazaki, Y., Imura, Ji. (2008). Bisimilar Finite Abstractions of Interconnected Systems. In: Egerstedt, M., Mishra, B. (eds) Hybrid Systems: Computation and Control. HSCC 2008. Lecture Notes in Computer Science, vol 4981. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78929-1_37
Download citation
DOI: https://doi.org/10.1007/978-3-540-78929-1_37
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-78928-4
Online ISBN: 978-3-540-78929-1
eBook Packages: Computer ScienceComputer Science (R0)