Summers, Sean; Kamgarpour, Maryam; Tomlin, Claire; Lygeros, John Stochastic system controller synthesis for reachability specifications encoded by random sets. (English) Zbl 1364.93871 Automatica 49, No. 9, 2906-2910 (2013). MSC: 93E20 93B50 93B03 93C30 49L20 37H10 PDFBibTeX XMLCite \textit{S. Summers} et al., Automatica 49, No. 9, 2906--2910 (2013; Zbl 1364.93871) Full Text: DOI
Summers, Sean; Lygeros, John Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem. (English) Zbl 1371.93220 Automatica 46, No. 12, 1951-1961 (2010). MSC: 93E20 93C55 90C39 91B06 PDFBibTeX XMLCite \textit{S. Summers} and \textit{J. Lygeros}, Automatica 46, No. 12, 1951--1961 (2010; Zbl 1371.93220) Full Text: DOI
Abate, Alessandro; Lygeros, John; Sastry, Shankar S. Probabilistic safety and optimal control for survival analysis of bacillus subtilis. (English) Zbl 1188.49036 Syst. Control Lett. 59, No. 1, 79-85 (2010). MSC: 49N90 92D25 93E20 60J20 PDFBibTeX XMLCite \textit{A. Abate} et al., Syst. Control Lett. 59, No. 1, 79--85 (2010; Zbl 1188.49036) Full Text: DOI
Abate, Alessandro; Prandini, Maria; Lygeros, John; Sastry, Shankar Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems. (English) Zbl 1152.93051 Automatica 44, No. 11, 2724-2734 (2008). MSC: 93E03 93B03 93C55 49L20 PDFBibTeX XMLCite \textit{A. Abate} et al., Automatica 44, No. 11, 2724--2734 (2008; Zbl 1152.93051) Full Text: DOI