{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T22:58:53Z","timestamp":1725836333655},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319251400"},{"type":"electronic","value":"9783319251417"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-25141-7_6","type":"book-chapter","created":{"date-parts":[[2015,10,31]],"date-time":"2015-10-31T08:51:25Z","timestamp":1446281485000},"page":"67-82","source":"Crossref","is-referenced-by-count":1,"title":["A Modelling Framework for Cyber-Physical System Resilience"],"prefix":"10.1007","author":[{"given":"Manuela L.","family":"Bujorianu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nir","family":"Piterman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,1]]},"reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/3-540-48320-9_7","volume-title":"Concurrency Theory CONCUR 1999","author":"L Alfaro de","year":"1999","unstructured":"de Alfaro, L.: Computing minimum and maximum reachability times in probabilistic systems. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol. 1664, pp. 66\u201381. Springer, Heidelberg (1999)"},{"key":"6_CR2","volume-title":"Analysis and Design of Resilient VLSI Circuits: Mitigating Soft Errors and Process Variations","author":"R Garg","year":"2009","unstructured":"Garg, R., Kathri, S.P.: Analysis and Design of Resilient VLSI Circuits: Mitigating Soft Errors and Process Variations. Springer, New York (2009)"},{"key":"6_CR3","series-title":"Lecture Notes in Control and Information Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/11587392_1","volume-title":"Stochastic Hybrid Systems: Theory and Safety Critical Applications","author":"ML Bujorianu","year":"2006","unstructured":"Bujorianu, M.L., Lygeros, J.: Towards modelling of general stochastic hybrid systems. Stochastic Hybrid Systems: Theory and Safety Critical Applications. LNCIS, vol. 337, pp. 3\u201330. Springer, Heidelberg (2006)"},{"doi-asserted-by":"crossref","unstructured":"Bujorianu, M.L., Bujorianu, M.C.: State constrained reachability for stochastic hybrid systems. J. Nonlinear Anal. Hybrid Syst. 5(2), 320\u2013342, Elsevier Press (2011)","key":"6_CR4","DOI":"10.1016\/j.nahs.2010.10.008"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-642-02734-5_7","volume-title":"Computational Logic in Multi-Agent Systems","author":"MC Bujorianu","year":"2009","unstructured":"Bujorianu, M.C., Bujorianu, M.L., Barringer, H.: A formal framework for user centric control of probabilistic multi-agent cyber-physical systems. In: Fisher, M., Sadri, F., Thielscher, M. (eds.) CLIMA IX. LNCS, vol. 5405, pp. 97\u2013116. Springer, Heidelberg (2009)"},{"doi-asserted-by":"crossref","unstructured":"Elfes, A., et al.: Autonomous flight control for a titan exploration aerobot. In: Proceedings of Robotics Science and Systems (2005)","key":"6_CR6","DOI":"10.2514\/6.2005-6717"},{"unstructured":"Eurocontrol: A White Paper on Resilience Engineering for ATM (2010)","key":"6_CR7"},{"unstructured":"Feng, Z., Dearden, R., Meuleau, N., Washington, R.: Hybrid Discrete-Continuous Markov Decision Processes. NASA Technical Report 20040010791 (2003)","key":"6_CR8"},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/s002459900092","volume":"38","author":"MK Ghosh","year":"1998","unstructured":"Ghosh, M.K., Bagchi, A.: Stochastic games with average payoff criterion. Appl. Math. Optim. 38, 283\u2013301 (1998)","journal-title":"Appl. Math. Optim."},{"issue":"5","key":"6_CR10","doi-asserted-by":"publisher","first-page":"1520","DOI":"10.1137\/S0363012999361962","volume":"39","author":"O Hernandez-Lerma","year":"2001","unstructured":"Hernandez-Lerma, O., Lasserre, J.B.: Zero-sum stochastic games in borel spaces: average payoff criteria. SIAM J. Control Optim. 39(5), 1520\u20131539 (2001)","journal-title":"SIAM J. Control Optim."},{"key":"6_CR11","volume-title":"Resilience Engineering: Concepts and Precepts","author":"E Hollnagel","year":"2006","unstructured":"Hollnagel, E., Woods, D.D., Leveson, N.: Resilience Engineering: Concepts and Precepts. Ashgate, Aldershot (2006)"},{"key":"6_CR12","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/s001860100144","volume":"54","author":"A Jaskiewicz","year":"2001","unstructured":"Jaskiewicz, A., Nowak, A.S.: On the optimality equation for zero-sum ergodic stochastic games. Math. Methods Oper. Res. 54, 291\u2013301 (2001)","journal-title":"Math. Methods Oper. Res."},{"issue":"3","key":"6_CR13","doi-asserted-by":"publisher","first-page":"773","DOI":"10.1137\/S0363012904443257","volume":"45","author":"A Jaskiewicz","year":"2006","unstructured":"Jaskiewicz, A., Nowak, A.S.: Zero-sum Ergodic Stochastic Games with Feller Transition Probabilities. SIAM J. Control Optim. 45(3), 773\u2013789 (2006)","journal-title":"SIAM J. Control Optim."},{"unstructured":"Lygeros, J.: Hierarchical, Hybrid Control of Large Scale Systems, Ph.D. thesis (1996)","key":"6_CR14"},{"key":"6_CR15","series-title":"Lecture Notes in Control and Information Sciences","doi-asserted-by":"crossref","DOI":"10.1007\/b95075","volume-title":"Resilient Control of Uncertain Dynamical Systems","author":"MS Mahmoud","year":"2004","unstructured":"Mahmoud, M.S.: Resilient Control of Uncertain Dynamical Systems. Lecture Notes in Control and Information Sciences, vol. 303. Springer, Heidelberg (2004)"},{"issue":"4","key":"6_CR16","first-page":"39","volume":"102","author":"SM Mitchell","year":"2006","unstructured":"Mitchell, S.M., Mannan, M.S.: Designing resilient engineered systems. Chem. Eng. Prog. 102(4), 39\u201345 (2006)","journal-title":"Chem. Eng. Prog."},{"key":"6_CR17","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1006\/game.1994.1046","volume":"7","author":"AS Nowak","year":"1994","unstructured":"Nowak, A.S.: Zero-sum average payoff stochastic games with general state space. Games Econ. Behav. 7, 221\u2013232 (1994)","journal-title":"Games Econ. Behav."},{"unstructured":"Proceedings of the 1st International Symposium on Resilient Control Systems, Idaho Falls, ID (2008)","key":"6_CR18"},{"doi-asserted-by":"crossref","unstructured":"Rieger, C.G., Gertman, D.I., McQueen, M.A.: Resilient control systems: next generation design research. In: 2nd IEEE Conference on Human System Interaction (2009)","key":"6_CR19","DOI":"10.1109\/HSI.2009.5091051"},{"issue":"7","key":"6_CR20","doi-asserted-by":"publisher","first-page":"949","DOI":"10.1109\/5.871303","volume":"88","author":"C Tomlin","year":"2000","unstructured":"Tomlin, C., Lygeros, J., Sastry, S.: A game theoretic approach to controller design for hybrid systems. Proc. IEEE 88(7), 949\u2013970 (2000)","journal-title":"Proc. IEEE"}],"container-title":["Lecture Notes in Computer Science","Cyber Physical Systems. Design, Modeling, and Evaluation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25141-7_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T11:28:18Z","timestamp":1559302098000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25141-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319251400","9783319251417"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25141-7_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}