Approximate bisimulation: a bridge between computer science and control theory
From MaRDI portal
Publication:693690
DOI10.3166/EJC.17.568-578zbMATH Open1253.68241OpenAlexW1997070622WikidataQ57581726 ScholiaQ57581726MaRDI QIDQ693690FDOQ693690
Authors: Antoine Girard, George Pappas 
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
Recommendations
- Controller synthesis for safety and reachability via approximate bisimulation
- scientific article; zbMATH DE number 1444344
- Bisimulation relations for dynamical, control, and hybrid systems
- Symbolic models for nonlinear control systems: alternating approximate bisimulations
- Bisimulation relations for dynamical and control systems
- Controller synthesis for bisimulation equivalence
- scientific article; zbMATH DE number 1794369
- Control of Nondeterministic Systems for Bisimulation Equivalence Under Partial Information
- Low-complexity quantized switching controllers using approximate bisimulation
Application models in control theory (93C95) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Approximate bisimulation relations for constrained linear systems
- Switching in systems and control
- Symbolic models for nonlinear time-delay systems using approximate bisimulations
- A Lyapunov approach to incremental stability properties
- Bisimilar linear systems.
- Verification and Control of Hybrid Systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Approximately bisimilar symbolic models for nonlinear control systems
- Approximations of Stochastic Hybrid Systems
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- Approximation Metrics for Discrete and Continuous Systems
- Metrics for labelled Markov processes
- A survey of model reduction methods for large-scale systems.
- Temporal logic motion planning for dynamic robots
- Symbolic models for nonlinear control systems: alternating approximate bisimulations
- Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
- Bisimulation relations for dynamical, control, and hybrid systems
- CONCUR 2005 – Concurrency Theory
- Equivalence of Dynamical Systems by Bisimulation
- Quantitative relations and approximate process equivalences.
- Hierarchical control system design using approximate simulation
- Verification of Supervisory Control Software Using State Proximity and Merging
- Synthesis using approximately bisimilar abstractions, state-feedback controllers for safety specifications
- An Approximate Simulation Approach to Symbolic Control
- Synthesis of switching controllers using approximately bisimilar multiscale abstractions
- Approximately Bisimilar Finite Abstractions of Stable Linear Systems
- Title not available (Why is that?)
- Approximate equivalence and synchronization of metric transition systems
- Title not available (Why is that?)
- Crossing the Bridge between Similar Games
- Temporal Logic Verification Using Simulation
- Robust Test Generation and Coverage for Hybrid Systems
- Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer
- Hybrid Systems: Computation and Control
- Approximate simulation relations for hybrid systems
Cited In (26)
- Title not available (Why is that?)
- Approximate bisimulation relations for constrained linear systems
- Relational differential dynamic logic
- Deadlock-free output feedback controller design based on approximately abstracted observers
- Approximate simulation relations for hybrid systems
- Approximately Bisimilar Finite Abstractions of Stable Linear Systems
- On distributed symbolic control of interconnected systems under persistency specifications
- Characterization and computation of approximate bisimulations for fuzzy automata
- Computing bisimulation functions using SOS optimization and \(\delta\)-decidability over the reals
- Compatibility of refining and controlling plant automata with bisimulation quotients
- Approximate bisimulation and optimization of software programs based on symbolic-numeric computation
- Title not available (Why is that?)
- Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications
- Title not available (Why is that?)
- Languages and models for hybrid automata: a coalgebraic perspective
- Hybrid automata as coalgebras
- A modal characterization of alternating approximate bisimilarity
- Abstraction-based control synthesis using partial information
- Hierarchical Control of Linear Systems from the Abstraction Feedback Gain
- Symbolic control design of nonlinear systems with outputs
- Constructing simulation relations for IDO systems affine in inputs and disturbances
- Combinatorial methods for invariance and safety of hybrid systems
- Approximate equivalence and synchronization of metric transition systems
- Asynchronous correspondences between hybrid trajectory semantics
- Exact hierarchical reductions of dynamical models via linear transformations
- Fibrational bisimulations and quantitative reasoning
Uses Software
This page was built for publication: Approximate bisimulation: a bridge between computer science and control theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q693690)
