{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:58:35Z","timestamp":1740099515162,"version":"3.37.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030296612"},{"type":"electronic","value":"9783030296629"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-29662-9_15","type":"book-chapter","created":{"date-parts":[[2019,8,19]],"date-time":"2019-08-19T23:03:06Z","timestamp":1566255786000},"page":"247-264","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Sandboxing Controllers for Stochastic Cyber-Physical Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6557-2374","authenticated-orcid":false,"given":"Bingzhuo","family":"Zhong","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6608-3708","authenticated-orcid":false,"given":"Majid","family":"Zamani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2328-044X","authenticated-orcid":false,"given":"Marco","family":"Caccamo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,8,13]]},"reference":[{"issue":"11","key":"15_CR1","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. Automatica 44(11), 2724\u20132734 (2008). https:\/\/doi.org\/10.1016\/j.automatica.2008.03.027","journal-title":"Automatica"},{"key":"15_CR2","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2018.2889866","author":"F Abdi","year":"2018","unstructured":"Abdi, F., Chen, C.Y., Hasan, M., Liu, S., Mohan, S., Caccamo, M.: Preserving physical safety under cyber attacks. IEEE Internet Things J. (2018). https:\/\/doi.org\/10.1109\/JIOT.2018.2889866","journal-title":"IEEE Internet Things J."},{"key":"15_CR3","doi-asserted-by":"publisher","unstructured":"Abdi, F., Tabish, R., Rungger, M., Zamani, M., Caccamo, M.: Application and system-level software fault tolerance through full system restarts. In: 2017 ACM\/IEEE 8th International Conference on Cyber-Physical Systems (ICCPS), pp. 197\u2013206. IEEE (2017). https:\/\/doi.org\/10.1145\/3055004.3055012","DOI":"10.1145\/3055004.3055012"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Alshiekh, M., Bloem, R., Ehlers, R., K\u00f6nighofer, B., Niekum, S., Topcu, U.: Safe reinforcement learning via shielding. In: Thirty-Second AAAI Conference on Artificial Intelligence (2018)","DOI":"10.1609\/aaai.v32i1.11797"},{"key":"15_CR5","doi-asserted-by":"publisher","unstructured":"Bak, S., Johnson, T.T., Caccamo, M., Sha, L.: Real-time reachability for verified simplex design. In: 2014 IEEE Real-Time Systems Symposium, pp. 138\u2013148. IEEE (2014). https:\/\/doi.org\/10.1109\/RTSS.2014.21","DOI":"10.1109\/RTSS.2014.21"},{"key":"15_CR6","doi-asserted-by":"publisher","unstructured":"Bak, S., Manamcheri, K., Mitra, S., Caccamo, M.: Sandboxing controllers for cyber-physical systems. In: 2011 IEEE\/ACM Second International Conference on Cyber-Physical Systems, pp. 3\u201312. IEEE (2011). https:\/\/doi.org\/10.1109\/ICCPS.2011.25","DOI":"10.1109\/ICCPS.2011.25"},{"key":"15_CR7","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1007\/978-3-662-46681-0_51","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Roderick Bloem","year":"2015","unstructured":"Bloem, R., K\u00f6nighofer, B., K\u00f6nighofer, R., Wang, C.: Shield synthesis: runtime enforcement for reactive systems. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp. 533\u2013548. Springer (2015). https:\/\/doi.org\/10.1007\/978-3-662-46681-0_51"},{"key":"15_CR8","doi-asserted-by":"publisher","unstructured":"Crenshaw, T.L., Gunter, E., Robinson, C.L., Sha, L., Kumar, P.: The simplex reference model: limiting fault-propagation due to unreliable components in cyber-physical system architectures. In: 28th IEEE International Real-Time Systems Symposium, RTSS 2007, pp. 400\u2013412. IEEE (2007). https:\/\/doi.org\/10.1109\/RTSS.2007.34","DOI":"10.1109\/RTSS.2007.34"},{"key":"15_CR9","doi-asserted-by":"publisher","unstructured":"Esmaeil Zadeh Soudjani, S.: Formal abstractions for automated verification and synthesis of stochastic systems. Ph.D. thesis, Technical University of Delft (2014). https:\/\/doi.org\/10.4233\/uuid:201d5145-0717-4dea-b0d0-c018e510fdaa","DOI":"10.4233\/uuid:201d5145-0717-4dea-b0d0-c018e510fdaa"},{"key":"15_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0729-0","volume-title":"Discrete-Time Markov Control Processes: Basic Optimality Criteria","author":"O Hern\u00e1ndez-Lerma","year":"1996","unstructured":"Hern\u00e1ndez-Lerma, O., Lasserre, J.B.: Discrete-Time Markov Control Processes: Basic Optimality Criteria. Springer, New York (1996). https:\/\/doi.org\/10.1007\/978-1-4612-0729-0"},{"issue":"5","key":"15_CR11","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1109\/MCS.2011.941961","volume":"31","author":"N Hovakimyan","year":"2011","unstructured":"Hovakimyan, N., Cao, C., Kharisov, E., Xargay, E., Gregory, I.M.: L 1 adaptive control for safety-critical systems. IEEE Control Syst. Mag. 31(5), 54\u2013104 (2011). https:\/\/doi.org\/10.1109\/MCS.2011.941961","journal-title":"IEEE Control Syst. Mag."},{"key":"15_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-319-49052-6_9","volume-title":"Hardware and Software: Verification and Testing","author":"L Humphrey","year":"2016","unstructured":"Humphrey, L., K\u00f6nighofer, B., K\u00f6nighofer, R., Topcu, U.: Synthesis of admissible shields. In: Bloem, R., Arbel, E. (eds.) HVC 2016. LNCS, vol. 10028, pp. 134\u2013151. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-49052-6_9"},{"issue":"3","key":"15_CR13","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1023\/A:1011254632723","volume":"19","author":"O Kupferman","year":"2001","unstructured":"Kupferman, O., Vardi, M.Y.: Model checking of safety properties. Form. Methods Syst. Des. 19(3), 291\u2013314 (2001). https:\/\/doi.org\/10.1023\/A:1011254632723","journal-title":"Form. Methods Syst. Des."},{"key":"15_CR14","doi-asserted-by":"publisher","unstructured":"Lavaei, A., Soudjani, S., Zamani, M.: From dissipativity theory to compositional construction of finite Markov decision processes. In: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), pp. 21\u201330. ACM (2018). https:\/\/doi.org\/10.1145\/3178126.3178135","DOI":"10.1145\/3178126.3178135"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Lavaei, A., Soudjani, S., Zamani, M.: Compositional synthesis of large-scale stochastic systems: a relaxed dissipativity approach. arXiv preprint arXiv:1902.01223 (2019)","DOI":"10.1109\/CDC40024.2019.9029485"},{"issue":"1","key":"15_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1287\/mnsc.28.1.1","volume":"28","author":"GE Monahan","year":"1982","unstructured":"Monahan, G.E.: State of the art\u2013a survey of partially observable markov decision processes: theory, models, and algorithms. Manag. Sci. 28(1), 1\u201316 (1982). https:\/\/doi.org\/10.1287\/mnsc.28.1.1","journal-title":"Manag. Sci."},{"issue":"8","key":"15_CR17","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1145\/1536616.1536634","volume":"52","author":"C Reis","year":"2009","unstructured":"Reis, C., Barth, A., Pizano, C.: Browser security: lessons from google chrome. Commun. ACM 52(8), 45\u201349 (2009). https:\/\/doi.org\/10.1145\/1536616.1536634","journal-title":"Commun. ACM"},{"issue":"4","key":"15_CR18","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1109\/MS.2001.936213","volume":"18","author":"Lui Sha","year":"2001","unstructured":"Sha, L.: Using simplicity to control complexity. IEEE Softw. 20\u201328 (2001). https:\/\/doi.org\/10.1109\/MS.2001.936213","journal-title":"IEEE Software"},{"key":"15_CR19","doi-asserted-by":"publisher","unstructured":"Tkachev, I., Mereacre, A., Katoen, J.P., Abate, A.: Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems. In: Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, pp. 293\u2013302. ACM (2013). https:\/\/doi.org\/10.1145\/2461328.2461373","DOI":"10.1145\/2461328.2461373"},{"key":"15_CR20","doi-asserted-by":"publisher","unstructured":"Wang, X., Hovakimyan, N., Sha, L.: L1simplex: fault-tolerant control of cyber-physical systems. In: 2013 ACM\/IEEE International Conference on Cyber-Physical Systems (ICCPS), pp. 41\u201350. IEEE (2013). https:\/\/doi.org\/10.1145\/2502524.2502531","DOI":"10.1145\/2502524.2502531"},{"issue":"4","key":"15_CR21","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1145\/3121428","volume":"2","author":"X Wang","year":"2018","unstructured":"Wang, X., Hovakimyan, N., Sha, L.: RSimplex: a robust control architecture for cyber and physical failures. ACM Trans. Cyber Phys. Syst. 2(4), 27 (2018). https:\/\/doi.org\/10.1145\/3121428","journal-title":"ACM Trans. Cyber Phys. Syst."},{"issue":"1","key":"15_CR22","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1109\/TII.2012.2219060","volume":"9","author":"J Yao","year":"2013","unstructured":"Yao, J., Liu, X., Zhu, G., Sha, L.: Netsimplex: controller fault tolerance architecture in networked control systems. IEEE Trans. Ind. Inform. 9(1), 346\u2013356 (2013). https:\/\/doi.org\/10.1109\/TII.2012.2219060","journal-title":"IEEE Trans. Ind. Inform."}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-29662-9_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,25]],"date-time":"2022-09-25T22:37:29Z","timestamp":1664145449000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-29662-9_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030296612","9783030296629"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-29662-9_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"13 August 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FORMATS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Modeling and Analysis of Timed Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Amsterdam","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 August 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 August 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"formats2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/lipn.univ-paris13.fr\/formats2019\/","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":"42","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":"15","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":"2","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":"36% - 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.1","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.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)"}}]}}