Pages that link to "Item:Q2980524"
From MaRDI portal
The following pages link to Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models (Q2980524):
Displaying 17 items.
- Optimal multirate sampling in symbolic models for incrementally stable switched systems (Q1716572) (← links)
- On distributed symbolic control of interconnected systems under persistency specifications (Q2023566) (← links)
- Lazy controller synthesis for monotone transition systems and directed safety specifications (Q2059378) (← links)
- Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface (Q2081803) (← links)
- Learning-based symbolic abstractions for nonlinear control systems (Q2097817) (← links)
- How adaptive and reliable is your program? (Q2117013) (← links)
- Approximately bisimilar symbolic model for switched systems with unstable subsystems (Q2148459) (← links)
- Approximate abstractions of control systems with an application to aggregation (Q2207200) (← links)
- Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems (Q2220062) (← links)
- Optimal switching of switched systems with time delay in discrete time (Q2288698) (← links)
- Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions (Q2303884) (← links)
- Abstraction-based control synthesis using partial information (Q2667508) (← links)
- Lazy Abstraction-Based Controller Synthesis (Q3297583) (← links)
- Lyapunov-barrier characterization of robust reach-avoid-stay specifications for hybrid systems (Q6116266) (← links)
- Symbolic control for stochastic systems via finite parity games (Q6122792) (← links)
- Sensitivity analysis for the optimization of switched dynamical processes with state-dependent switching conditions and its application (Q6175341) (← links)
- Robust exponential stability analysis of switched systems under switching boundary mismatch (Q6194538) (← links)
