Pages that link to "Item:Q5703946"
From MaRDI portal
The following pages link to Hybrid Systems: Computation and Control (Q5703946):
Displayed 11 items.
- ToolboxLS (Q18443) (← links)
- The stochastic reach-avoid problem and set characterization for diffusions (Q290823) (← links)
- The flexible, extensible and efficient toolbox of level set methods (Q618363) (← links)
- Hybridization methods for the analysis of nonlinear systems (Q868432) (← links)
- A unifying formulation of the Fokker-Planck-Kolmogorov equation for general stochastic hybrid systems (Q988793) (← links)
- A dynamic game approach to distributionally robust safety specifications for stochastic systems (Q1797093) (← links)
- Safety preserving control synthesis for sampled data systems (Q2252964) (← links)
- Lagrangian methods for approximating the viability kernel in high-dimensional systems (Q2356655) (← links)
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems (Q2377974) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- Solving a Bernoulli type free boundary problem with random diffusion (Q5126398) (← links)