Pages that link to "Item:Q4630123"
From MaRDI portal
The following pages link to Compositional Abstraction for Networks of Control Systems: A Dissipativity Approach (Q4630123):
Displaying 15 items.
- Symbolic models for infinite networks of control systems: a compositional approach (Q2074749) (← links)
- Compositional construction of control barrier functions for continuous-time stochastic hybrid systems (Q2081792) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations (Q2103672) (← links)
- Compositional construction of abstractions for infinite networks of discrete-time switched systems (Q2123412) (← links)
- PuRSUE -- from specification of robotic environments to synthesis of controllers (Q2198133) (← links)
- Passivity-based analysis of sampled and quantized control implementations (Q2207198) (← links)
- Approximate abstractions of control systems with an application to aggregation (Q2207200) (← links)
- Compositional construction of infinite abstractions for networks of stochastic control systems (Q2280818) (← links)
- Assume-guarantee contracts for continuous-time systems (Q2665717) (← links)
- A Compositional Framework for Passive Linear Networks (Q4555338) (← links)
- Compositional Construction of Approximate Abstractions of Interconnected Control Systems (Q4560092) (← links)
- Symbolic Abstractions of Networked Control Systems (Q4630189) (← links)
- Compositional abstraction for networks of control systems: A dissipativity approach (Q6276240) (← links)
- Data-driven verification and synthesis of stochastic systems via barrier certificates (Q6537278) (← links)
