The following pages link to Sean Summers (Q503161):
Displaying 10 items.
- Control synthesis for stochastic systems given automata specifications defined by stochastic sets (Q503162) (← links)
- Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem (Q624936) (← links)
- A stochastic games framework for verification and control of discrete time stochastic hybrid systems (Q2628473) (← links)
- Stochastic system controller synthesis for reachability specifications encoded by random sets (Q2628510) (← links)
- On the connections between PCTL and dynamic programming (Q2985889) (← links)
- A stochastic reach-avoid problem with random obstacles (Q2986736) (← links)
- Control design for specifications on stochastic hybrid systems (Q2986935) (← links)
- Local Identification of Piecewise Deterministic Models of Genetic Networks (Q3624566) (← links)
- A Set-Theoretic Method for Verifying Feasibility of a Fast Explicit Nonlinear Model Predictive Controller (Q5259014) (← links)
- A Multiresolution Approximation Method for Fast Explicit Model Predictive Control (Q5347885) (← links)
