{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:03:26Z","timestamp":1762459406531},"publisher-location":"Cham","reference-count":44,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319448770"},{"type":"electronic","value":"9783319448787"}],"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-44878-7_5","type":"book-chapter","created":{"date-parts":[[2016,8,16]],"date-time":"2016-08-16T11:20:46Z","timestamp":1471346446000},"page":"69-84","source":"Crossref","is-referenced-by-count":4,"title":["On Optimal Control of Stochastic Linear Hybrid Systems"],"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,8,17]]},"reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1007\/978-3-540-71493-4_4","volume-title":"Hybrid Systems: Computation and Control","author":"A Abate","year":"2007","unstructured":"Abate, A., Amin, S., Prandini, M., Lygeros, J., Sastry, S.S.: Computational approaches to reachability analysis of stochastic hybrid systems. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol. 4416, pp. 4\u201317. Springer, Heidelberg (2007)"},{"issue":"11","key":"5_CR2","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":"5_CR3","doi-asserted-by":"crossref","first-page":"1353","DOI":"10.2514\/1.27553","volume":"30","author":"B Acikmese","year":"2007","unstructured":"Acikmese, B., Ploen, S.R.: Convex programming approach to powered descent guidance for Mars landing. J. Guidance Control Dyn. 30(5), 1353\u20131366 (2007)","journal-title":"J. Guidance Control Dyn."},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Alur, R.: Formal verification of hybrid systems. In: EMSOFT, pp. 273\u2013278. IEEE (2011)","DOI":"10.1145\/2038642.2038685"},{"issue":"7","key":"5_CR5","doi-asserted-by":"crossref","first-page":"1011","DOI":"10.1109\/5.871306","volume":"88","author":"E Asarin","year":"2000","unstructured":"Asarin, E., Bournez, O., Dang, T., Maler, O., Pnueli, A.: Effective synthesis of switching controllers for linear systems. Proc. IEEE 88(7), 1011\u20131025 (2000)","journal-title":"Proc. IEEE"},{"key":"5_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":"5_CR7","unstructured":"Bellman, R.E.: Introduction to the Mathematical Theory of Control Processes, vol. 2. IMA (1971)"},{"issue":"3","key":"5_CR8","doi-asserted-by":"crossref","first-page":"502","DOI":"10.1109\/TRO.2010.2044948","volume":"26","author":"L Blackmore","year":"2010","unstructured":"Blackmore, L., Ono, M., Bektassov, A., Williams, B.C.: A probabilistic particle-control approximation of chance-constrained stochastic predictive control. IEEE Trans. Robot. 26(3), 502\u2013517 (2010)","journal-title":"IEEE Trans. Robot."},{"issue":"2","key":"5_CR9","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/j.arcontrol.2009.07.001","volume":"33","author":"MC Campi","year":"2009","unstructured":"Campi, M.C., Garatti, S., Prandini, M.: The scenario approach for systems and control design. Ann. Rev. Control 33(2), 149\u2013157 (2009)","journal-title":"Ann. Rev. Control"},{"key":"5_CR10","doi-asserted-by":"crossref","DOI":"10.1201\/9781420008548","volume-title":"Stochastic Hybrid Systems","author":"CG Cassandras","year":"2006","unstructured":"Cassandras, C.G., Lygeros, J.: Stochastic Hybrid Systems, vol. 24. CRC Press, Boca Raton (2006)"},{"issue":"3","key":"5_CR11","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1287\/mnsc.4.3.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. Manage. Sci. 4(3), 235\u2013263 (1958)","journal-title":"Manage. Sci."},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Deori, L., Garatti, S., Prandini, M.: A model predictive control approach to aircraft motion control. In: American Control Conference, ACC 2015, 1\u20133 July 2015, Chicago, IL, USA, pp. 2299\u20132304 (2015)","DOI":"10.1109\/ACC.2015.7171075"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Fang, C., Williams, B.C.: General probabilistic bounds for trajectories using only mean and variance. In: ICRA, pp. 2501\u20132506 (2014)","DOI":"10.1109\/ICRA.2014.6907208"},{"key":"5_CR14","volume-title":"Advances in Control: Highlights of ECC","author":"PM Frank","year":"2012","unstructured":"Frank, P.M.: Advances in Control: Highlights of ECC. Springer Science & Business Media, New York (2012)"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Gonzalez, H., Vasudevan, R., Kamgarpour, M., Sastry, S., Bajcsy, R., Tomlin, C.: A numerical method for the optimal control of switched systems. In: CDC 2010, pp. 7519\u20137526 (2010)","DOI":"10.1109\/CDC.2010.5717469"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Gonzalez, H., Vasudevan, R., Kamgarpour, M., Sastry, S.S., Bajcsy, R., Tomlin, C.J.: A descent algorithm for the optimal control of constrained nonlinear switched dynamical systems (2010)","DOI":"10.1145\/1755952.1755961"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Jha, S., Gulwani, S., Seshia, S.A., Tiwari, A.: Synthesizing switching logic for safety and dwell-time requirements. In: ICCPS, pp. 22\u201331 (2010)","DOI":"10.1145\/1795194.1795198"},{"key":"5_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-3-319-40648-0_10","volume-title":"NASA Formal Methods","author":"S Jha","year":"2016","unstructured":"Jha, S., Raman, V.: Automated synthesis of safe autonomous vehicle control under perception uncertainty. In: Rayadurgam, S., Tkachuk, O. (eds.) NFM 2016. LNCS, vol. 9690, pp. 117\u2013132. Springer, Heidelberg (2016). doi: 10.1007\/978-3-319-40648-0_10"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Jha, S., Seshia, S.A., Tiwari, A.: Synthesis of optimal switching logic for hybrid systems. In: EMSOFT, pp. 107\u2013116 (2011)","DOI":"10.1145\/2038642.2038660"},{"key":"5_CR20","series-title":"Wiley-Interscience Series in Systems and Optimization","volume-title":"Stochastic Programming","author":"P Kall","year":"1994","unstructured":"Kall, P., Wallace, S.: Stochastic Programming. Wiley-Interscience Series in Systems and Optimization. Wiley, New York (1994)"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Kamgarpour, M., Soler, M., Tomlin, C.J., Olivares, A., Lygeros, J.: Hybrid optimal control for aircraft trajectory design with a variable sequence of modes. In: 18th IFAC World Congress, Italy (2011)","DOI":"10.3182\/20110828-6-IT-1002.01643"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Kariotoglou, N., Summers, S., Summers, T., Kamgarpour, M., Lygeros, J.: Approximate dynamic programming for stochastic reachability. In: ECC, pp. 584\u2013589. IEEE (2013)","DOI":"10.23919\/ECC.2013.6669603"},{"issue":"2","key":"5_CR23","doi-asserted-by":"crossref","first-page":"479","DOI":"10.1137\/S1052623499363220","volume":"12","author":"AJ Kleywegt","year":"2002","unstructured":"Kleywegt, A.J., Shapiro, A., Homem-de Mello, T.: The sample average approximation method for stochastic discrete optimization. SIAM J. Optim. 12(2), 479\u2013502 (2002)","journal-title":"SIAM J. Optim."},{"key":"5_CR24","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)"},{"issue":"1\u20132","key":"5_CR25","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."},{"issue":"7","key":"5_CR26","doi-asserted-by":"crossref","first-page":"1171","DOI":"10.1016\/S0005-1098(02)00002-X","volume":"38","author":"P Li","year":"2002","unstructured":"Li, P., Wendt, M., Wozny, G.: A probabilistically constrained model predictive controller. Automatica 38(7), 1171\u20131176 (2002)","journal-title":"Automatica"},{"key":"5_CR27","volume-title":"Switching in Systems and Control","author":"D Liberzon","year":"2012","unstructured":"Liberzon, D.: Switching in Systems and Control. Springer Science & Business Media, New York (2012)"},{"key":"5_CR28","unstructured":"Ma, Y.: Model predictive control for energy efficient buildings. Ph.D. Thesis, Department of Mechanical Engineering, UC Berkeley (2012)"},{"key":"5_CR29","doi-asserted-by":"crossref","unstructured":"Margellos, K., Prandini, M., Lygeros, J.: A compression learning perspective to scenario based optimization. In: CDC 2014, pp. 5997\u20136002 (2014)","DOI":"10.1109\/CDC.2014.7040328"},{"issue":"6","key":"5_CR30","doi-asserted-by":"crossref","first-page":"930","DOI":"10.1287\/opre.13.6.930","volume":"13","author":"BL Miller","year":"1965","unstructured":"Miller, B.L., Wagner, H.M.: Chance constrained programming with joint constraints. Oper. Res. 13(6), 930\u2013945 (1965)","journal-title":"Oper. Res."},{"issue":"4","key":"5_CR31","doi-asserted-by":"crossref","first-page":"969","DOI":"10.1137\/050622328","volume":"17","author":"A Nemirovski","year":"2006","unstructured":"Nemirovski, A., Shapiro, A.: Convex approximations of chance constrained programs. SIAM J. Optim. 17(4), 969\u2013996 (2006)","journal-title":"SIAM J. Optim."},{"key":"5_CR32","doi-asserted-by":"crossref","unstructured":"Ono, M., Blackmore, L., Williams, B.C.: Chance constrained finite horizon optimal control with nonconvex constraints. In: ACC, pp. 1145\u20131152. IEEE (2010)","DOI":"10.1109\/ACC.2010.5530976"},{"issue":"3","key":"5_CR33","first-page":"3","volume":"14","author":"L Pontryagin","year":"1959","unstructured":"Pontryagin, L.: Optimal control processes. Usp. Mat. Nauk 14(3), 3\u201320 (1959)","journal-title":"Usp. Mat. Nauk"},{"issue":"8","key":"5_CR34","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 and stochastic safety verification using barrier certificates. IEEE Trans. Autom. Control 52(8), 1415\u20131428 (2007)","journal-title":"IEEE Trans. Autom. Control"},{"key":"5_CR35","doi-asserted-by":"crossref","unstructured":"Prandini, M., Garatti, S., Lygeros, J.: A randomized approach to stochastic model predictive control. In: CDC 2012, pp. 7315\u20137320 (2012)","DOI":"10.1109\/CDC.2012.6426462"},{"key":"5_CR36","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1201\/9781420008548.ch5","volume":"24","author":"M Prandini","year":"2006","unstructured":"Prandini, M., Hu, J.: Stochastic reachability: theory and numerical approximation. Stochast. Hybrid Syst. Autom. Control Eng. Ser. 24, 107\u2013138 (2006)","journal-title":"Stochast. Hybrid Syst. Autom. Control Eng. Ser."},{"key":"5_CR37","volume-title":"Stochastic Programming","author":"A Pr\u00e9kopa","year":"2013","unstructured":"Pr\u00e9kopa, A.: Stochastic Programming, vol. 324. Springer Science & Business Media, New York (2013)"},{"key":"5_CR38","series-title":"Interdisciplinary Applied Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3108-8","volume-title":"Nonlinear Systems: Analysis, Stability, and Control","author":"SS Sastry","year":"1999","unstructured":"Sastry, S.S.: Nonlinear Systems: Analysis, Stability, and Control. Interdisciplinary Applied Mathematics. Springer, New York (1999). Numrotation dans la coll. principale"},{"key":"5_CR39","doi-asserted-by":"crossref","unstructured":"Van Hessem, D., Scherer, C., Bosgra, O.: LMI-based closed-loop economic optimization of stochastic process operation under state and input constraints. In: 2001 Proceedings of the 40th IEEE Conference on Decision and Control, vol. 5, pp. 4228\u20134233. IEEE (2001)","DOI":"10.1109\/CDC.2001.980852"},{"key":"5_CR40","unstructured":"Vichik, S., Borrelli, F.: Identification of thermal model of DOE library. Technical report, ME Department, Univ. California at Berkeley (2012)"},{"key":"5_CR41","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":"5_CR42","doi-asserted-by":"crossref","unstructured":"Xue, D., Chen, Y., Atherton, D.P.: Linear feedback control: analysis and design with MATLAB, vol. 14. SIAM (2007)","DOI":"10.1137\/1.9780898718621"},{"key":"5_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1007\/978-3-319-11936-6_29","volume-title":"Automated Technology for Verification and Analysis","author":"Y Zhang","year":"2014","unstructured":"Zhang, Y., Sankaranarayanan, S., Somenzi, F.: Statistically sound verification and optimization for complex systems. In: Cassez, F., Raskin, J.-F. (eds.) ATVA 2014. LNCS, vol. 8837, pp. 411\u2013427. Springer, Heidelberg (2014)"},{"issue":"3","key":"5_CR44","first-page":"345","volume":"23","author":"F Zhu","year":"2011","unstructured":"Zhu, F., Antsaklis, P.J.: Optimal control of switched hybrid systems: a brief survey. Discrete Event Dyn. Syst. 23(3), 345\u2013364 (2011). ISIS","journal-title":"Discrete Event Dyn. Syst."}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-44878-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,12]],"date-time":"2019-09-12T12:21:28Z","timestamp":1568290888000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-44878-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319448770","9783319448787"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-44878-7_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}