Pages that link to "Item:Q2081792"
From MaRDI portal
The following pages link to Compositional construction of control barrier functions for continuous-time stochastic hybrid systems (Q2081792):
Displaying 4 items.
- Compositional synthesis of control barrier certificates for networks of stochastic systems against \(\omega\)-regular specifications (Q6122791) (← links)
- Formal controller synthesis for Markov jump linear systems with uncertain dynamics (Q6546444) (← links)
- Finite-step alternating approximately bi-similar symbolic model for Markov jump systems (Q6569388) (← links)
- Adaptive robust safety-critical control of switched systems via single barrier function (Q6647033) (← links)
