{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,8]],"date-time":"2026-03-08T03:49:26Z","timestamp":1772941766489,"version":"3.50.1"},"reference-count":77,"publisher":"Elsevier BV","issue":"6","license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["European Journal of Control"],"published-print":{"date-parts":[[2010,1]]},"DOI":"10.3166\/ejc.16.583-594","type":"journal-article","created":{"date-parts":[[2011,2,8]],"date-time":"2011-02-08T16:16:50Z","timestamp":1297181810000},"page":"583-594","source":"Crossref","is-referenced-by-count":56,"title":["Stochastic Hybrid Systems: A Powerful Framework for Complex, Large Scale Applications"],"prefix":"10.1016","volume":"16","author":[{"given":"John","family":"Lygeros","sequence":"first","affiliation":[]},{"given":"Maria","family":"Prandini","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"11","key":"10.3166\/ejc.16.583-594_bib0005","doi-asserted-by":"crossref","first-page":"2724","DOI":"10.1016\/j.automatica.2008.03.027","article-title":"Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems","volume":"44","author":"Abate","year":"2008","journal-title":"Automatica"},{"issue":"2","key":"10.3166\/ejc.16.583-594_bib0010","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1109\/78.978374","article-title":"Atutorial on particle filters for on-line nonlinear\/non-Gaussian Bayesian tracking","volume":"50","author":"Arulampalam","year":"2002","journal-title":"IEEE Trans Signal Process"},{"issue":"1","key":"10.3166\/ejc.16.583-594_bib0015","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1109\/9.981719","article-title":"Impulse differential inclusions: A viability approach to hybrid systems","volume":"47","author":"Aubin","year":"2002","journal-title":"IEEE Trans Autom Control"},{"key":"10.3166\/ejc.16.583-594_bib0020","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/BF02741890","article-title":"Worst-case properties of the uniform distribution and randomized algorithms for robustness analysis","volume":"11","author":"Bai","year":"1998","journal-title":"Math Control Signal Syst"},{"issue":"6","key":"10.3166\/ejc.16.583-594_bib0025","doi-asserted-by":"crossref","first-page":"524","DOI":"10.1109\/TSE.2003.1205180","article-title":"Modelchecking algorithms for continuous-time Markov Chains","volume":"29","author":"Baier","year":"2003","journal-title":"IEEE Trans Softw Eng"},{"key":"10.3166\/ejc.16.583-594_bib0030","article-title":"Principles of Model Checking","author":"Baier","year":"2008","journal-title":"MIT Press"},{"key":"10.3166\/ejc.16.583-594_bib0035","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/BF01211503","article-title":"The uniform distribution: a rigorous justification for its use in robustness analysis","volume":"10","author":"Barmish","year":"1997","journal-title":"Math Control Signal Syst"},{"key":"10.3166\/ejc.16.583-594_bib0040","unstructured":"Batina I. Model predictive control for stochastic hybrid systems by randomized algorithms. PhD thesis, Technische Universiteit Eindhoven, 2004."},{"issue":"2","key":"10.3166\/ejc.16.583-594_bib0045","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1016\/j.nahs.2009.07.008","article-title":"A unifying formulation of the Fokker-Planck- Kolmogorov equation for general stochastic hybrid systems","volume":"4","author":"Bect","year":"2010","journal-title":"Nonlinear Anal Hybrid Syst"},{"key":"10.3166\/ejc.16.583-594_bib0050","doi-asserted-by":"crossref","unstructured":"Bemporad A, Di Cairano S. Optimal control of discrete hybrid stochastic automata. In Thiele L, Morari M, editors, Hybrid Systems: Computation and Control, number 3414 in LNCS, pages 151\u2013167. Springer-Verlag, Berlin, 2005.","DOI":"10.1007\/978-3-540-31954-2_10"},{"key":"10.3166\/ejc.16.583-594_bib0055","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1006\/jmaa.2000.7102","article-title":"Stochastic hybrid control","volume":"249","author":"Bensoussan","year":"2000","journal-title":"J Math Anal Appl"},{"key":"10.3166\/ejc.16.583-594_bib0060","article-title":"Stochastic optimal control: The discrete time case","author":"Bertsekas","year":"1996","journal-title":"Athena Scientific, Belmont, Massachusetts"},{"issue":"10","key":"10.3166\/ejc.16.583-594_bib0065","doi-asserted-by":"crossref","first-page":"1826","DOI":"10.1109\/TAC.2007.906182","article-title":"Constrained stochastic LQG: a tractable approach","volume":"52","author":"Bertsimas","year":"2007","journal-title":"IEEE Trans Autom Control"},{"key":"10.3166\/ejc.16.583-594_bib0070","series-title":"Stochastic Hybrid Systems: Theory and Safety Critical Applications","year":"2006"},{"key":"10.3166\/ejc.16.583-594_bib0075","article-title":"Optimal Control of Diffusion Processes, volume 203 of Pitman Research Notes in Math.","author":"Borkar","year":"1989"},{"issue":"3","key":"10.3166\/ejc.16.583-594_bib0080","doi-asserted-by":"crossref","first-page":"557","DOI":"10.1023\/A:1021786019871","article-title":"Optimal control of a stochastic hybrid system with discounted cost","volume":"101","author":"Borkar","year":"1999","journal-title":"J Optim Theory Appl"},{"key":"10.3166\/ejc.16.583-594_bib0085","series-title":"Stochastic Hybrid Systems: Theory and Safety Critical Applications","first-page":"3","article-title":"Toward a general theory of stochastic hybrid systems","author":"Bujorianu","year":"2006"},{"key":"10.3166\/ejc.16.583-594_bib0090","series-title":"Hybrid Systems: Computation and Control","first-page":"126","article-title":"Reachability questions in piecewise deterministic Markov processes","author":"Bujorianu","year":"2003"},{"key":"10.3166\/ejc.16.583-594_bib0095","series-title":"Proc. 43rd IEEE Conf. on Decision and Control","article-title":"General stochastic hybrid systems: Modeling and optimal control","author":"Bujorianu","year":"2004"},{"key":"10.3166\/ejc.16.583-594_bib0100","doi-asserted-by":"crossref","first-page":"2218","DOI":"10.1109\/9.895560","article-title":"Randomized algorithms for probabilistic robustness with real and complex structured uncertainty","volume":"45","author":"Calafiore","year":"2000","journal-title":"IEEE Trans Autom Control"},{"issue":"3","key":"10.3166\/ejc.16.583-594_bib0105","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/j.jco.2007.01.003","article-title":"A survey of randomized algorithms for control synthesis and performance verification","volume":"23","author":"Calafiore","year":"2007","journal-title":"J Complexity"},{"issue":"5","key":"10.3166\/ejc.16.583-594_bib0110","doi-asserted-by":"crossref","first-page":"899","DOI":"10.1109\/JPROC.2007.893250","article-title":"An overview of existing methods and recent advances in sequential Monte Carlo","volume":"95","author":"Cappe","year":"2007","journal-title":"IEEE Proc"},{"key":"10.3166\/ejc.16.583-594_bib0115","series-title":"Stochastic Hybrid Systems","year":"2006"},{"key":"10.3166\/ejc.16.583-594_bib0120","article-title":"Model Checking","author":"Clarke","year":"1999"},{"issue":"12","key":"10.3166\/ejc.16.583-594_bib0125","doi-asserted-by":"crossref","first-page":"2169","DOI":"10.1016\/j.automatica.2006.07.006","article-title":"StochasticMPC with inequality stability constraints","volume":"42","author":"Couchmann","year":"2006","journal-title":"Automatica"},{"issue":"3","key":"10.3166\/ejc.16.583-594_bib0130","doi-asserted-by":"crossref","first-page":"736","DOI":"10.1109\/78.984773","article-title":"A survey of convergence results on particle filtering for practitioners","volume":"50","author":"Crisan","year":"2002","journal-title":"IEEE Trans Signal Process"},{"key":"10.3166\/ejc.16.583-594_bib0135","series-title":"Markov Processes and Optimization","author":"Davis","year":"1993"},{"key":"10.3166\/ejc.16.583-594_bib0140","series-title":"Control of Hybrid Systems PhD thesis, Department of Electrical Engineering","author":"Deshpande","year":"1994"},{"key":"10.3166\/ejc.16.583-594_bib0145","article-title":"Stochastic differential games with multiple modes.Technical report","author":"Ghosh","year":"1995","journal-title":"The Institute for Systems Research, University of Maryland"},{"issue":"6","key":"10.3166\/ejc.16.583-594_bib0150","first-page":"1","article-title":"Optimal control of switching diffusions with ap- plication to flexible manufacturing systems","volume":"30","author":"Ghosh","year":"1992","journal-title":"SIAM J Control Optim"},{"issue":"6","key":"10.3166\/ejc.16.583-594_bib0155","doi-asserted-by":"crossref","first-page":"1952","DOI":"10.1137\/S0363012996299302","article-title":"Ergodic control of switching diffusions","volume":"35","author":"Ghosh","year":"1997","journal-title":"SIAM J Control Optim"},{"issue":"4","key":"10.3166\/ejc.16.583-594_bib0160","doi-asserted-by":"crossref","first-page":"573","DOI":"10.1016\/j.automatica.2005.12.019","article-title":"Solutions to hybrid inclusions via set and graphical convergence with stability theory applications","volume":"42","author":"Goebel","year":"2006","journal-title":"Automatica"},{"issue":"2","key":"10.3166\/ejc.16.583-594_bib0165","first-page":"107","article-title":"Novel approach to nonlinear non-Gaussian Bayesian state estimation","volume":"140","author":"Gordon","year":"1993","journal-title":"IEE P roc F"},{"key":"10.3166\/ejc.16.583-594_bib0170","series-title":"Hybrid Systems: Computation and Control","first-page":"244","article-title":"Compositional modeling and minimization of time-inhomogeneous Markov chains","author":"Han","year":"2008"},{"issue":"5","key":"10.3166\/ejc.16.583-594_bib0175","doi-asserted-by":"crossref","first-page":"512","DOI":"10.1007\/BF01211866","article-title":"A logic for reasoning about time and reliability","volume":"6","author":"Hansson","year":"1994","journal-title":"Form Asp Comput"},{"issue":"9","key":"10.3166\/ejc.16.583-594_bib0180","doi-asserted-by":"crossref","first-page":"1536","DOI":"10.1109\/TAC.2002.802753","article-title":"Convex dynamic programming for hybrid systems","volume":"47","author":"Hedlund","year":"2002","journal-title":"IEEE Trans Autom Control"},{"issue":"8","key":"10.3166\/ejc.16.583-594_bib0185","doi-asserted-by":"crossref","first-page":"1353","DOI":"10.1016\/j.na.2005.01.112","article-title":"A model for stochastic hybrid systems with application to communication networks","volume":"62","author":"Hespanha","year":"2005","journal-title":"Nonlinear Anal"},{"key":"10.3166\/ejc.16.583-594_bib0190","first-page":"441","article-title":"PRISM: A tool for automatic verification of probabilistic systems","volume":"volume 3920 of LNCS","author":"Hinton","year":"2006"},{"key":"10.3166\/ejc.16.583-594_bib0195","series-title":"Proc. 48th IEEE Conf. on Decision and Control","article-title":"On stochastic model predictive control with bounded control inputs","author":"Hokayem","year":"2009"},{"key":"10.3166\/ejc.16.583-594_bib0200","series-title":"Hybrid Systems: Computation and Control","first-page":"160","article-title":"Towards a theory of stochastic hybrid systems","author":"Hu","year":"2000"},{"issue":"6","key":"10.3166\/ejc.16.583-594_bib0205","doi-asserted-by":"crossref","first-page":"1193","DOI":"10.1109\/TAC.2009.2019791","article-title":"Approximations of stochastic hybrid systems","volume":"54","author":"Julius","year":"2009","journal-title":"IEEE Trans Autom Control"},{"key":"10.3166\/ejc.16.583-594_bib0210","first-page":"203","article-title":"Model checking HML on piecewise-constant inhomogeneous Markov chains","volume":"volume 5215 of LNCS","author":"Katoen","year":"2008"},{"key":"10.3166\/ejc.16.583-594_bib0215","doi-asserted-by":"crossref","unstructured":"Katoen J-P, Zapreev IS, Hahn EM, Hermanns H, Jansen DN. The ins and outs of the probabilistic model checker MRMC In Conference on Quantitative Evaluation of Systems, pages 167\u2013176. IEEE Computer Society, 2009.","DOI":"10.1109\/QEST.2009.11"},{"key":"10.3166\/ejc.16.583-594_bib0220","first-page":"301","article-title":"Optimal control of stochastic hybrid systems based on locally consistent Markov decision processes","volume":"4","author":"Koutsoukos","year":"2004","journal-title":"Int J Hybrid Syst"},{"key":"10.3166\/ejc.16.583-594_bib0225","series-title":"Stochastic Hybrid Systems, number","first-page":"15","article-title":"Stochastic differential equations on hybrid state spaces","author":"Krystul","year":"2006"},{"issue":"2","key":"10.3166\/ejc.16.583-594_bib0230","doi-asserted-by":"crossref","first-page":"457","DOI":"10.1137\/S0363012901389457","article-title":"Numerical approximations for stochastic differential games","volume":"41","author":"Kushner","year":"2002","journal-title":"SIAM J Control Optim"},{"key":"10.3166\/ejc.16.583-594_bib0235","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-0007-6","article-title":"Numerical Methods for Stochastic Control Problems in Continuous Time","author":"Kushner","year":"2001"},{"key":"10.3166\/ejc.16.583-594_bib0240","doi-asserted-by":"crossref","first-page":"470","DOI":"10.1109\/TITS.2006.883108","article-title":"Monte Carlo optimization for conflict resolution in air traffic control","volume":"7","author":"Lecchini","year":"2006","journal-title":"IEEE Trans Intell Transp Syst"},{"key":"10.3166\/ejc.16.583-594_bib0245","series-title":"Handbook of Hybrid Systems Control, Theory Tools Applications","year":"2009"},{"issue":"6","key":"10.3166\/ejc.16.583-594_bib0250","doi-asserted-by":"crossref","first-page":"917","DOI":"10.1016\/j.automatica.2004.01.012","article-title":"On reachability and minimum cost optimal control","volume":"40","author":"Lygeros","year":"2004","journal-title":"Automatica"},{"issue":"1","key":"10.3166\/ejc.16.583-594_bib0255","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1109\/TAC.2002.806650","article-title":"Dynamical properties of hybrid automata","volume":"48","author":"Lygeros","year":"2003","journal-title":"IEEE Trans Autom Control"},{"issue":"1","key":"10.3166\/ejc.16.583-594_bib0260","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/S0890-5401(03)00067-1","article-title":"Hybrid I\/O automata","volume":"185","author":"Lynch","year":"2003","journal-title":"Inf Comput"},{"key":"10.3166\/ejc.16.583-594_bib0265","first-page":"269","article-title":"Nmpc for complex stochastic systems using Markov Chain Monte Carlo","volume":"volume 358 of LNCIS","author":"Maciejowski","year":"2007"},{"key":"10.3166\/ejc.16.583-594_bib0270","article-title":"Stochastic differential equations with Markovian switching","author":"Mao","year":"2006"},{"key":"10.3166\/ejc.16.583-594_bib0275","first-page":"205","article-title":"Stochastic hybrid optimal control models","volume":"16","author":"Menaldi","year":"2001","journal-title":"Aportaciones Matematicas (Sociedad Matematica Mexicana)"},{"key":"10.3166\/ejc.16.583-594_bib0280","unstructured":"Meyn SP, Tweedie RL. Markov Chains and Stochastic Stability. Online edition: http:\/\/probability.ca\/MT\/, 2005. First edition: Springer, London, 1993"},{"key":"10.3166\/ejc.16.583-594_bib0285","first-page":"480","article-title":"A toolbox of Hamilton-Jacobi solvers for analysis of nondeterministic continuous and hybrid systems","volume":"volume 3414 of LNCS","author":"Mitchell","year":"2005"},{"key":"10.3166\/ejc.16.583-594_bib0290","series-title":"Proc. 47th IEEE Conf. on Decision and Control","article-title":"A tractable approximation of chance constrained stochastic MPC based on affine disturbance feedback","author":"Oldewurtel","year":"2008"},{"key":"10.3166\/ejc.16.583-594_bib0295","series-title":"Proceedings of the 2003 IFA Conference on Analysis and Design of Hybrid Systems (ADHS\u201903)","first-page":"45","article-title":"Stochastic hybrid models: An overview with applications to air traffic management","author":"Pola","year":"2003"},{"key":"10.3166\/ejc.16.583-594_bib0300","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1201\/9781420008548.ch5","article-title":"Stochastic reachability: Theory and numerical approximation","volume":"24","author":"Prandini","year":"2006","journal-title":"Stochastic Hybrid Systems"},{"key":"10.3166\/ejc.16.583-594_bib0305","doi-asserted-by":"crossref","unstructured":"Primbs J. A soft constraint approach to stochastic receding horizon control. In Proc. 46th IEEE Conf. on Decision and Control, 2007.","DOI":"10.1109\/CDC.2007.4434064"},{"key":"10.3166\/ejc.16.583-594_bib0310","series-title":"In Hybrid Systems: Computation Control","first-page":"253262","article-title":"On the connections between PCTL dynamic programming","author":"Ramponi","year":"2010"},{"key":"10.3166\/ejc.16.583-594_bib0315","first-page":"429442","article-title":"Modeling and simulation of biochemical processes using stochastic hybrid systems: The sugar cataract development process","volume":"volume 4981 of LNCS","author":"Riley","year":"2008"},{"key":"10.3166\/ejc.16.583-594_bib0320","series-title":"Rare Event Simulation using Monte Carlo Methods","year":"2009"},{"key":"10.3166\/ejc.16.583-594_bib0325","first-page":"501","article-title":"Decidable model checking of probabilistic hybrid automata","volume":"volume 1926 of LNCS","author":"Sproston","year":"2000"},{"key":"10.3166\/ejc.16.583-594_bib0330","doi-asserted-by":"crossref","unstructured":"Strubbe S, van der Schaft A. Compositional modelling of stochastic hybrid systems. In Cassandras CG, Lygeros J, editors, Stochastic Hybrid Systems, Automation and Control Engineering Series 24, pages 47\u201378. Taylor & Francis Group\/CRC Press, 2006.","DOI":"10.1201\/9781420008548.ch3"},{"key":"10.3166\/ejc.16.583-594_bib0335","doi-asserted-by":"crossref","unstructured":"Strubbe SN. Compositional Modelling of Stochastic Hybrid Systems. PhD thesis, Twente University, 2005.","DOI":"10.1201\/9781420008548.ch3"},{"key":"10.3166\/ejc.16.583-594_bib0340","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1016\/S0167-6911(97)00005-4","article-title":"Probabilistic robustness analysis: explicit bounds for the minimum number of samples","volume":"30","author":"Tempo","year":"1997","journal-title":"Syst Control Lett"},{"key":"10.3166\/ejc.16.583-594_bib0345","doi-asserted-by":"crossref","unstructured":"Blom HA, Krystul J, Bakker GJ. Free flight collision risk estimation by sequential MC simulation. In Cassandras CG, Lygeros J, editors, Stochastic Hybrid Systems, Automation and Control Engineering Series 24, pages 247\u2013279. Taylor & Francis Group\/CRC Press, 2006.","DOI":"10.1201\/9781420008548.ch10"},{"key":"10.3166\/ejc.16.583-594_bib0350","doi-asserted-by":"crossref","first-page":"1762","DOI":"10.1109\/TSP.2003.810284","article-title":"Efficient particle filtering for jump Markov systems","volume":"49","author":"Andrieu","year":"2003","journal-title":"Application to time-varying autoregressions. IEEE Trans Signal Process"},{"key":"10.3166\/ejc.16.583-594_bib0355","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1109\/TAES.2007.357154","article-title":"Exact Bayesian and particle filtering of stochastic hybrid systems","volume":"43","author":"Blom","year":"2007","journal-title":"IEEE Trans Aerosp Electron Syst"},{"key":"10.3166\/ejc.16.583-594_bib0360","doi-asserted-by":"crossref","first-page":"1515","DOI":"10.1016\/S0005-1098(01)00122-4","article-title":"Randomized algorithms for robust controller synthesis using statistical learning theory","volume":"37","author":"Vidyasagar","year":"2001","journal-title":"Automatica"},{"key":"10.3166\/ejc.16.583-594_bib0365","series-title":"Bayesian Statistics","first-page":"459","article-title":"Simulation based optimal design","author":"Muller","year":"1999"},{"key":"10.3166\/ejc.16.583-594_bib0370","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/S0167-6911(02)00340-7","article-title":"Randomized algorithms for the synthesis of cautious adaptive controllers","volume":"49","author":"Campi","year":"2003","journal-title":"Syst Control Lett"},{"key":"10.3166\/ejc.16.583-594_bib0375","doi-asserted-by":"crossref","first-page":"742","DOI":"10.1109\/TAC.2006.875041","article-title":"The scenario approach to robust control design","volume":"51","author":"Calafiore","year":"2006","journal-title":"IEEE Trans Autom Control"},{"key":"10.3166\/ejc.16.583-594_bib0380","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/j.arcontrol.2009.07.001","article-title":"The scenario approach for systems and control design","volume":"33","author":"Campi","year":"2009","journal-title":"Annu Rev. Control"},{"key":"10.3166\/ejc.16.583-594_bib0385","doi-asserted-by":"crossref","DOI":"10.1007\/b137802","article-title":"Randomized algorithms for analysis and control of uncertain systems","author":"Tempo","year":"2005"}],"container-title":["European Journal of Control"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0947358010706889?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0947358010706889?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,6,8]],"date-time":"2019-06-08T12:02:35Z","timestamp":1559995355000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0947358010706889"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1]]},"references-count":77,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2010,1]]}},"alternative-id":["S0947358010706889"],"URL":"https:\/\/doi.org\/10.3166\/ejc.16.583-594","relation":{},"ISSN":["0947-3580"],"issn-type":[{"value":"0947-3580","type":"print"}],"subject":[],"published":{"date-parts":[[2010,1]]}}}