Sean Summers

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