Approximate bisimulation: a bridge between computer science and control theory
From MaRDI portal
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
Cites work
- A Lyapunov approach to incremental stability properties
- A survey of model reduction methods for large-scale systems.
- An Approximate Simulation Approach to Symbolic Control
- Approximate bisimulation relations for constrained linear systems
- Approximate equivalence and synchronization of metric transition systems
- Approximate simulation relations for hybrid systems
- Approximately Bisimilar Finite Abstractions of Stable Linear Systems
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- Approximately bisimilar symbolic models for nonlinear control systems
- Approximation Metrics for Discrete and Continuous Systems
- Approximations of Stochastic Hybrid Systems
- Bisimilar linear systems.
- Bisimulation relations for dynamical, control, and hybrid systems
- CONCUR 2005 – Concurrency Theory
- Crossing the Bridge between Similar Games
- Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer
- Equivalence of Dynamical Systems by Bisimulation
- Hierarchical control system design using approximate simulation
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 1956514 (Why is no real title available?)
- scientific article; zbMATH DE number 2017358 (Why is no real title available?)
- scientific article; zbMATH DE number 3365976 (Why is no real title available?)
- Hybrid Systems: Computation and Control
- Metrics for labelled Markov processes
- Quantitative relations and approximate process equivalences.
- Robust Test Generation and Coverage for Hybrid Systems
- Switching in systems and control
- Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
- Symbolic models for nonlinear control systems: alternating approximate bisimulations
- Symbolic models for nonlinear time-delay systems using approximate bisimulations
- Synthesis of switching controllers using approximately bisimilar multiscale abstractions
- Synthesis using approximately bisimilar abstractions, state-feedback controllers for safety specifications
- Temporal logic motion planning for dynamic robots
- Temporal Logic Verification Using Simulation
- Verification and Control of Hybrid Systems
- Verification of Supervisory Control Software Using State Proximity and Merging
Cited in
(29)- Approximate equivalence and synchronization of metric transition systems
- Combinatorial methods for invariance and safety of hybrid systems
- Deadlock-free output feedback controller design based on approximately abstracted observers
- Languages and models for hybrid automata: a coalgebraic perspective
- Fibrational bisimulations and quantitative reasoning
- On distributed symbolic control of interconnected systems under persistency specifications
- Symbolic control design of nonlinear systems with outputs
- Approximate bisimulation relations for constrained linear systems
- Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications
- Abstraction-based control synthesis using partial information
- Hierarchical Control of Linear Systems from the Abstraction Feedback Gain
- Computing bisimulation functions using SOS optimization and -decidability over the reals
- Hybrid automata as coalgebras
- Approximately Bisimilar Finite Abstractions of Stable Linear Systems
- scientific article; zbMATH DE number 2017358 (Why is no real title available?)
- scientific article; zbMATH DE number 1794369 (Why is no real title available?)
- Approximate bisimulation and optimization of software programs based on symbolic-numeric computation
- A modal characterization of alternating approximate bisimilarity
- Constructing simulation relations for IDO systems affine in inputs and disturbances
- Conformance relations and hyperproperties for doping detection in time and space
- Relational differential dynamic logic
- Characterization and computation of approximate bisimulations for fuzzy automata
- Asynchronous correspondences between hybrid trajectory semantics
- Exact hierarchical reductions of dynamical models via linear transformations
- Compatibility of refining and controlling plant automata with bisimulation quotients
- Robust output feedback hierarchical control for a class of non-linear systems
- Resilient abstraction-based hierarchical control of linear systems
- Explainability is a game for probabilistic bisimilarity distances
- Approximate simulation relations for hybrid systems
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)
