Bisimulation relations for dynamical, control, and hybrid systems

DOI10.1016/J.TCS.2005.03.045MaRDI QIDQ2566293zbMATH OpenOpenAlexWikidataFDO

Authors Esfandiar Haghverdi, George 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

BisimulationDynamical systemsHybrid systemsControl 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)

Recommendations

• Bisimulation relations for dynamical and control systems
• Hybrid Systems: Computation and Control
• Bisimilar control affine systems
• On Bicontinuous Bisimulation and the Preservation of Stability
• Bisimulation equivalence of differential-algebraic systems

Cites work

• scientific article; zbMATH DE number 1617300 (Why is no real title available?)
• scientific article; zbMATH DE number 4176921 (Why is no real title available?)
• scientific article; zbMATH DE number 3960432 (Why is no real title available?)
• scientific article; zbMATH DE number 3686283 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• scientific article; zbMATH DE number 1059325 (Why is no real title available?)
• scientific article; zbMATH DE number 2080769 (Why is no real title available?)
• scientific article; zbMATH DE number 205892 (Why is no real title available?)
• scientific article; zbMATH DE number 3365976 (Why is no real title available?)
• A special issue on Hybrid systems
• Barbed bisimulation
• Bisimilar control affine systems
• Bisimilar linear systems.
• Bisimulation from open maps
• Bisimulation relations for dynamical and control systems
• Bisimulation through probabilistic testing
• Compositionality issues in discrete, continuous, and hybrid systems
• Hierarchical hybrid control systems: a lattice theoretic formulation
• Hierarchically consistent control systems
• Lie algebras and Lie groups. 1964 lectures, given at Harvard University.
• Manifolds, tensor analysis, and applications.
• Open maps, behavioural equivalences, and congruences
• Universal coalgebra: A theory of systems

Cited in

(42)

• Theory and computation of discrete state space decompositions for hybrid systems
• Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions
• A complexity reduction approach to detectability of switching systems
• Approximate bisimulation relations for constrained linear systems
• Topologies, Continuity and Bisimulations
• Hybrid Systems: Computation and Control
• HYPE: hybrid modelling by composition of flows
• Equivalence of switching linear systems by bisimulation
• Simulation relations and controllability properties of linear and nonlinear control systems
• Approximate simulation relations for hybrid systems
• Bisimulations of Boolean Control Networks
• Existence and verification for decentralized nondeterministic discrete-event systems under bisimulation equivalence
• On Simulations and Bisimulations of General Flow Systems
• Formal composition of hybrid systems
• Bisimulation relations for dynamical and control systems
• Smooth coalgebra: testing vector analysis
• Quantifying conformance using the Skorokhod metric
• Compatibility of refining and controlling plant automata with bisimulation quotients
• Continuity as a computational effect
• Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains
• A computational approach to synthesizing guards for hybrid systems
• Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
• Verification of Hybrid Systems
• Symbolic models for control systems
• Languages and models for hybrid automata: a coalgebraic perspective
• Low dimensional hybrid systems -- decidable, undecidable, don't know
• scientific article; zbMATH DE number 1759488 (Why is no real title available?)
• Controller synthesis for bisimulation equivalence
• Hybrid automata as coalgebras
• Bisimilar control affine systems
• Approximate bisimulation: a bridge between computer science and control theory
• Bisimulation conversion and verification procedure for goal-based control systems
• Shape versus Timing: Linear Responses of a Limit Cycle with Hard Boundaries under Instantaneous and Static Perturbation
• On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems
• Specifications for decidable hybrid games
• Conley's fundamental theorem for a class of hybrid systems
• Networks of hybrid open systems
• Hybrid Systems: Computation and Control
• Differential bisimulation for a Markovian process algebra
• Necessary conditions for feedback stabilization and safety
• On Bicontinuous Bisimulation and the Preservation of Stability
• HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour

This page was built for publication: Bisimulation relations for dynamical, control, and hybrid systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2566293)