default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSean Summers
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2017
[j6]Maryam Kamgarpour, Tony A. Wood
, Sean Summers, John Lygeros:
Control synthesis for stochastic systems given automata specifications defined by stochastic sets. Autom. 76: 177-182 (2017)- 2013
- [j5]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): 2665-2674 (2013) - [j4]Sean Summers, Maryam Kamgarpour, Claire J. Tomlin, John Lygeros:
Stochastic system controller synthesis for reachability specifications encoded by random sets. Autom. 49(9): 2906-2910 (2013) - [c18]Tony A. Wood, Sean Summers, John Lygeros:
A stochastic reachability approach to emergency building evacuation. CDC 2013: 5722-5727 - [c17]Tyler H. Summers, Konstantin Kunz, Nikolaos Kariotoglou, Maryam Kamgarpour, Sean Summers, John Lygeros:
Approximate dynamic programming via sum of squares programming. ECC 2013: 191-197 - [c16]Nikolaos Kariotoglou, Sean Summers, Tyler H. Summers, Maryam Kamgarpour, John Lygeros:
Approximate dynamic programming for stochastic reachability. ECC 2013: 584-589 - [c15]Nikolaos Kariotoglou, Sean Summers, Davide Martino Raimondo:
Hierarchical task allocation for multi-agent systems encoded by stochastic reachability specifications. ECC 2013: 2777-2782 - [c14]Maryam Kamgarpour, Sean Summers, John Lygeros:
Control design for specifications on stochastic hybrid systems. HSCC 2013: 303-312 - 2012
- [c13]Sean Summers, John Lygeros:
Multi-objective optimal control of stochastic hybrid systems. CDC 2012: 1474-1479 - [c12]Stephan M. Huck, Nikolaos Kariotoglou, Sean Summers, Davide Martino Raimondo, John Lygeros:
Design of importance-map based randomized patrolling strategies. COMPENG 2012: 1-6 - [i2]Tyler H. Summers, Konstantin Kunz, Nikolaos Kariotoglou, Maryam Kamgarpour, Sean Summers, John Lygeros:
Approximate Dynamic Programming via Sum of Squares Programming. CoRR abs/1212.1269 (2012) - 2011
- [j3]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): 2530-2541 (2011) - [c11]Nikolaos Kariotoglou, Davide Martino Raimondo, Sean Summers, John Lygeros:
A stochastic reachability framework for autonomous surveillance with pan-tilt-zoom cameras. CDC/ECC 2011: 1411-1416 - [c10]Davide Martino Raimondo, Nikolaos Kariotoglou, Sean Summers, John Lygeros:
Probabilistic certification of pan-tilt-zoom camera surveillance systems. CDC/ECC 2011: 2064-2069 - [c9]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: 6122-6127 - [c8]Sean Summers, Maryam Kamgarpour, John Lygeros, Claire J. Tomlin:
A stochastic reach-avoid problem with random obstacles. HSCC 2011: 251-260 - 2010
- [j2]Sean Summers, John Lygeros:
Verification of discrete time stochastic hybrid systems: A stochastic reach-avoid decision problem. Autom. 46(12): 1951-1961 (2010) - [c7]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: 3379-3384 - [c6]Federico Ramponi, Debasish Chatterjee, Sean Summers, John Lygeros:
On the connections between PCTL and dynamic programming. HSCC 2010: 253-262
2000 – 2009
- 2009
- [c5]Sean Summers, John Lygeros:
A Probabilistic Reach-Avoid Problem for Controlled Discrete Time Stochastic Hybrid Systems. ADHS 2009: 150-155 - [c4]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: 6327-6332 - [c3]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: 8612-8617 - [c2]Eugenio Cinquemani, Andreas Milias-Argeitis, Sean Summers, John Lygeros:
Local Identification of Piecewise Deterministic Models of Genetic Networks. HSCC 2009: 105-119 - [i1]Federico Ramponi, Debasish Chatterjee, Sean Summers, John Lygeros:
On the connections between PCTL and Dynamic Programming. CoRR abs/0910.4738 (2009) - 2008
- [j1]Eugenio Cinquemani, Andreas Milias-Argeitis, Sean Summers, John Lygeros:
Stochastic dynamics of genetic networks: modelling and parameter identification. Bioinform. 24(23): 2748-2754 (2008) - 2007
- [c1]Sean Summers, Thomas R. Bewley:
MPDopt: A versatile toolbox for adjoint-based model predictive control of smooth and switched nonlinear dynamic systems. CDC 2007: 4785-4790
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-09 13:03 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
