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 13 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)
- Compositional abstraction-based synthesis for networks of stochastic switched systems (Q2174019) (← links)
- Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach (Q2178236) (← links)
- Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems (Q2220062) (← links)
- Compositional construction of infinite abstractions for networks of stochastic control systems (Q2280818) (← 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)
- Compositional Abstraction for Networks of Control Systems: A Dissipativity Approach (Q4630123) (← links)
- (Q5422275) (← links)
- Finite-step alternating approximately bi-similar symbolic model for Markov jump systems (Q6569388) (← links)