Pages that link to "Item:Q5282200"
From MaRDI portal
The following pages link to A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates (Q5282200):
Displayed 9 items.
- Maximizing the probability of attaining a target prior to extinction (Q547917) (← links)
- Computing differential invariants of hybrid systems as fixed points (Q1039853) (← links)
- Computation of polytopic invariants for polynomial dynamical systems using linear programming (Q1932703) (← links)
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems (Q2377974) (← links)
- Computing sum of squares decompositions with rational coefficients (Q2378506) (← links)
- Transverse contraction criteria for existence, stability, and robustness of a limit cycle (Q2440014) (← links)
- Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants (Q2842646) (← links)
- Computing Differential Invariants of Hybrid Systems as Fixedpoints (Q3512492) (← links)
- Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs (Q5200042) (← links)