Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models
From MaRDI portal
Cited in
(29)- Optimal multirate sampling in symbolic models for incrementally stable switched systems
- On distributed symbolic control of interconnected systems under persistency specifications
- Lazy controller synthesis for monotone transition systems and directed safety specifications
- Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface
- Learning-based symbolic abstractions for nonlinear control systems
- How adaptive and reliable is your program?
- Approximately bisimilar symbolic model for switched systems with unstable subsystems
- Approximate abstractions of control systems with an application to aggregation
- Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems
- Optimal switching of switched systems with time delay in discrete time
- Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions
- Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications
- Abstraction-based control synthesis using partial information
- Scalable Safety-Preserving Robust Control Synthesis for Continuous-Time Linear Systems
- Lazy abstraction-based controller synthesis
- Lyapunov-barrier characterization of robust reach-avoid-stay specifications for hybrid systems
- ABS: A formally correct software tool for space-efficient symbolic synthesis
- Symbolic control for stochastic systems via finite parity games
- Sensitivity analysis for the optimization of switched dynamical processes with state-dependent switching conditions and its application
- Robust exponential stability analysis of switched systems under switching boundary mismatch
- Optimal mixed discrete-continuous planning for linear hybrid systems
- Data-driven verification and synthesis of stochastic systems via barrier certificates
- Finite-step alternating approximately bi-similar symbolic model for Markov jump systems
- A contract negotiation scheme for safety verification of interconnected systems
- Decentralized prescribed-time input-to-state stabilization for interconnected normal form nonlinear systems
- Incremental finite-step input-to-state stability for network of discrete-time switched systems
- Estimator design of switched linear systems under unknown persistent excitation
- Compositional abstraction synthesis for interconnected switched systems with incrementally non-passive modes
- Symbolic models for switched systems with ranged dwell-times
This page was built for publication: Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2980524)
