Sean Summers

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A Multiresolution Approximation Method for Fast Explicit Model Predictive Control IEEE Transactions on Automatic Control	2017-08-25	Paper
A stochastic games framework for verification and control of discrete time stochastic hybrid systems Automatica	2017-06-02	Paper
Stochastic system controller synthesis for reachability specifications encoded by random sets Automatica	2017-06-02	Paper
A stochastic reach-avoid problem with random obstacles Proceedings of the 14th international conference on Hybrid systems: computation and control	2017-05-16	Paper
Control design for specifications on stochastic hybrid systems Proceedings of the 16th international conference on Hybrid systems: computation and control	2017-05-16	Paper
On the connections between PCTL and dynamic programming Proceedings of the 13th ACM international conference on Hybrid systems: computation and control	2017-05-10	Paper
Control synthesis for stochastic systems given automata specifications defined by stochastic sets Automatica	2017-01-11	Paper
A set-theoretic method for verifying feasibility of a fast explicit nonlinear model predictive controller Distributed Decision Making and Control	2015-06-24	Paper
Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem Automatica	2011-02-11	Paper
Local Identification of Piecewise Deterministic Models of Genetic Networks Hybrid Systems: Computation and Control	2009-04-30	Paper

Research outcomes over time

This page was built for person: Sean Summers