Pages that link to "Item:Q4561445"
From MaRDI portal
The following pages link to Constructing Control System Abstractions from Modular Components (Q4561445):
Displaying 6 items.
- Verification of approximate opacity for switched systems: a compositional approach (Q2060871) (← links)
- Symbolic models for infinite networks of control systems: a compositional approach (Q2074749) (← links)
- Compositional synthesis of finite abstractions for networks of systems: a small-gain approach (Q2280884) (← links)
- Symbolic control design of nonlinear systems with outputs (Q2280917) (← links)
- Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions (Q2303884) (← links)
- Compositional synthesis of opacity-preserving finite abstractions for interconnected systems (Q2665387) (← links)
