Sean Summers

Available identifiers

zbMath Open summers.seanMaRDI QIDQ503161

List of research outcomes

Publication	Date of Publication	Type
A Multiresolution Approximation Method for Fast Explicit Model Predictive Control	2017-08-25	Paper
A stochastic games framework for verification and control of discrete time stochastic hybrid systems	2017-06-02	Paper
Stochastic system controller synthesis for reachability specifications encoded by random sets	2017-06-02	Paper
A stochastic reach-avoid problem with random obstacles	2017-05-16	Paper
Control design for specifications on stochastic hybrid systems	2017-05-16	Paper
On the connections between PCTL and dynamic programming	2017-05-10	Paper
Control synthesis for stochastic systems given automata specifications defined by stochastic sets	2017-01-11	Paper
A Set-Theoretic Method for Verifying Feasibility of a Fast Explicit Nonlinear Model Predictive Controller	2015-06-24	Paper
Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem	2011-02-11	Paper
Local Identification of Piecewise Deterministic Models of Genetic Networks	2009-04-30	Paper

Research outcomes over time

This page was built for person: Sean Summers