Wang, Yu; Roohi, Nima; West, Matthew; Viswanathan, Mahesh; Dullerud, Geir E. Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction. arXiv:2009.07649 Preprint, arXiv:2009.07649 [math.OC] (2020). BibTeX Cite \textit{Y. Wang} et al., ``Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction'', Preprint, arXiv:2009.07649 [math.OC] (2020) Full Text: arXiv OA License
Wang, Yu; Roohi, Nima; West, Matthew; Viswanathan, Mahesh; Dullerud, Geir E. Statistical verification of PCTL using antithetic and stratified samples. (English) Zbl 1425.68270 Form. Methods Syst. Des. 54, No. 2, 145-163 (2019). MSC: 68Q60 03B44 60J20 68Q87 PDFBibTeX XMLCite \textit{Y. Wang} et al., Form. Methods Syst. Des. 54, No. 2, 145--163 (2019; Zbl 1425.68270) Full Text: DOI
Wang, Yu; Roohi, Nima; Dullerud, Geir E.; Viswanathan, Mahesh Stability analysis of switched linear systems defined by regular languages. (English) Zbl 1366.93558 IEEE Trans. Autom. Control 62, No. 5, 2568-2575 (2017). MSC: 93D20 68Q45 PDFBibTeX XMLCite \textit{Y. Wang} et al., IEEE Trans. Autom. Control 62, No. 5, 2568--2575 (2017; Zbl 1366.93558) Full Text: DOI
Wang, Yu; Roohi, Nima; West, Matthew; Viswanathan, Mahesh; Dullerud, Geir E. Statistical verification of dynamical systems using set oriented methods. (English) Zbl 1364.93753 Proceedings of the 18th ACM international conference on hybrid systems: computation and control, HSCC 2015, Seattle, WA, USA, April 14–16, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3433-4). 169-178 (2015). MSC: 93E03 93C10 93C55 60J05 60J10 68Q60 PDFBibTeX XMLCite \textit{Y. Wang} et al., in: Proceedings of the 18th ACM international conference on hybrid systems: computation and control, HSCC 2015, Seattle, WA, USA, April 14--16, 2015. New York, NY: Association for Computing Machinery (ACM). 169--178 (2015; Zbl 1364.93753) Full Text: DOI
Prabhakar, Pavithra; Vladimerou, Vladimeros; Viswanathan, Mahesh; Dullerud, Geir A decidable class of planar linear hybrid systems. (English) Zbl 1318.68112 Theor. Comput. Sci. 574, 1-17 (2015). MSC: 68Q45 PDFBibTeX XMLCite \textit{P. Prabhakar} et al., Theor. Comput. Sci. 574, 1--17 (2015; Zbl 1318.68112) Full Text: DOI
Vladimerou, Vladimeros; Prabhakar, Pavithra; Viswanathan, Mahesh; Dullerud, Geir Verification of bounded discrete horizon hybrid automata. (English) Zbl 1369.68255 IEEE Trans. Autom. Control 57, No. 6, 1445-1455 (2012). MSC: 68Q45 68Q60 PDFBibTeX XMLCite \textit{V. Vladimerou} et al., IEEE Trans. Autom. Control 57, No. 6, 1445--1455 (2012; Zbl 1369.68255) Full Text: DOI
Prabhakar, Pavithra; Dullerud, Geir; Viswanathan, Mahesh Pre-orders for reasoning about stability. (English) Zbl 1362.68179 Proceedings of the 15th ACM international conference on hybrid systems: computation and control, HSCC 2012, Beijing, China, April 17–19, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1220-2). 197-206 (2012). MSC: 68Q60 68Q85 93D20 PDFBibTeX XMLCite \textit{P. Prabhakar} et al., in: Proceedings of the 15th ACM international conference on hybrid systems: computation and control, HSCC 2012, Beijing, China, April 17--19, 2012. New York, NY: Association for Computing Machinery (ACM). 197--206 (2012; Zbl 1362.68179) Full Text: DOI
Vladimerou, Vladimeros; Prabhakar, Pavithra; Viswanathan, Mahesh; Dullerud, Geir Specifications for decidable hybrid games. (English) Zbl 1229.93104 Theor. Comput. Sci. 412, No. 48, 6770-6785 (2011). MSC: 93C30 91A80 68Q45 PDFBibTeX XMLCite \textit{V. Vladimerou} et al., Theor. Comput. Sci. 412, No. 48, 6770--6785 (2011; Zbl 1229.93104) Full Text: DOI
Vladimerou, Vladimeros; Prabhakar, Pavithra; Viswanathan, Mahesh; Dullerud, Geir STORMED hybrid games. (English) Zbl 1237.91020 Majumdar, Rupak (ed.) et al., Hybrid systems: Computation and control. 12th international conference, HSCC 2009, San Francisco, CA, USA, April 13–15, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00601-2/pbk). Lecture Notes in Computer Science 5469, 480-484 (2009). MSC: 91A10 PDFBibTeX XMLCite \textit{V. Vladimerou} et al., Lect. Notes Comput. Sci. 5469, 480--484 (2009; Zbl 1237.91020) Full Text: DOI
Prabhakar, Pavithra; Vladimerou, Vladimeros; Viswanathan, Mahesh; Dullerud, Geir E. A decidable class of planar linear hybrid systems. (English) Zbl 1143.68442 Egerstedt, Magnus (ed.) et al., Hybrid systems: Computation and control. 11th international workshop, HSCC 2008, St. Louis, MO, USA, April 22–24, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78928-4/pbk). Lecture Notes in Computer Science 4981, 401-414 (2008). MSC: 68Q45 93B03 93C30 PDFBibTeX XMLCite \textit{P. Prabhakar} et al., Lect. Notes Comput. Sci. 4981, 401--414 (2008; Zbl 1143.68442) Full Text: DOI
Vladimerou, Vladimeros; Prabhakar, Pavithra; Viswanathan, Mahesh; Dullerud, Geir STORMED hybrid systems. (English) Zbl 1155.68421 Aceto, Luca (ed.) et al., Automata, languages and programming. 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7–11, 2008. Proceedings, Part II. Berlin: Springer (ISBN 978-3-540-70582-6/pbk). Lecture Notes in Computer Science 5126, 136-147 (2008). MSC: 68Q45 03C64 PDFBibTeX XMLCite \textit{V. Vladimerou} et al., Lect. Notes Comput. Sci. 5126, 136--147 (2008; Zbl 1155.68421) Full Text: DOI