Pages that link to "Item:Q2280884"
From MaRDI portal
The following pages link to Compositional synthesis of finite abstractions for networks of systems: a small-gain approach (Q2280884):
Displaying 6 items.
- Lazy controller synthesis for monotone transition systems and directed safety specifications (Q2059378) (← links)
- 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 construction of abstractions for infinite networks of discrete-time switched systems (Q2123412) (← 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)
