{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T15:56:57Z","timestamp":1762444617578,"version":"3.40.3"},"publisher-location":"Cham","reference-count":41,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319406473"},{"type":"electronic","value":"9783319406480"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-40648-0_10","type":"book-chapter","created":{"date-parts":[[2016,6,3]],"date-time":"2016-06-03T09:42:13Z","timestamp":1464946933000},"page":"117-132","source":"Crossref","is-referenced-by-count":15,"title":["Automated Synthesis of Safe Autonomous Vehicle Control Under Perception Uncertainty"],"prefix":"10.1007","author":[{"given":"Susmit","family":"Jha","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vasumathi","family":"Raman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,6,4]]},"reference":[{"issue":"11","key":"10_CR1","doi-asserted-by":"crossref","first-page":"2724","DOI":"10.1016\/j.automatica.2008.03.027","volume":"44","author":"A Abate","year":"2008","unstructured":"Abate, A., Prandini, M., Lygeros, J., Sastry, S.: Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems. Automatica 44(11), 2724\u20132734 (2008)","journal-title":"Automatica"},{"issue":"5","key":"10_CR2","doi-asserted-by":"crossref","first-page":"1353","DOI":"10.2514\/1.27553","volume":"30","author":"B Acikmese","year":"2007","unstructured":"Acikmese, B., Acikmese, S.R.: Convex programming approach to powered descent guidance for mars landing. J. Guid. Control Dyn. 30(5), 1353\u20131366 (2007)","journal-title":"J. Guid. Control Dyn."},{"key":"10_CR3","unstructured":"Andersen, M.S., Dahl, J., Vandenberghe, L.: Cvxopt: a python package for convex optimization, version 1.1.6. (2013). cvxopt.org"},{"key":"10_CR4","unstructured":"\u00c5str\u00f6m, K.J.: Introduction to stochastic control theory. Courier Corporation (2012)"},{"issue":"3","key":"10_CR5","first-page":"108","volume":"13","author":"T Bailey","year":"2006","unstructured":"Bailey, T., Durrant-Whyte, H.: Simultaneous localization and mapping (SLAM): Part II. J. Guid. Control Dyn. 13(3), 108\u2013117 (2006)","journal-title":"J. Guid. Control Dyn."},{"key":"10_CR6","unstructured":"Barr, N.M., Gangsaas, D., Schaeffer, D.R.: Wind models for flight simulator certification of landing and approach guidance and control systems. Technical report, DTIC Document (1974)"},{"key":"10_CR7","unstructured":"Bellman, R.: Introduction to the mathematical theory of control processes, vol. 2. IMA (1971)"},{"key":"10_CR8","doi-asserted-by":"crossref","first-page":"597","DOI":"10.1080\/10556780903087124","volume":"24","author":"P Belotti","year":"2009","unstructured":"Belotti, P., Lee, J., Liberti, L., Margot, F., Wachter, A.: Branching and bounds tightening techniques for non-convex MINLP. Optim. Meth. Softw. 24, 597\u2013634 (2009)","journal-title":"Optim. Meth. Softw."},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Bernini, N., Bertozzi, M., Castangia, L., Patander, M., Sabbatelli, M.: Real-time obstacle detection using stereo vision for autonomous ground vehicles: a survey. In: ITSC, pp. 873\u2013878. IEEE (2014)","DOI":"10.1109\/ITSC.2014.6957799"},{"issue":"1","key":"10_CR10","first-page":"161","volume":"36","author":"A Broggi","year":"2012","unstructured":"Broggi, A.: Autonomous vehicles control in the vislab intercontinental autonomous challenge. J. Guid. Control Dyn. 36(1), 161\u2013171 (2012)","journal-title":"J. Guid. Control Dyn."},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Cassandras, C.G., Lygeros, J.: Stochastic hybrid systems, vol. 24. CRC Press (2006)","DOI":"10.1201\/9781420008548"},{"issue":"3","key":"10_CR12","first-page":"235","volume":"4","author":"A Charnes","year":"1958","unstructured":"Charnes, A., Cooper, W.W., Symonds, G.H.: Cost horizons and certainty equivalents: An approach to stochastic programming of heating oil. J. Guid. Control Dyn. 4(3), 235\u2013263 (1958)","journal-title":"J. Guid. Control Dyn."},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"De Nijs, R., Ramos, S., Roig, G., Boix, X., Gool, L.V., Kuhnlenz, K.: On-line semantic perception using uncertainty. In: IROS, pp. 4185\u20134191. IEEE (2012)","DOI":"10.1109\/IROS.2012.6386212"},{"key":"10_CR14","volume-title":"A Probabilistic Theory of Pattern Recognition","author":"L Devroye","year":"2013","unstructured":"Devroye, L., Gy\u00f6rfi, L., Lugosi, G.: A Probabilistic Theory of Pattern Recognition, vol. 31. Springer Science & Business Media, New York (2013)"},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1007\/978-3-642-15297-9_9","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"A Donz\u00e9","year":"2010","unstructured":"Donz\u00e9, A., Maler, O.: Robust satisfaction of temporal logic over real-valued signals. In: Chatterjee, K., Henzinger, T.A. (eds.) FORMATS 2010. LNCS, vol. 6246, pp. 92\u2013106. Springer, Heidelberg (2010)"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Raman, V., et al.: Model predictive control with signal temporal logic specifications. In: CDC, pp. 81\u201387, December 2014","DOI":"10.1109\/CDC.2014.7039363"},{"key":"10_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1007\/11730637_29","volume-title":"Hybrid Systems: Computation and Control","author":"XD Koutsoukos","year":"2006","unstructured":"Koutsoukos, X.D., Riley, D.: Computational methods for reachability analysis of stochastic hybrid systems. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol. 3927, pp. 377\u2013391. Springer, Heidelberg (2006)"},{"key":"10_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/3-540-46029-2_13","volume-title":"Computer Performance Evaluation","author":"M Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM: probabilistic symbolic model checker. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol. 2324, p. 200. Springer, Heidelberg (2002)"},{"issue":"1\u20132","key":"10_CR19","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/j.compchemeng.2007.05.009","volume":"32","author":"P Li","year":"2008","unstructured":"Li, P., Arellano-Garcia, H., Wozny, G.: Chance constrained programming approach to process optimization under uncertainty. Comput. Chem. Eng. 32(1\u20132), 25\u201345 (2008)","journal-title":"Comput. Chem. Eng."},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"Martinet, P., Laugier, C., Nunes, U.: Special issue on perception and navigation for autonomous vehicles (2014)","DOI":"10.1109\/MRA.2014.2301112"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Mathys, C.D., et al.: Uncertainty in perception and the hierarchical gaussian filter. Front. Hum. Neurosci. 8(825) (2014)","DOI":"10.3389\/fnhum.2014.00825"},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"McGee, T.G., Sengupta, R., Hedrick, K.: Obstacle detection for small autonomous aircraft using sky segmentation. In: ICRA 2005, pp. 4679\u20134684. IEEE (2005)","DOI":"10.1109\/ROBOT.2005.1570842"},{"key":"10_CR23","doi-asserted-by":"crossref","unstructured":"Meier, L., Tanskanen, P., Fraundorfer, F., Pollefeys, M.: PIXHAWK: a system for autonomous flight using onboard computer vision. In: ICRA, pp. 2992\u20132997. IEEE (2011)","DOI":"10.1109\/ICRA.2011.5980229"},{"issue":"6","key":"10_CR24","first-page":"930","volume":"13","author":"BL Miller","year":"1965","unstructured":"Miller, B.L., Wagner, H.M.: Chance constrained programming with joint constraints. J. Guid. Control Dyn. 13(6), 930\u2013945 (1965)","journal-title":"J. Guid. Control Dyn."},{"issue":"37","key":"10_CR25","first-page":"12366","volume":"30","author":"MR Nassar","year":"2010","unstructured":"Nassar, M.R., et al.: An approximately bayesian delta-rule model explains the dynamics of belief updating in a changing environment. J. Guid. Control Dyn. 30(37), 12366\u201312378 (2010)","journal-title":"J. Guid. Control Dyn."},{"key":"10_CR26","doi-asserted-by":"crossref","unstructured":"Patchett, C., Jump, M., Fisher, M.: Safety and certification of unmanned air systems. Eng. Technol. Ref. 1(1) (2015)","DOI":"10.1049\/etr.2015.0009"},{"key":"10_CR27","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: Providence, pp. 46\u201357 (1977)","DOI":"10.1109\/SFCS.1977.32"},{"issue":"3","key":"10_CR28","first-page":"3","volume":"14","author":"LS Pontryagin","year":"1959","unstructured":"Pontryagin, L.S.: Optimal control processes. Usp. Mat. Nauk 14(3), 3\u201320 (1959)","journal-title":"Usp. Mat. Nauk"},{"issue":"8","key":"10_CR29","doi-asserted-by":"crossref","first-page":"1415","DOI":"10.1109\/TAC.2007.902736","volume":"52","author":"S Prajna","year":"2007","unstructured":"Prajna, S., Jadbabaie, A., Pappas, G.J.: A framework for worst-case, stochastic safety verification using barrier certificates. IEEE Trans. Autom. Control 52(8), 1415\u20131428 (2007)","journal-title":"IEEE Trans. Autom. Control"},{"key":"10_CR30","first-page":"107","volume":"24","author":"M Prandini","year":"2006","unstructured":"Prandini, M., Hu, J.: Stochastic reachability: theory and numerical approximation. J. Guid. Control Dyn. 24, 107\u2013138 (2006)","journal-title":"J. Guid. Control Dyn."},{"key":"10_CR31","volume-title":"Stochastic Programming","author":"A Pr\u00e9kopa","year":"2013","unstructured":"Pr\u00e9kopa, A.: Stochastic Programming, vol. 324. Springer, Netherlands (2013)"},{"key":"10_CR32","volume-title":"Experience from the DARPA urban challenge","author":"C Rouff","year":"2011","unstructured":"Rouff, C., Hinchey, M.: Experience from the DARPA urban challenge. Springer Science & Business Media, London (2011)"},{"key":"10_CR33","doi-asserted-by":"crossref","unstructured":"Rushby, J.: New challenges in certification for aircraft software. In: EMSOFT, pp. 211\u2013218. ACM (2011)","DOI":"10.1145\/2038642.2038675"},{"key":"10_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/978-3-319-07863-2_27","volume-title":"Human Interface and the Management of Information","author":"BA Terwilliger","year":"2014","unstructured":"Terwilliger, B.A., Ison, D.C., Vincenzi, D.A., Liu, D.: Advancement and application of unmanned aerial system Human-Machine-Interface (HMI) technology. In: Yamamoto, S. (ed.) HCI 2014, Part II. LNCS, vol. 8522, pp. 273\u2013283. Springer, Heidelberg (2014)"},{"issue":"7","key":"10_CR35","first-page":"895","volume":"30","author":"J Berg Van Den","year":"2011","unstructured":"Van Den Berg, J., Abbeel, P., Goldberg, K.: LQG-MP: optimized path planning for robots with motion uncertainty and imperfect state information. J. Guid. Control Dyn. 30(7), 895\u2013913 (2011)","journal-title":"J. Guid. Control Dyn."},{"key":"10_CR36","unstructured":"Vitus, M.: Stochastic Control Via Chance Constrained Optimization and its Application to Unmanned Aerial Vehicles. PhD thesis, Stanford University (2012)"},{"key":"10_CR37","doi-asserted-by":"crossref","unstructured":"Vitus, M.P., Tomlin, C.J.: Closed-loop belief space planning for linear, Gaussian systems. In: ICRA, pp. 2152\u20132159. IEEE (2011)","DOI":"10.1109\/ICRA.2011.5980257"},{"key":"10_CR38","first-page":"734","volume":"2011","author":"MP Vitus","year":"2011","unstructured":"Vitus, M.P., Tomlin, C.J.: On feedback design and risk allocation in chance constrained control. J. Guid. Control Dyn. 2011, 734\u2013739 (2011)","journal-title":"J. Guid. Control Dyn."},{"key":"10_CR39","doi-asserted-by":"crossref","unstructured":"Vitus, M.P., Tomlin, C.J.: A hybrid method for chance constrained control in uncertain environments. In: CDC, pp. 2177\u20132182, December 2012","DOI":"10.1109\/CDC.2012.6426684"},{"key":"10_CR40","doi-asserted-by":"crossref","unstructured":"Vitus, M.P., Tomlin, C.J.: A probabilistic approach to planning and control in autonomous urban driving. In: CDC, pp. 2459\u20132464 (2013)","DOI":"10.1109\/CDC.2013.6760249"},{"key":"10_CR41","doi-asserted-by":"crossref","unstructured":"Xu, W., Pan, J., Wei, J., Dolan, J.M.: Motion planning under uncertainty for on-road autonomous driving. In: ICRA, pp. 2507\u20132512. IEEE (2014)","DOI":"10.1109\/ICRA.2014.6907209"}],"container-title":["Lecture Notes in Computer Science","NASA Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-40648-0_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,9]],"date-time":"2019-09-09T03:10:25Z","timestamp":1567998625000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-40648-0_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319406473","9783319406480"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-40648-0_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}