{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T17:30:20Z","timestamp":1777656620931,"version":"3.51.4"},"reference-count":33,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2023,5,1]],"date-time":"2023-05-01T00:00:00Z","timestamp":1682899200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2023,5,1]],"date-time":"2023-05-01T00:00:00Z","timestamp":1682899200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2023,5,1]],"date-time":"2023-05-01T00:00:00Z","timestamp":1682899200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-017"},{"start":{"date-parts":[[2023,5,1]],"date-time":"2023-05-01T00:00:00Z","timestamp":1682899200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"},{"start":{"date-parts":[[2023,5,1]],"date-time":"2023-05-01T00:00:00Z","timestamp":1682899200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-012"},{"start":{"date-parts":[[2023,5,1]],"date-time":"2023-05-01T00:00:00Z","timestamp":1682899200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,5,1]],"date-time":"2023-05-01T00:00:00Z","timestamp":1682899200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-004"}],"funder":[{"DOI":"10.13039\/501100004004","name":"Universita degli Studi di Trento","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004004","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Automatica"],"published-print":{"date-parts":[[2023,5]]},"DOI":"10.1016\/j.automatica.2023.110921","type":"journal-article","created":{"date-parts":[[2023,2,15]],"date-time":"2023-02-15T03:43:40Z","timestamp":1676432620000},"page":"110921","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":6,"special_numbering":"C","title":["A Markovian model for the spread of the SARS-CoV-2 virus"],"prefix":"10.1016","volume":"151","author":[{"given":"Luigi","family":"Palopoli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniele","family":"Fontanelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Frego","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Roveri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/j.automatica.2023.110921_b1","article-title":"Control theory meets pomdps: A hybrid systems approach","author":"Ahmadi","year":"2020","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.automatica.2023.110921_b2","series-title":"Lecture notes in mathematics","isbn-type":"print","article-title":"Mathematical epidemiology","author":"Allen","year":"2008","ISBN":"https:\/\/id.crossref.org\/isbn\/9783540789109"},{"key":"10.1016\/j.automatica.2023.110921_b3","series-title":"Dynamics and control","isbn-type":"print","article-title":"Infectious diseases of humans: Dynamics and control","author":"Anderson","year":"1992","ISBN":"https:\/\/id.crossref.org\/isbn\/9780198540403"},{"key":"10.1016\/j.automatica.2023.110921_b4","series-title":"Principles of model checking","isbn-type":"print","author":"Baier","year":"2008","ISBN":"https:\/\/id.crossref.org\/isbn\/9780262026499"},{"issue":"6","key":"10.1016\/j.automatica.2023.110921_b5","article-title":"Essai d\u2019une nouvelle analyse de la mortalite causee par la petite ve- role, et des avantage de l\u2019inoculation pour la prevenir","volume":"1","author":"Bernoulli","year":"1760","journal-title":"Memoirs Physics Academy Royal Science"},{"key":"10.1016\/j.automatica.2023.110921_b6","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1016\/j.automatica.2015.10.046","article-title":"Compartmental flow control: Decentralization, robustness and optimality","volume":"64","author":"Blanchini","year":"2016","journal-title":"Automatica","ISSN":"https:\/\/id.crossref.org\/issn\/0005-1098","issn-type":"print"},{"key":"10.1016\/j.automatica.2023.110921_b7","series-title":"Mathematical models in epidemiology. Texts in applied mathematics","isbn-type":"print","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4939-9828-9","author":"Brauer","year":"2019","ISBN":"https:\/\/id.crossref.org\/isbn\/9781493998289"},{"issue":"1\u20132","key":"10.1016\/j.automatica.2023.110921_b8","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0304-3975(88)90098-9","article-title":"Characterizing finite kripke structures in propositional temporal logic","volume":"59","author":"Browne","year":"1988","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/j.automatica.2023.110921_b9","series-title":"Introduction to discrete event systems","author":"Cassandras","year":"2009"},{"key":"10.1016\/j.automatica.2023.110921_b10","series-title":"Epidemic analysis using traditional model checking and stochastic simulation","author":"Chauhan","year":"2015"},{"key":"10.1016\/j.automatica.2023.110921_b11","doi-asserted-by":"crossref","first-page":"2741","DOI":"10.1039\/c1mb05060e","article-title":"How many trimers? modeling influenza virus fusion yields a minimum aggregate size of six trimers, three of which are fusogenic","volume":"7","author":"Dobay","year":"2011","journal-title":"Mol. BioSyst."},{"key":"10.1016\/j.automatica.2023.110921_b12","series-title":"Handbook of Markov decision processes: Methods and applications","author":"Feinberg","year":"2012"},{"key":"10.1016\/j.automatica.2023.110921_b13","series-title":"Formal methods for eternal networked software systems","first-page":"53","article-title":"Automated verification techniques for probabilistic systems","volume":"vol. 6659","author":"Forejt","year":"2011"},{"key":"10.1016\/j.automatica.2023.110921_b14","doi-asserted-by":"crossref","first-page":"591","DOI":"10.2307\/2528598","article-title":"Markov chain methods in chain binomial epidemic models","author":"Gani","year":"1971","journal-title":"Biometrics"},{"issue":"2","key":"10.1016\/j.automatica.2023.110921_b15","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/S0005-1098(96)00163-X","article-title":"Pid control of a chaotic system: An application to an epidemiological model","volume":"33","author":"Ghezzi","year":"1997","journal-title":"Automatica","ISSN":"https:\/\/id.crossref.org\/issn\/0005-1098","issn-type":"print"},{"key":"10.1016\/j.automatica.2023.110921_b16","first-page":"1","article-title":"Modelling the covid-19 epidemic and implementation of population-wide interventions in italy","author":"Giordano","year":"2020","journal-title":"Nature Medicine"},{"key":"10.1016\/j.automatica.2023.110921_b17","series-title":"2018 IEEE conference on decision and control","first-page":"35","article-title":"Controlling large, graph-based mdps with global control capacity constraints: An approximate lp solut","author":"Haksar","year":"2018"},{"issue":"5","key":"10.1016\/j.automatica.2023.110921_b18","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":"Formal Aspects of Computing"},{"issue":"1","key":"10.1016\/j.automatica.2023.110921_b19","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/j.automatica.2011.09.044","article-title":"Dynamics of a multigroup sir epidemic model with stochastic perturbation","volume":"48","author":"Ji","year":"2012","journal-title":"Automatica","ISSN":"https:\/\/id.crossref.org\/issn\/0005-1098","issn-type":"print"},{"issue":"1\u20132","key":"10.1016\/j.automatica.2023.110921_b20","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/S0004-3702(98)00023-X","article-title":"Planning and acting in partially observable stochastic domains","volume":"101","author":"Kaelbling","year":"1998","journal-title":"Artificial Intelligence"},{"issue":"772","key":"10.1016\/j.automatica.2023.110921_b21","first-page":"700","article-title":"A contribution to the mathematical theory of epidemics","volume":"115","author":"Kermack","year":"1927","journal-title":"Proceedings of the Royal Society of London. Series A, Containing Papers of A Mathematical and Physical Character"},{"key":"10.1016\/j.automatica.2023.110921_b22","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1016\/j.automatica.2016.07.037","article-title":"Stability of epidemic models over directed graphs: A positive systems approach","volume":"74","author":"Khanafer","year":"2016","journal-title":"Automatica","ISSN":"https:\/\/id.crossref.org\/issn\/0005-1098","issn-type":"print"},{"key":"10.1016\/j.automatica.2023.110921_b23","series-title":"International conference on computer aided verification","first-page":"585","article-title":"4.0: Verification of probabilistic real-time systems","author":"Kwiatkowska","year":"2011"},{"issue":"5","key":"10.1016\/j.automatica.2023.110921_b24","doi-asserted-by":"crossref","first-page":"820","DOI":"10.1016\/j.automatica.2012.02.010","article-title":"The asymptotic behavior of stochastically perturbed di sir epidemic models with saturated incidences","volume":"48","author":"Liu","year":"2012","journal-title":"Automatica","ISSN":"https:\/\/id.crossref.org\/issn\/0005-1098","issn-type":"print"},{"issue":"10","key":"10.1016\/j.automatica.2023.110921_b25","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s42452-020-03499-z","article-title":"Epidemics control model with consideration of seven-segment population model","volume":"2","author":"Nasir","year":"2020","journal-title":"SN Applied Sciences"},{"issue":"12","key":"10.1016\/j.automatica.2023.110921_b26","first-page":"1","article-title":"Petri net and probabilistic model checking based approach for the modelling, simulation and verification of internet worm propagation","volume":"10","author":"Razzaq","year":"2016","journal-title":"PLOS ONE"},{"key":"10.1016\/j.automatica.2023.110921_b27","series-title":"Epidemiological characteristics of Covid-19 cases and estimates of the reproductive numbers 1 month into the epidemic, Italy, 28 January To 31 March 2020","author":"Riccardo","year":"2020"},{"key":"10.1016\/j.automatica.2023.110921_b28","series-title":"Int. conf. of the Italian association for artificial intelligence (AIxIA)","article-title":"Verifying a stochastic model for the spread of a SARS-CoV-2-like infection: opportunities and limitations","author":"Roveri","year":"2023"},{"issue":"S11","key":"10.1016\/j.automatica.2023.110921_b29","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1002\/ajpa.1330330511","article-title":"Modeling the spread of infectious disease in human populations","volume":"33","author":"Sattenspiel","year":"1990","journal-title":"American Journal of Physical Anthropology"},{"issue":"1","key":"10.1016\/j.automatica.2023.110921_b30","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1016\/j.mbs.2006.09.018","article-title":"Some properties of a simple stochastic epidemic model of sir type","volume":"208","author":"Tuckwell","year":"2007","journal-title":"Mathematical Biosciences","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5564","issn-type":"print"},{"issue":"6","key":"10.1016\/j.automatica.2023.110921_b31","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1371\/journal.pone.0197612","article-title":"A modelling framework based on mdp to coordinate farmers\u2019 disease control decisions at a regional scale","volume":"13","author":"Viet","year":"2018","journal-title":"PLOS ONE"},{"key":"10.1016\/j.automatica.2023.110921_b32","doi-asserted-by":"crossref","DOI":"10.1016\/j.chaos.2020.109883","article-title":"Optimal policies for control of the novel coronavirus disease (covid-19) outbreak","volume":"136","author":"Yousefpour","year":"2020","journal-title":"Chaos, Solitons & Fractals","ISSN":"https:\/\/id.crossref.org\/issn\/0960-0779","issn-type":"print"},{"key":"10.1016\/j.automatica.2023.110921_b33","doi-asserted-by":"crossref","DOI":"10.1016\/j.epidem.2021.100530","article-title":"A quantitative assessment of epidemiological parameters required to investigate covid-19 burden","volume":"37","author":"Zardini","year":"2021","journal-title":"Epidemics","ISSN":"https:\/\/id.crossref.org\/issn\/1755-4365","issn-type":"print"}],"container-title":["Automatica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0005109823000717?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0005109823000717?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T13:33:42Z","timestamp":1762090422000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0005109823000717"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5]]},"references-count":33,"alternative-id":["S0005109823000717"],"URL":"https:\/\/doi.org\/10.1016\/j.automatica.2023.110921","relation":{},"ISSN":["0005-1098"],"issn-type":[{"value":"0005-1098","type":"print"}],"subject":[],"published":{"date-parts":[[2023,5]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"A Markovian model for the spread of the SARS-CoV-2 virus","name":"articletitle","label":"Article Title"},{"value":"Automatica","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.automatica.2023.110921","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2023 Elsevier Ltd. All rights reserved.","name":"copyright","label":"Copyright"}],"article-number":"110921"}}