Pages that link to "Item:Q4990152"
From MaRDI portal
The following pages link to Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems (Q4990152):
Displaying 6 items.
- 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)
- Symbolic models for infinite networks of control systems: a compositional approach (Q2074749) (← links)
- Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface (Q2081803) (← links)
- Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions (Q2303884) (← links)
- Assume-guarantee contracts for continuous-time systems (Q2665717) (← links)