Approximate bisimulation: a bridge between computer science and control theory
From MaRDI portal
Publication:693690
DOI10.3166/ejc.17.568-578zbMath1253.68241OpenAlexW1997070622WikidataQ57581726 ScholiaQ57581726MaRDI QIDQ693690
George J. Pappas, Antoine Girard
Publication date: 8 December 2012
Published in: European Journal of Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3166/ejc.17.568-578
Application models in control theory (93C95) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Relational Differential Dynamic Logic ⋮ Hybrid Automata as Coalgebras ⋮ Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications ⋮ Abstraction-based control synthesis using partial information ⋮ Characterization and computation of approximate bisimulations for fuzzy automata ⋮ Asynchronous correspondences between hybrid trajectory semantics ⋮ Exact hierarchical reductions of dynamical models via linear transformations ⋮ Hierarchical Control of Linear Systems from the Abstraction Feedback Gain ⋮ Combinatorial methods for invariance and safety of hybrid systems ⋮ Unnamed Item ⋮ Deadlock-free output feedback controller design based on approximately abstracted observers ⋮ A modal characterization of alternating approximate bisimilarity ⋮ Constructing simulation relations for IDO systems affine in inputs and disturbances ⋮ On distributed symbolic control of interconnected systems under persistency specifications ⋮ Languages and models for hybrid automata: a coalgebraic perspective ⋮ Symbolic control design of nonlinear systems with outputs ⋮ Fibrational bisimulations and quantitative reasoning
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Metrics for labelled Markov processes
- Approximate simulation relations for hybrid systems
- Approximate equivalence and synchronization of metric transition systems
- Approximately bisimilar symbolic models for nonlinear control systems
- Temporal logic motion planning for dynamic robots
- Hierarchical control system design using approximate simulation
- Switching in systems and control
- Bisimilar linear systems.
- Symbolic models for nonlinear time-delay systems using approximate bisimulations
- Approximate bisimulation relations for constrained linear systems
- Bisimulation relations for dynamical, control, and hybrid systems
- Synthesis using approximately bisimilar abstractions
- Synthesis of switching controllers using approximately bisimilar multiscale abstractions
- Crossing the Bridge between Similar Games
- Temporal Logic Verification Using Simulation
- Verification of Supervisory Control Software Using State Proximity and Merging
- Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations
- Approximately Bisimilar Finite Abstractions of Stable Linear Systems
- Robust Test Generation and Coverage for Hybrid Systems
- Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer
- Verification and Control of Hybrid Systems
- An Approximate Simulation Approach to Symbolic Control
- Approximations of Stochastic Hybrid Systems
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- A Lyapunov approach to incremental stability properties
- Equivalence of Dynamical Systems by Bisimulation
- Approximation Metrics for Discrete and Continuous Systems
- Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
- CONCUR 2005 – Concurrency Theory
- Hybrid Systems: Computation and Control
- CONCUR 2003 - Concurrency Theory
