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
- 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?)
- 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
- 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 Verification Using Simulation
- Temporal logic motion planning for dynamic robots
- Verification and Control of Hybrid Systems
- Verification of Supervisory Control Software Using State Proximity and Merging
Cited in
(26)- Abstraction-based control synthesis using partial information
- Relational differential dynamic logic
- Deadlock-free output feedback controller design based on approximately abstracted observers
- Constructing simulation relations for IDO systems affine in inputs and disturbances
- Approximate bisimulation relations for constrained linear systems
- Combinatorial methods for invariance and safety of hybrid systems
- scientific article; zbMATH DE number 1794369 (Why is no real title available?)
- Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications
- Asynchronous correspondences between hybrid trajectory semantics
- Hybrid automata as coalgebras
- Fibrational bisimulations and quantitative reasoning
- Symbolic control design of nonlinear systems with outputs
- Compatibility of refining and controlling plant automata with bisimulation quotients
- Approximate simulation relations for hybrid systems
- On distributed symbolic control of interconnected systems under persistency specifications
- Approximate equivalence and synchronization of metric transition systems
- Hierarchical Control of Linear Systems from the Abstraction Feedback Gain
- Approximately Bisimilar Finite Abstractions of Stable Linear Systems
- scientific article; zbMATH DE number 7471703 (Why is no real title available?)
- Characterization and computation of approximate bisimulations for fuzzy automata
- Languages and models for hybrid automata: a coalgebraic perspective
- scientific article; zbMATH DE number 2017358 (Why is no real title available?)
- Exact hierarchical reductions of dynamical models via linear transformations
- A modal characterization of alternating approximate bisimilarity
- Approximate bisimulation and optimization of software programs based on symbolic-numeric computation
- Computing bisimulation functions using SOS optimization and \(\delta\)-decidability over the reals
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)
