{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T01:38:36Z","timestamp":1743039516135,"version":"3.40.3"},"publisher-location":"Cham","reference-count":56,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031438349"},{"type":"electronic","value":"9783031438356"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-43835-6_2","type":"book-chapter","created":{"date-parts":[[2023,9,14]],"date-time":"2023-09-14T14:32:18Z","timestamp":1694701938000},"page":"10-29","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Formal Controller Synthesis for\u00a0Markov Jump Linear Systems with\u00a0Uncertain Dynamics"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9192-9186","authenticated-orcid":false,"given":"Luke","family":"Rickard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5235-1967","authenticated-orcid":false,"given":"Thom","family":"Badings","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5716-6162","authenticated-orcid":false,"given":"Licio","family":"Romao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5627-9093","authenticated-orcid":false,"given":"Alessandro","family":"Abate","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,9,15]]},"reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-78929-1_1","volume-title":"Hybrid Systems: Computation and Control","author":"A Abate","year":"2008","unstructured":"Abate, A., D\u2019Innocenzo, A., Di Benedetto, M.D., Sastry, S.S.: Markov set-chains as abstractions of stochastic hybrid systems. In: Egerstedt, M., Mishra, B. (eds.) HSCC 2008. LNCS, vol. 4981, pp. 1\u201315. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78929-1_1"},{"issue":"6","key":"2_CR2","doi-asserted-by":"publisher","first-page":"624","DOI":"10.3166\/ejc.16.624-641","volume":"16","author":"A Abate","year":"2010","unstructured":"Abate, A., Katoen, J., Lygeros, J., Prandini, M.: Approximate model checking of stochastic hybrid systems. Eur. J. Control 16(6), 624\u2013641 (2010)","journal-title":"Eur. J. Control"},{"issue":"11","key":"2_CR3","doi-asserted-by":"publisher","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. Autom. 44(11), 2724\u20132734 (2008)","journal-title":"Autom."},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Badings, T.S., Abate, A., Jansen, N., Parker, D., Poonawala, H.A., Stoelinga, M.: Sampling-based robust control of autonomous systems with non-gaussian noise. In: AAAI, pp. 9669\u20139678. AAAI Press (2022)","DOI":"10.1609\/aaai.v36i9.21201"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Badings, T.S., Romao, L., Abate, A., Jansen, N.: Probabilities are not enough: formal controller synthesis for stochastic dynamical models with epistemic uncertainty. In: AAAI, pp. 14701\u201314710. AAAI Press (2023)","DOI":"10.1609\/aaai.v37i12.26718"},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1613\/jair.1.14253","volume":"76","author":"TS Badings","year":"2023","unstructured":"Badings, T.S., et al.: Robust control for dynamical systems with non-gaussian noise via formal abstractions. J. Artif. Intell. Res. 76, 341\u2013391 (2023)","journal-title":"J. Artif. Intell. Res."},{"key":"2_CR7","unstructured":"Baier, C., Katoen, J.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"key":"2_CR8","series-title":"Studies in Systems, Decision and Control","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-50763-7","volume-title":"Formal Methods for Discrete-Time Dynamical Systems","author":"C Belta","year":"2017","unstructured":"Belta, C., Yordanov, B., Aydin Gol, E.: Formal Methods for Discrete-Time Dynamical Systems. SSDC, vol. 89. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-50763-7"},{"issue":"6","key":"2_CR9","doi-asserted-by":"publisher","first-page":"1447","DOI":"10.1007\/s12555-015-0121-0","volume":"14","author":"M Benbrahim","year":"2016","unstructured":"Benbrahim, M., Kabbaj, M., Benjelloun, K.: Robust control under constraints of linear systems with markovian jumps. Int. J. Control Autom. Syst. 14(6), 1447\u20131454 (2016)","journal-title":"Int. J. Control Autom. Syst."},{"issue":"3","key":"2_CR10","doi-asserted-by":"publisher","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."},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Boucheron, S., Lugosi, G., Massart, P.: Concentration Inequalities - A Nonasymptotic Theory of Independence. Oxford University Press, Oxford (2013)","DOI":"10.1093\/acprof:oso\/9780199535255.001.0001"},{"issue":"3","key":"2_CR12","doi-asserted-by":"publisher","first-page":"516","DOI":"10.1109\/9.989152","volume":"47","author":"EK Boukas","year":"2002","unstructured":"Boukas, E.K., Benzaouia, A.: Stability of discrete-time linear systems with markovian jumping parameters and constrained control. IEEE Trans. Autom. Control. 47(3), 516\u2013521 (2002)","journal-title":"IEEE Trans. Autom. Control."},{"key":"2_CR13","doi-asserted-by":"publisher","first-page":"10415","DOI":"10.1109\/ACCESS.2019.2891506","volume":"7","author":"H Cai","year":"2019","unstructured":"Cai, H., Li, P., Su, C., Cao, J.: Robust model predictive control for a class of discrete-time markovian jump linear systems with operation mode disordering. IEEE Access 7, 10415\u201310427 (2019)","journal-title":"IEEE Access"},{"issue":"3","key":"2_CR14","doi-asserted-by":"publisher","first-page":"1211","DOI":"10.1137\/07069821X","volume":"19","author":"MC Campi","year":"2008","unstructured":"Campi, M.C., Garatti, S.: The exact feasibility of randomized solutions of uncertain convex programs. SIAM J. Optim. 19(3), 1211\u20131230 (2008)","journal-title":"SIAM J. Optim."},{"issue":"2","key":"2_CR15","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/s10957-010-9754-6","volume":"148","author":"MC Campi","year":"2011","unstructured":"Campi, M.C., Garatti, S.: A sampling-and-discarding approach to chance-constrained optimization: feasibility and optimality. J. Optim. Theory Appl. 148(2), 257\u2013280 (2011)","journal-title":"J. Optim. Theory Appl."},{"issue":"2","key":"2_CR16","doi-asserted-by":"publisher","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. Annu. Rev. Control. 33(2), 149\u2013157 (2009)","journal-title":"Annu. Rev. Control."},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Cauchi, N., Laurenti, L., Lahijanian, M., Abate, A., Kwiatkowska, M., Cardelli, L.: Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems. In: HSCC, pp. 240\u2013251. ACM (2019)","DOI":"10.1145\/3302504.3311805"},{"key":"2_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/3-540-36577-X_14","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E Clarke","year":"2003","unstructured":"Clarke, E., Fehnker, A., Han, Z., Krogh, B., Stursberg, O., Theobald, M.: Verification of hybrid systems based on counterexample-guided abstraction refinement. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol. 2619, pp. 192\u2013207. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-36577-X_14"},{"issue":"11","key":"2_CR19","doi-asserted-by":"publisher","first-page":"2142","DOI":"10.1080\/00207721.2019.1647305","volume":"50","author":"RF Cunha","year":"2019","unstructured":"Cunha, R.F., Gabriel, G.W., Geromel, J.C.: Robust partial sampled-data state feedback control of markov jump linear systems. Int. J. Syst. Sci. 50(11), 2142\u20132152 (2019)","journal-title":"Int. J. Syst. Sci."},{"key":"2_CR20","doi-asserted-by":"publisher","unstructured":"Do Costa, O.L.V., Marques, R.P., Fragoso, M.D.: Discrete-Time Markov Jump Linear Systems. Springer, London (2005). https:\/\/doi.org\/10.1007\/b138575","DOI":"10.1007\/b138575"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"de Farias, D.P., Geromel, J.C., do Val, J.B.R., Costa, O.L.V.: Output feedback control of markov jump linear systems in continuous-time. IEEE Trans. Autom. Control 45(5), 944\u2013949 (2000)","DOI":"10.1109\/9.855557"},{"key":"2_CR22","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1016\/j.automatica.2017.08.015","volume":"86","author":"GW Gabriel","year":"2017","unstructured":"Gabriel, G.W., Geromel, J.C.: Performance evaluation of sampled-data control of markov jump linear systems. Autom. 86, 212\u2013215 (2017)","journal-title":"Autom."},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"G\u00e9cseg, F.: Products of Automata, EATCS Monographs on Theoretical Computer Science, vol. 7. Springer (1986)","DOI":"10.1007\/978-3-642-61611-2"},{"issue":"1\u20132","key":"2_CR24","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/S0004-3702(00)00047-3","volume":"122","author":"R Givan","year":"2000","unstructured":"Givan, R., Leach, S.M., Dean, T.L.: Bounded-parameter markov decision processes. Artif. Intell. 122(1\u20132), 71\u2013109 (2000)","journal-title":"Artif. Intell."},{"issue":"5","key":"2_CR25","doi-asserted-by":"publisher","first-page":"1626","DOI":"10.1137\/S0363012901383837","volume":"41","author":"JI Gonz\u00e1lez-Trejo","year":"2002","unstructured":"Gonz\u00e1lez-Trejo, J.I., Hern\u00e1ndez-Lerma, O., Reyes, L.F.H.: Minimax control of discrete-time stochastic systems. SIAM J. Control. Optim. 41(5), 1626\u20131659 (2002)","journal-title":"SIAM J. Control. Optim."},{"key":"2_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-642-20398-5_12","volume-title":"NASA Formal Methods","author":"EM Hahn","year":"2011","unstructured":"Hahn, E.M., Han, T., Zhang, L.: Synthesis for PCTL in parametric markov decision processes. In: Bobaru, M., Havelund, K., Holzmann, G.J., Joshi, R. (eds.) NFM 2011. LNCS, vol. 6617, pp. 146\u2013161. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-20398-5_12"},{"issue":"5","key":"2_CR27","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H Hansson","year":"1994","unstructured":"Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Formal Aspects Comput. 6(5), 512\u2013535 (1994)","journal-title":"Formal Aspects Comput."},{"issue":"2","key":"2_CR28","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1016\/j.ic.2010.11.024","volume":"209","author":"H Hermanns","year":"2011","unstructured":"Hermanns, H., Parma, A., Segala, R., Wachter, B., Zhang, L.: Probabilistic logical characterization. Inf. Comput. 209(2), 154\u2013172 (2011)","journal-title":"Inf. Comput."},{"issue":"1","key":"2_CR29","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1109\/JPROC.2006.887288","volume":"95","author":"JP Hespanha","year":"2007","unstructured":"Hespanha, J.P., Naghshtabrizi, P., Xu, Y.: A survey of recent results in networked control systems. Proc. IEEE 95(1), 138\u2013162 (2007)","journal-title":"Proc. IEEE"},{"issue":"11","key":"2_CR30","doi-asserted-by":"publisher","first-page":"2025","DOI":"10.1016\/j.automatica.2006.05.029","volume":"42","author":"L Hu","year":"2006","unstructured":"Hu, L., Shi, P., Frank, P.M.: Robust sampled-data control for markovian jump linear systems. Autom. 42(11), 2025\u20132030 (2006)","journal-title":"Autom."},{"key":"2_CR31","first-page":"126968","volume":"422","author":"B Jiang","year":"2022","unstructured":"Jiang, B., Wu, Z., Karimi, H.R.: A traverse algorithm approach to stochastic stability analysis of markovian jump systems with unknown and uncertain transition rates. Appl. Math. Comput. 422, 126968 (2022)","journal-title":"Appl. Math. Comput."},{"key":"2_CR32","doi-asserted-by":"crossref","unstructured":"Knight, J.C.: Safety critical systems: challenges and directions. In: ICSE, pp. 547\u2013550. ACM (2002)","DOI":"10.1145\/581339.581406"},{"key":"2_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585\u2013591. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22110-1_47"},{"issue":"8","key":"2_CR34","doi-asserted-by":"publisher","first-page":"2031","DOI":"10.1109\/TAC.2015.2398883","volume":"60","author":"M Lahijanian","year":"2015","unstructured":"Lahijanian, M., Andersson, S.B., Belta, C.: Formal verification and synthesis for discrete-time stochastic systems. IEEE Trans. Autom. Control. 60(8), 2031\u20132045 (2015)","journal-title":"IEEE Trans. Autom. Control."},{"key":"2_CR35","doi-asserted-by":"publisher","first-page":"110617","DOI":"10.1016\/j.automatica.2022.110617","volume":"146","author":"A Lavaei","year":"2022","unstructured":"Lavaei, A., Soudjani, S., Abate, A., Zamani, M.: Automated verification and synthesis of stochastic hybrid systems: a survey. Autom. 146, 110617 (2022)","journal-title":"Autom."},{"issue":"8","key":"2_CR36","doi-asserted-by":"publisher","first-page":"710","DOI":"10.1049\/iet-spr.2012.0325","volume":"7","author":"W Li","year":"2013","unstructured":"Li, W., Xu, Y., Li, H.: Robust l$${}_{{2}}$$-$${l_{\\infty }}$$ filtering for discrete-time markovian jump linear systems with multiple sensor faults, uncertain transition probabilities and time-varying delays. IET Signal Process. 7(8), 710\u2013719 (2013)","journal-title":"IET Signal Process."},{"key":"2_CR37","unstructured":"Lindemann, L., et al.: Learning hybrid control barrier functions from data. In: CoRL. Proceedings of Machine Learning Research, vol. 155, pp. 1351\u20131370. PMLR (2020)"},{"key":"2_CR38","doi-asserted-by":"crossref","unstructured":"Lun, Y.Z., Wheatley, J., D\u2019Innocenzo, A., Abate, A.: Approximate abstractions of markov chains with interval decision processes. In: ADHS. IFAC-PapersOnLine, vol. 51, pp. 91\u201396. Elsevier (2018)","DOI":"10.1016\/j.ifacol.2018.08.016"},{"key":"2_CR39","doi-asserted-by":"crossref","unstructured":"Lunze, J., Lamnabhi-Lagarrigue, F. (eds.): Handbook of Hybrid Systems Control: Theory, Tools, Applications. Cambridge University Press, Cambridge (2009)","DOI":"10.1017\/CBO9780511807930"},{"key":"2_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"566","DOI":"10.1007\/978-3-642-14295-6_49","volume-title":"Computer Aided Verification","author":"M Mazo","year":"2010","unstructured":"Mazo, M., Davitian, A., Tabuada, P.: PESSOA: a tool for embedded controller synthesis. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol. 6174, pp. 566\u2013569. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-14295-6_49"},{"key":"2_CR41","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/j.tcs.2018.06.020","volume":"747","author":"E Moggi","year":"2018","unstructured":"Moggi, E., Farjudian, A., Duracz, A., Taha, W.: Safe & robust reachability analysis of hybrid systems. Theor. Comput. Sci. 747, 75\u201399 (2018)","journal-title":"Theor. Comput. Sci."},{"key":"2_CR42","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1016\/j.automatica.2018.06.014","volume":"95","author":"CF Morais","year":"2018","unstructured":"Morais, C.F., Palma, J.M., Peres, P.L.D., Oliveira, R.C.L.F.: An LMI approach for H2 and H$$\\infty $$ reduced-order filtering of uncertain discrete-time markov and bernoulli jump linear systems. Automatica 95, 463\u2013471 (2018)","journal-title":"Automatica"},{"key":"2_CR43","doi-asserted-by":"publisher","first-page":"110513","DOI":"10.1016\/j.automatica.2022.110513","volume":"145","author":"A Nejati","year":"2022","unstructured":"Nejati, A., Soudjani, S., Zamani, M.: Compositional construction of control barrier functions for continuous-time stochastic hybrid systems. Automatica 145, 110513 (2022)","journal-title":"Automatica"},{"key":"2_CR44","doi-asserted-by":"crossref","unstructured":"Platzer, A.: Logics of dynamical systems. In: LICS, pp. 13\u201324. IEEE Computer Society (2012)","DOI":"10.1109\/LICS.2012.13"},{"key":"2_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1007\/978-3-642-39799-8_35","volume-title":"Computer Aided Verification","author":"A Puggelli","year":"2013","unstructured":"Puggelli, A., Li, W., Sangiovanni-Vincentelli, A.L., Seshia, S.A.: Polynomial-time verification of PCTL properties of MDPs with convex uncertainties. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 527\u2013542. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39799-8_35"},{"key":"2_CR46","doi-asserted-by":"crossref","unstructured":"Ramponi, F., Chatterjee, D., Summers, S., Lygeros, J.: On the connections between PCTL and dynamic programming. In: HSCC, pp. 253\u2013262. ACM (2010)","DOI":"10.1145\/1755952.1755988"},{"key":"2_CR47","unstructured":"Rickard, L., Badings, T.S., Romao, L., Abate, A.: Formal controller synthesis for markov jump linear systems with uncertain dynamics. Technical Report (2023). https:\/\/www.lukerickard.co.uk\/RBRA23.pdf"},{"key":"2_CR48","doi-asserted-by":"crossref","unstructured":"Robey, A., Lindemann, L., Tu, S., Matni, N.: Learning robust hybrid control barrier functions for uncertain systems. In: ADHS. IFAC-PapersOnLine, vol. 54, pp. 1\u20136. Elsevier (2021)","DOI":"10.1016\/j.ifacol.2021.08.465"},{"issue":"4","key":"2_CR49","doi-asserted-by":"publisher","first-page":"1986","DOI":"10.1109\/TAC.2022.3165320","volume":"68","author":"L Romao","year":"2023","unstructured":"Romao, L., Papachristodoulou, A., Margellos, K.: On the exact feasibility of convex scenario programs with discarded constraints. IEEE Trans. Autom. Control. 68(4), 1986\u20132001 (2023)","journal-title":"IEEE Trans. Autom. Control."},{"issue":"2","key":"2_CR50","doi-asserted-by":"publisher","first-page":"921","DOI":"10.1137\/120871456","volume":"12","author":"SEZ Soudjani","year":"2013","unstructured":"Soudjani, S.E.Z., Abate, A.: Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes. SIAM J. Appl. Dyn. Syst. 12(2), 921\u2013956 (2013)","journal-title":"SIAM J. Appl. Dyn. Syst."},{"key":"2_CR51","doi-asserted-by":"crossref","unstructured":"Tabuada, P.: Verification and Control of Hybrid Systems - A Symbolic Approach. Springer (2009)","DOI":"10.1007\/978-1-4419-0224-5"},{"issue":"8","key":"2_CR52","doi-asserted-by":"publisher","first-page":"2069","DOI":"10.1016\/j.jfranklin.2013.05.011","volume":"350","author":"E Tian","year":"2013","unstructured":"Tian, E., Yue, D., Wei, G.: Robust control for markovian jump systems with partially known transition probabilities and nonlinearities. J. Frankl. Inst. 350(8), 2069\u20132083 (2013)","journal-title":"J. Frankl. Inst."},{"key":"2_CR53","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.tcs.2013.09.032","volume":"515","author":"I Tkachev","year":"2014","unstructured":"Tkachev, I., Abate, A.: Characterization and computation of infinite horizon specifications over markov processes. Theor. Comput. Sci. 515, 1\u201318 (2014)","journal-title":"Theor. Comput. Sci."},{"key":"2_CR54","doi-asserted-by":"crossref","unstructured":"do Valle Costa, O.L., Fragoso, M.D.: Discrete-time LG-optimal control problems for infinite markov jump parameter systems. IEEE Trans. Autom. Control. 40(12), 2076\u20132088 (1995)","DOI":"10.1109\/9.478328"},{"key":"2_CR55","doi-asserted-by":"crossref","unstructured":"do Valle Costa, O.L., Fragoso, M.D., Todorov, M.G.: A detector-based approach for the h$${}_{{2}}$$ control of markov jump linear systems with partial information. IEEE Trans. Autom. Control. 60(5), 1219\u20131234 (2015)","DOI":"10.1109\/TAC.2014.2366253"},{"issue":"2","key":"2_CR56","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1016\/j.automatica.2008.08.010","volume":"45","author":"L Zhang","year":"2009","unstructured":"Zhang, L., Boukas, E.K.: Stability and stabilization of markovian jump linear systems with partly unknown transition probabilities. Automatica 45(2), 463\u2013468 (2009)","journal-title":"Automatica"}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-43835-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,14]],"date-time":"2023-09-14T14:35:07Z","timestamp":1694702107000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-43835-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031438349","9783031438356"],"references-count":56,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-43835-6_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"15 September 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"QEST","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Quantitative Evaluation of Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Antwerp","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Belgium","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 September 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 September 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"qest2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.qest.org\/qest2023\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"44","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"23","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"52% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.5","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}