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.