Bisimulation relations for dynamical, control, and hybrid systems

DOI10.1016/j.tcs.2005.03.045zbMath1077.68062OpenAlexW2091316349WikidataQ57582058 ScholiaQ57582058MaRDI QIDQ2566293

Esfandiar Haghverdi, George J. Pappas, Paulo Tabuada

Publication date: 22 September 2005

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://repository.upenn.edu/ese_papers/171

zbMATH Keywords

Dynamical systemsHybrid systemsBisimulationControl systemsOpen maps

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Continuity as a computational effect, Verification of Hybrid Systems, Hybrid Automata as Coalgebras, HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour, Symbolic models for control systems, Differential Bisimulation for a Markovian Process Algebra, Theory and computation of discrete state space decompositions for hybrid systems, Low dimensional hybrid systems -- decidable, undecidable, don't know, Smooth coalgebra: testing vector analysis, Bisimulation conversion and verification procedure for goal-based control systems, Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions, Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains, Specifications for decidable hybrid games, A computational approach to synthesizing guards for hybrid systems, Quantifying conformance using the Skorokhod metric, HYPE: hybrid modelling by composition of flows, Approximate simulation relations for hybrid systems, Approximate bisimulation relations for constrained linear systems, Approximate bisimulation: a bridge between computer science and control theory, Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm, On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems, A complexity reduction approach to detectability of switching systems, Languages and models for hybrid automata: a coalgebraic perspective, Formal composition of hybrid systems, Networks of hybrid open systems, Existence and Verification for Decentralized Nondeterministic Discrete-Event Systems Under Bisimulation Equivalence, Necessary conditions for feedback stabilization and safety, Shape versus Timing: Linear Responses of a Limit Cycle with Hard Boundaries under Instantaneous and Static Perturbation, Conley's Fundamental Theorem for a Class of Hybrid Systems, Simulation Relations and Controllability Properties of Linear and Nonlinear Control Systems

Cites Work

• Bisimulation through probabilistic testing
• Manifolds, tensor analysis, and applications.
• Lie algebras and Lie groups. 1964 lectures, given at Harvard University.
• Open maps, behavioural equivalences, and congruences
• Bisimilar linear systems.
• Universal coalgebra: A theory of systems
• A special issue on Hybrid systems
• Bisimulation from open maps
• Bisimilar control affine systems
• Compositionality issues in discrete, continuous, and hybrid systems
• Bisimulation Relations for Dynamical and Control Systems
• Hierarchical hybrid control systems: a lattice theoretic formulation
• Hierarchically consistent control systems
• Barbed bisimulation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item