Bisimulation relations for dynamical, control, and hybrid systems
暂无分享,去创建一个
[1] W. Fulton,et al. Lie Algebras and Lie Groups , 2004 .
[2] George J. Pappas. Bisimilar linear systems , 2003, Autom..
[3] Paulo Tabuada,et al. Bisimulation Relations for Dynamical and Control Systems , 2003, CTCS.
[4] George J. Pappas,et al. Bisimilar control affine systems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..
[5] Jan Komenda,et al. Coalgebra and Supervisory Control with Partial Observations , 2002 .
[6] Alberto L. Sangiovanni-Vincentelli,et al. Overcoming heterophobia: modeling concurrency in heterogeneous systems , 2001, Proceedings Second International Conference on Application of Concurrency to System Design.
[7] J. M. Schumacher,et al. Compositionality issues in discrete, continuous, and hybrid systems , 2001 .
[8] Jan J. M. M. Rutten,et al. Universal coalgebra: a theory of systems , 2000, Theor. Comput. Sci..
[9] Panos J. Antsaklis,et al. Special issue on hybrid systems: theory and applications a brief introduction to the theory and applications of hybrid systems , 2000, Proc. IEEE.
[10] S. Shankar Sastry,et al. Hierarchically consistent control systems , 2000, IEEE Trans. Autom. Control..
[11] Amílcar Sernadas,et al. An Institution of Hybrid Systems , 1999, WADT.
[12] van Jh Jan Schuppen,et al. Equivalences of discrete-event systems and of hybrid systems , 1999 .
[13] Edward A. Lee,et al. A framework for comparing models of computation , 1998, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[14] A. Nerode,et al. Hybrid Control Systems: An Introductory Discussion to the Special Issue , 1998, IEEE Trans. Autom. Control..
[15] P. Caines,et al. Hierarchical hybrid control systems: a lattice theoretic formulation , 1998, IEEE Trans. Autom. Control..
[16] Mogens Nielsen,et al. Open Maps, Behavioural Equivalences, and Congruences , 1996, Theor. Comput. Sci..
[17] Abbas Edalat,et al. Bisimulation for labelled Markov processes , 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
[18] Glynn Winskel,et al. Presheaves as transition systems , 1997, Partial Order Methods in Verification.
[19] Glynn Winskel,et al. Bisimulation from Open Maps , 1994, Inf. Comput..
[20] P. Michor,et al. Natural operations in differential geometry , 1993 .
[21] Robin Milner,et al. Barbed Bisimulation , 1992, ICALP.
[22] Kim G. Larsen,et al. Bisimulation through Probabilistic Testing , 1991, Inf. Comput..
[23] Dominick Samperi,et al. On open maps , 1989 .
[24] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[25] R. Abraham,et al. Manifolds, tensor analysis, and applications: 2nd edition , 1988 .
[26] Matthew Hennessy,et al. Algebraic theory of processes , 1988, MIT Press series in the foundations of computing.
[27] R. Abraham,et al. Manifolds, Tensor Analysis, and Applications , 1983 .
[28] M. Spivak. A comprehensive introduction to differential geometry , 1979 .
[29] W. Boothby. An introduction to differentiable manifolds and Riemannian geometry , 1975 .
[30] C. Wall,et al. Lie Algebras And Lie Groups , 1967, The Mathematical Gazette.