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):
Displayed 10 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)
- How adaptive and reliable is your program? (Q2117013) (← 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)
