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

BisimulationControl systemsDynamical systemsHybrid systemsOpen maps

Mathematics Subject Classification ID

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

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

• 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
• 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?)
• 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

(43)

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

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)