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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Sean Summers