Bisimulation relations for dynamical, control, and hybrid systems

DOI10.1016/J.TCS.2005.03.045zbMATH Open1077.68062OpenAlexW2091316349WikidataQ57582058 ScholiaQ57582058MaRDI QIDQ2566293FDOQ2566293

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

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

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)

Cites Work

• Manifolds, tensor analysis, and applications.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Bisimilar linear systems.
• Universal coalgebra: A theory of systems
• Bisimulation from open maps
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Bisimulation through probabilistic testing
• Bisimilar control affine systems
• Lie algebras and Lie groups. 1964 lectures, given at Harvard University.
• Title not available (Why is that?)
• Barbed bisimulation
• Title not available (Why is that?)
• Bisimulation relations for dynamical and control systems
• Hierarchically consistent control systems
• A special issue on Hybrid systems
• Compositionality issues in discrete, continuous, and hybrid systems
• Hierarchical hybrid control systems: a lattice theoretic formulation
• Open maps, behavioural equivalences, and congruences
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (42)

• Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions
• Theory and computation of discrete state space decompositions for hybrid systems
• A complexity reduction approach to detectability of switching systems
• Topologies, Continuity and Bisimulations
• Approximate bisimulation relations for constrained linear systems
• Hybrid Systems: Computation and Control
• Equivalence of switching linear systems by bisimulation
• Simulation relations and controllability properties of linear and nonlinear control systems
• HYPE: hybrid modelling by composition of flows
• Bisimulations of Boolean Control Networks
• Approximate simulation relations for hybrid systems
• 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
• Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains
• Continuity as a computational effect
• 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
• Title not available (Why is that?)
• Languages and models for hybrid automata: a coalgebraic perspective
• Symbolic models for control systems
• Hybrid automata as coalgebras
• Controller synthesis for bisimulation equivalence
• Low dimensional hybrid systems -- decidable, undecidable, don't know
• Bisimilar control affine systems
• Shape versus Timing: Linear Responses of a Limit Cycle with Hard Boundaries under Instantaneous and Static Perturbation
• Approximate bisimulation: a bridge between computer science and control theory
• Bisimulation conversion and verification procedure for goal-based control systems
• On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems
• Conley's fundamental theorem for a class of hybrid systems
• Specifications for decidable hybrid games
• Hybrid Systems: Computation and Control
• Networks of hybrid open systems
• 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)