{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,28]],"date-time":"2026-03-28T20:32:01Z","timestamp":1774729921289,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T00:00:00Z","timestamp":1555372800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Army Research Laboratory","award":["W911NF-17-2-0196"],"award-info":[{"award-number":["W911NF-17-2-0196"]}]},{"name":"DARPA","award":["FA8750-16-C0043, FA8750-18-C-0101"],"award-info":[{"award-number":["FA8750-16-C0043, FA8750-18-C-0101"]}]},{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["1545126, 1739816, 1837132"],"award-info":[{"award-number":["1545126, 1739816, 1837132"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"UC-Philippine-California Advanced Research Institute","award":["IIID-2016-005"],"award-info":[{"award-number":["IIID-2016-005"]}]},{"name":"iCyPhy center"},{"name":"Berkeley Deep Drive"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,4,16]]},"DOI":"10.1145\/3302504.3311795","type":"proceedings-article","created":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T13:37:58Z","timestamp":1554730678000},"page":"185-196","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["A new simulation metric to determine safe environments and controllers for systems with unknown dynamics"],"prefix":"10.1145","author":[{"given":"Shromona","family":"Ghosh","sequence":"first","affiliation":[{"name":"University of California"}]},{"given":"Somil","family":"Bansal","sequence":"additional","affiliation":[{"name":"University of California"}]},{"given":"Alberto","family":"Sangiovanni-Vincentelli","sequence":"additional","affiliation":[{"name":"University of California"}]},{"given":"Sanjit A.","family":"Seshia","sequence":"additional","affiliation":[{"name":"University of California"}]},{"given":"Claire","family":"Tomlin","sequence":"additional","affiliation":[{"name":"University of California"}]}],"member":"320","published-online":{"date-parts":[[2019,4,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5400334"},{"key":"e_1_3_2_1_2_1","volume-title":"Conference on Decision and Control and European Control Conference.","author":"Abate A.","unstructured":"A. Abate and M. Prandini . 2011. Approximate abstractions of stochastic systems: A randomized method . In Conference on Decision and Control and European Control Conference. A. Abate and M. Prandini. 2011. Approximate abstractions of stochastic systems: A randomized method. In Conference on Decision and Control and European Control Conference."},{"key":"e_1_3_2_1_3_1","volume":"200","author":"Alur R.","unstructured":"R. Alur , T. A. Henzinger , G. Lafferriere , and G. J. Pappas. 200 0. Discrete abstractions of hybrid systems. In Proceedings of the IEEE. R. Alur, T. A. Henzinger, G. Lafferriere, and G.J. Pappas. 2000. Discrete abstractions of hybrid systems. In Proceedings of the IEEE.","journal-title":"J. Pappas."},{"key":"e_1_3_2_1_4_1","unstructured":"C. Baier J. Katoen and K. G. Larsen. 2008. Principles of model checking. MIT press.   C. Baier J. Katoen and K. G. Larsen. 2008. Principles of model checking. MIT press."},{"key":"e_1_3_2_1_5_1","volume":"201","author":"Bansal S.","unstructured":"S. Bansal , A. K. Akametalu , F.J. Jiang , F. Laine , and C. J. Tomlin. 201 6. Learning quadrotor dynamics using neural network for flight control. In Conference on Decision and Control. S. Bansal, A. K. Akametalu, F.J. Jiang, F. Laine, and C.J. Tomlin. 2016. Learning quadrotor dynamics using neural network for flight control. In Conference on Decision and Control.","journal-title":"J. Tomlin."},{"key":"e_1_3_2_1_6_1","first-page":"l","volume":"201","author":"Bansal S.","unstructured":"S. Bansal , R. Calandra , T. Xiao , S. Levine , and C. J. Tomlin. 201 7. Goa l -Driven Dynamics Learning via Bayesian Optimization. In Conference on Decision and Control. S. Bansal, R. Calandra, T. Xiao, S. Levine, and C.J. Tomlin. 2017. Goal-Driven Dynamics Learning via Bayesian Optimization. In Conference on Decision and Control.","journal-title":"J. Tomlin."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_13"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"G. C. Calafiore and M. C. Campi. 2005. Uncertain convex programs: randomized solutions and confidence levels. In Mathematical Programming.  G. C. Calafiore and M. C. Campi. 2005. Uncertain convex programs: randomized solutions and confidence levels. In Mathematical Programming.","DOI":"10.1007\/s10107-003-0499-y"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"G. C. Calafiore and M. C. Campi. 2006. The scenario approach to robust control design. In IEEE Transactions on Automatic Control.  G. C. Calafiore and M. C. Campi. 2006. The scenario approach to robust control design. In IEEE Transactions on Automatic Control.","DOI":"10.1109\/TAC.2006.875041"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"M. C. Campi and S. Garatti. 2011. A sampling-and-discarding approach to chance-constrained optimization: feasibility and optimality. In Journal of Optimization Theory and Applications.  M. C. Campi and S. Garatti. 2011. A sampling-and-discarding approach to chance-constrained optimization: feasibility and optimality. In Journal of Optimization Theory and Applications.","DOI":"10.1007\/s10957-010-9754-6"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"M. C. Campi S. Garatti and M. Prandini. 2009. The scenario approach for systems and control design. In Annual Reviews in Control.  M. C. Campi S. Garatti and M. Prandini. 2009. The scenario approach for systems and control design. In Annual Reviews in Control.","DOI":"10.1016\/j.arcontrol.2009.07.001"},{"key":"e_1_3_2_1_12_1","unstructured":"T. Dean and R. Givan. 1997. Model minimization in Markov decision processes. In AAAI\/IAAI.   T. Dean and R. Givan. 1997. Model minimization in Markov decision processes. In AAAI\/IAAI."},{"key":"e_1_3_2_1_13_1","volume-title":"SOTER: Programming Safe Robotics System using Runtime Assurance. In arXiv:1808.07921.","author":"Desai Ankush","year":"2018","unstructured":"Ankush Desai , Shromona Ghosh , Sanjit A. Seshia , Natarajan Shankar , and Ashish Tiwari . 2018 . SOTER: Programming Safe Robotics System using Runtime Assurance. In arXiv:1808.07921. Ankush Desai, Shromona Ghosh, Sanjit A. Seshia, Natarajan Shankar, and Ashish Tiwari. 2018. SOTER: Programming Safe Robotics System using Runtime Assurance. In arXiv:1808.07921."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2001.2962"},{"key":"e_1_3_2_1_15_1","volume":"201","author":"Fisac J. F.","unstructured":"J. F. Fisac , A. K. Akametalu , M. N. Zeilinger , S. Kaynama , J. Gillula , and C. J. Tomlin. 201 7. A general safety framework for learning-based control in uncertain robotic systems. In arXiv:1705.01292. J. F. Fisac, A. K. Akametalu, M. N. Zeilinger, S. Kaynama, J. Gillula, and C. J. Tomlin. 2017. A general safety framework for learning-based control in uncertain robotic systems. In arXiv:1705.01292.","journal-title":"J. Tomlin."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"S. Garatti and M. Prandini. 2012. A simulation-based approach to the approximation of stochastic hybrid systems. In Analysis and design of hybrid systems.  S. Garatti and M. Prandini. 2012. A simulation-based approach to the approximation of stochastic hybrid systems. In Analysis and design of hybrid systems.","DOI":"10.3182\/20120606-3-NL-3011.00076"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(02)00234-0"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883847"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2007.01.019"},{"key":"e_1_3_2_1_20_1","volume":"201","author":"Girard A.","unstructured":"A. Girard and G. J. Pappas. 201 1. Approximate Bisimulation: A bridge between computer science and control theory. In European Journal of Control. A. Girard and G. J. Pappas. 2011. Approximate Bisimulation: A bridge between computer science and control theory. In European Journal of Control.","journal-title":"J. Pappas."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.02.021"},{"key":"e_1_3_2_1_22_1","volume-title":"IEEE Conference on Decision and Control.","author":"Sylvia L","year":"2017","unstructured":"Sylvia L Herbert*, Mo Chen*, SooJean Han , Somil Bansal , Jaime F Fisac , and Claire J Tomlin . 2017 . FaSTrack: a Modular Framework for Fast and Guaranteed Safe Motion Planning . IEEE Conference on Decision and Control. Sylvia L Herbert*, Mo Chen*, SooJean Han, Somil Bansal, Jaime F Fisac, and Claire J Tomlin. 2017. FaSTrack: a Modular Framework for Fast and Guaranteed Safe Motion Planning. IEEE Conference on Decision and Control."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"H. Hjalmarsson and L. Ljung. 1992. Estimating model variance in the case of undermodeling. In IEEE Transactions on Automatic Control.  H. Hjalmarsson and L. Ljung. 1992. Estimating model variance in the case of undermodeling. In IEEE Transactions on Automatic Control.","DOI":"10.1109\/9.148358"},{"key":"e_1_3_2_1_24_1","volume":"200","author":"Julius A. A.","unstructured":"A. A. Julius and G. J. Pappas. 200 9. Approximations of stochastic hybrid systems. In IEEE Transactions on Automatic Control. A. A. Julius and G. J. Pappas. 2009. Approximations of stochastic hybrid systems. In IEEE Transactions on Automatic Control.","journal-title":"J. Pappas."},{"key":"e_1_3_2_1_25_1","volume-title":"International Conference on tools and algorithms for the construction and analysis of systems.","author":"Katoen J. P.","unstructured":"J. P. Katoen , T. Kemna , I. Zapreev , and D. N. Jansen . 2007. Bisimulation minimisation mostly speeds up probabilistic model checking . In International Conference on tools and algorithms for the construction and analysis of systems. J. P. Katoen, T. Kemna, I. Zapreev, and D. N. Jansen. 2007. Bisimulation minimisation mostly speeds up probabilistic model checking. In International Conference on tools and algorithms for the construction and analysis of systems."},{"key":"e_1_3_2_1_26_1","unstructured":"H. Kwakernaak and R. Sivan. 1972. Linear optimal control systems.   H. Kwakernaak and R. Sivan. 1972. Linear optimal control systems."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90030-6"},{"key":"e_1_3_2_1_28_1","volume-title":"Robotics: Science and Systems.","author":"Lenz I.","year":"2015","unstructured":"I. Lenz , R. A. Knepper , and A. Saxena . 2015 . DeepMPC: Learning Deep Latent Features for Model Predictive Control .. In Robotics: Science and Systems. I. Lenz, R. A. Knepper, and A. Saxena. 2015. DeepMPC: Learning Deep Latent Features for Model Predictive Control.. In Robotics: Science and Systems."},{"key":"e_1_3_2_1_29_1","unstructured":"L. Ljung. 1987. System identification: theory for the user.   L. Ljung. 1987. System identification: theory for the user."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10915-007-9174-4"},{"key":"e_1_3_2_1_31_1","volume-title":"Robotics: Science and Systems.","author":"Mitsch S.","year":"2013","unstructured":"S. Mitsch , K. Ghorbal , and A. Platzer . 2013 . On Provably Safe Obstacle Avoidance for Autonomous Robotic Ground Vehicles . In Robotics: Science and Systems. S. Mitsch, K. Ghorbal, and A. Platzer. 2013. On Provably Safe Obstacle Avoidance for Autonomous Robotic Ground Vehicles. In Robotics: Science and Systems."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2016.03.019"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.02.021"},{"key":"e_1_3_2_1_34_1","unstructured":"Sanjit A. Seshia Dorsa Sadigh and S. Shankar Sastry. 2016. Towards Verified Artificial Intelligence. In arXiv:1606.08514.  Sanjit A. Seshia Dorsa Sadigh and S. Shankar Sastry. 2016. Towards Verified Artificial Intelligence. In arXiv:1606.08514."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_40"},{"key":"e_1_3_2_1_36_1","volume-title":"Verification and Control of Hybrid Systems: A Symbolic Approach","author":"Tabuada Paulo","unstructured":"Paulo Tabuada . 2009. Verification and Control of Hybrid Systems: A Symbolic Approach . Springer Science & Business Media . Paulo Tabuada. 2009. Verification and Control of Hybrid Systems: A Symbolic Approach. Springer Science & Business Media."},{"key":"e_1_3_2_1_37_1","volume-title":"Proceedings of the IEEE.","author":"Tomlin C. J.","unstructured":"C. J. Tomlin , J. Lygeros , and S. Sastry . 2000. A game theoretic approach to controller design for hybrid systems . In Proceedings of the IEEE. C. J. Tomlin, J. Lygeros, and S. Sastry. 2000. A game theoretic approach to controller design for hybrid systems. In Proceedings of the IEEE."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"crossref","unstructured":"C. J. Tomlin G. J. Pappas and S. Sastry. 1998. Conflict resolution for air traffic management: A study in multiagent hybrid systems. In IEEE Transactions on automatic control.  C. J. Tomlin G. J. Pappas and S. Sastry. 1998. Conflict resolution for air traffic management: A study in multiagent hybrid systems. In IEEE Transactions on automatic control.","DOI":"10.1109\/9.664154"},{"key":"e_1_3_2_1_39_1","unstructured":"Webots. 1998. http:\/\/www.cyberbotics.com. Commercial Mobile Robot Simulation Software.  Webots. 1998. http:\/\/www.cyberbotics.com. Commercial Mobile Robot Simulation Software."}],"event":{"name":"HSCC '19: 22nd ACM International Conference on Hybrid Systems: Computation and Control","location":"Montreal Quebec Canada","acronym":"HSCC '19","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3302504.3311795","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3302504.3311795","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3302504.3311795","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:25:36Z","timestamp":1750206336000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3302504.3311795"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4,16]]},"references-count":39,"alternative-id":["10.1145\/3302504.3311795","10.1145\/3302504"],"URL":"https:\/\/doi.org\/10.1145\/3302504.3311795","relation":{},"subject":[],"published":{"date-parts":[[2019,4,16]]},"assertion":[{"value":"2019-04-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}