Algebraic theory of processes
Manifolds, tensor analysis, and applications: 2nd edition
Manifolds, tensor analysis, and applications: 2nd edition
Bisimulation through probabilistic testing
Information and Computation
Presheaves as transition systems
POMIV '96 Proceedings of the DIMACS workshop on Partial order methods in verification
Open maps, behavioural equivalences, and congruences
Theoretical Computer Science - Special issue: trees in algebra and programming
Universal coalgebra: a theory of systems
Theoretical Computer Science - Modern algebra and its applications
Communication and Concurrency
Nonlinear Control Systems
An Institution of Hybrid Systems
WADT '99 Selected papers from the 14th International Workshop on Recent Trends in Algebraic Development Techniques
ICALP '92 Proceedings of the 19th International Colloquium on Automata, Languages and Programming
Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems
ACSD '01 Proceedings of the Second International Conference on Application of Concurrency to System Design
Bisimulation for Labelled Markov Processes
LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
Automatica (Journal of IFAC)
A framework for comparing models of computation
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Approximate bisimulation relations for constrained linear systems
Automatica (Journal of IFAC)
Approximate Simulation Relations for Hybrid Systems
Discrete Event Dynamic Systems
Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
On simulations and bisimulations of general flow systems
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
On bicontinuous bisimulation and the preservation of stability
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Bisimulation conversion and verification procedure for goal-based control systems
Formal Methods in System Design
Automatica (Journal of IFAC)
Specifications for decidable hybrid games
Theoretical Computer Science
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
A fully automated framework for control of linear systems from LTL specifications
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Reachability analysis of multi-affine systems
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Low dimensional hybrid systems - decidable, undecidable, don't know
Information and Computation
A homology theory for hybrid systems: hybrid homology
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Bisimulation for general stochastic hybrid systems
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
| Hi-index | 5.23 |
The fundamental notion of bisimulation equivalence for concurrent processes, has escaped the world of continuous, and subsequently, hybrid systems. Inspired by the categorical framework of Joyal, Nielsen and Winskel, we develop novel notions of bisimulation equivalence for dynamical systems as well as control systems. We prove that these notions can be captured by the abstract notion of bisimulation as developed by Joyal, Nielsen and Winskel. This is the first unified notion of system equivalence that transcends discrete and continuous systems. Furthermore, this enables the development of a novel and natural notion of bisimulation for hybrid systems, which is the final goal of this paper.