Approximate simulation relations for hybrid systems
From MaRDI portal
Recommendations
- Approximate bisimulation: a bridge between computer science and control theory
- Approximately Bisimilar Finite Abstractions of Stable Linear Systems
- Approximate bisimulation relations for constrained linear systems
- Approximate equivalence of the hybrid automata with Taylor theory
- Hybrid Systems: Computation and Control
Cites work
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- Approximate bisimulation relations for constrained linear systems
- Approximation Metrics for Discrete and Continuous Systems
- Automata, Languages and Programming
- Bisimilar linear systems.
- Bisimulation relations for dynamical, control, and hybrid systems
- Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Inverse Optimality in Robust Stabilization
- Metrics for labelled Markov processes
- SOSTOOLS and Its Control Applications
- Symbolic models for control systems
- The algorithmic analysis of hybrid systems
- Universal construction of feedback laws achieving ISS and integral-ISS disturbance attenuation
Cited in
(35)- Trajectory-based theory for hybrid systems
- Approximate bisimulation relations for constrained linear systems
- Stabilization of finite automata with application to hybrid systems control
- Approximate bisimulation and discretization of hybrid CSP
- Model reduction of switched affine systems
- Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems
- Generic asymptotic error estimates for the numerical simulation of hybrid systems
- Order-reduction abstractions for safety verification of high-dimensional linear systems
- Proving approximate implementations for probabilistic I/O automata
- Asynchronous correspondences between hybrid trajectory semantics
- Approximate predictability of pseudo-metric systems
- Hybrid Systems: Computation and Control
- Minimum Attention Controller Synthesis for Omega-Regular Objectives
- A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata
- Bisimulations for neural network reduction
- Taylor approximation for hybrid systems
- scientific article; zbMATH DE number 4035222 (Why is no real title available?)
- Approximate bisimulation: a bridge between computer science and control theory
- Approximate equivalence and synchronization of metric transition systems
- On Timed Simulation Relations for Hybrid Systems and Compositionality
- Approximately Bisimilar Finite Abstractions of Stable Linear Systems
- Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
- Approximate equivalence of the hybrid automata with Taylor theory
- scientific article; zbMATH DE number 7471703 (Why is no real title available?)
- Crossing the Bridge between Similar Games
- Discrete semantics for hybrid automata. Avoiding misleading assumptions in systems biology
- Characterization and computation of approximate bisimulations for fuzzy automata
- Hybrid Systems: Computation and Control
- Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems
- Simulation relations and applications in formal methods
- Event-B refinement for continuous behaviours approximation
- Balanced truncation for linear switched systems
- A modal characterization of alternating approximate bisimilarity
- Approximate bisimulation and optimization of software programs based on symbolic-numeric computation
This page was built for publication: Approximate simulation relations for hybrid systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q939013)
