Sean Summers

Publication Activity (10 Years)

Years Active: 2007-2017
Publications (10 Years): 1

Top Topics

Approximate Dynamic Programming

Top Venues

Publications

Maryam Kamgarpour, Tony A. Wood, Sean Summers, John Lygeros
Control synthesis for stochastic systems given automata specifications defined by stochastic sets. Autom. 76 (2017)
Tyler H. Summers, Konstantin Kunz, Nikolaos Kariotoglou, Maryam Kamgarpour, Sean Summers, John Lygeros
Approximate dynamic programming via sum of squares programming. ECC (2013)
Jerry Ding, Maryam Kamgarpour, Sean Summers, Alessandro Abate, John Lygeros, Claire J. Tomlin
A stochastic games framework for verification and control of discrete time stochastic hybrid systems. Autom. 49 (9) (2013)
Maryam Kamgarpour, Sean Summers, John Lygeros
Control design for specifications on stochastic hybrid systems. HSCC (2013)
Tony A. Wood, Sean Summers, John Lygeros
A stochastic reachability approach to emergency building evacuation. CDC (2013)
Sean Summers, Maryam Kamgarpour, Claire J. Tomlin, John Lygeros
Stochastic system controller synthesis for reachability specifications encoded by random sets. Autom. 49 (9) (2013)
Nikolaos Kariotoglou, Sean Summers, Davide Martino Raimondo
Hierarchical task allocation for multi-agent systems encoded by stochastic reachability specifications. ECC (2013)
Nikolaos Kariotoglou, Sean Summers, Tyler H. Summers, Maryam Kamgarpour, John Lygeros
Approximate dynamic programming for stochastic reachability. ECC (2013)
Sean Summers, John Lygeros
Multi-objective optimal control of stochastic hybrid systems. CDC (2012)
Stephan M. Huck, Nikolaos Kariotoglou, Sean Summers, Davide Martino Raimondo, John Lygeros
Design of importance-map based randomized patrolling strategies. COMPENG (2012)
Tyler H. Summers, Konstantin Kunz, Nikolaos Kariotoglou, Maryam Kamgarpour, Sean Summers, John Lygeros
Approximate Dynamic Programming via Sum of Squares Programming CoRR (2012)
Sean Summers, Colin N. Jones, John Lygeros, Manfred Morari
A Multiresolution Approximation Method for Fast Explicit Model Predictive Control. IEEE Trans. Autom. Control. 56 (11) (2011)
Sean Summers, Maryam Kamgarpour, John Lygeros, Claire J. Tomlin
A stochastic reach-avoid problem with random obstacles. HSCC (2011)
Nikolaos Kariotoglou, Davide Martino Raimondo, Sean Summers, John Lygeros
A stochastic reachability framework for autonomous surveillance with pan-tilt-zoom cameras. CDC/ECC (2011)
Davide Martino Raimondo, Nikolaos Kariotoglou, Sean Summers, John Lygeros
Probabilistic certification of pan-tilt-zoom camera surveillance systems. CDC/ECC (2011)
Maryam Kamgarpour, Jerry Ding, Sean Summers, Alessandro Abate, John Lygeros, Claire J. Tomlin
Discrete time stochastic hybrid dynamical games: Verification & controller synthesis. CDC/ECC (2011)
Federico Ramponi, Debasish Chatterjee, Sean Summers, John Lygeros
On the connections between PCTL and dynamic programming. HSCC (2010)
Sean Summers, John Lygeros
Verification of discrete time stochastic hybrid systems: A stochastic reach-avoid decision problem. Autom. 46 (12) (2010)
Andreas Milias-Argeitis, Riccardo Porreca, Sean Summers, John Lygeros
Bayesian model selection for the yeast GATA-factor network: A comparison of computational approaches. CDC (2010)
Sean Summers, John Lygeros
A Probabilistic Reach-Avoid Problem for Controlled Discrete Time Stochastic Hybrid Systems. ADHS (2009)
Eugenio Cinquemani, Andreas Milias-Argeitis, Sean Summers, John Lygeros
Local Identification of Piecewise Deterministic Models of Genetic Networks. HSCC (2009)
Sean Summers, Colin N. Jones, John Lygeros, Manfred Morari
A multiscale approximation scheme for explicit model predictive control with stability, feasibility, and performance guarantees. CDC (2009)
Dimitra Panagou, Kostas Margellos, Sean Summers, John Lygeros, Kostas J. Kyriakopoulos
A viability approach for the stabilization of an underactuated underwater vehicle in the presence of current disturbances. CDC (2009)
Federico Ramponi, Debasish Chatterjee, Sean Summers, John Lygeros
On the connections between PCTL and Dynamic Programming. CoRR (2009)
Eugenio Cinquemani, Andreas Milias-Argeitis, Sean Summers, John Lygeros
Stochastic dynamics of genetic networks: modelling and parameter identification. Bioinform. 24 (23) (2008)
Sean Summers, Thomas R. Bewley
MPDopt: A versatile toolbox for adjoint-based model predictive control of smooth and switched nonlinear dynamic systems. CDC (2007)