Abstract
Resilience engineering is a recent paradigm for the development, analysis and control of systems that interact with their environment and are subject to perturbances or part failures. Resilience engineering has many facets, some of them being well studied in control engineering like fault tolerance or robust control. In this paper, we propose a mathematical model that considers the following aspects relevant to resilience engineering: uncertainty, autonomy, and system-environment interaction. The model extends stochastic hybrid systems with Markov decision processes to capture system autonomy, and game theory to capture the system-environment interaction. For this model, we consider the state-constrained reachability problem as defined for stochastic hybrid systems. We give a characterization of the solutions of this problem in terms of the value function of an ergodic stochastic game.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
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–81. Springer, Heidelberg (1999)
Garg, R., Kathri, S.P.: Analysis and Design of Resilient VLSI Circuits: Mitigating Soft Errors and Process Variations. Springer, New York (2009)
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–30. Springer, Heidelberg (2006)
Bujorianu, M.L., Bujorianu, M.C.: State constrained reachability for stochastic hybrid systems. J. Nonlinear Anal. Hybrid Syst. 5(2), 320–342, Elsevier Press (2011)
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–116. Springer, Heidelberg (2009)
Elfes, A., et al.: Autonomous flight control for a titan exploration aerobot. In: Proceedings of Robotics Science and Systems (2005)
Eurocontrol: A White Paper on Resilience Engineering for ATM (2010)
Feng, Z., Dearden, R., Meuleau, N., Washington, R.: Hybrid Discrete-Continuous Markov Decision Processes. NASA Technical Report 20040010791 (2003)
Ghosh, M.K., Bagchi, A.: Stochastic games with average payoff criterion. Appl. Math. Optim. 38, 283–301 (1998)
Hernandez-Lerma, O., Lasserre, J.B.: Zero-sum stochastic games in borel spaces: average payoff criteria. SIAM J. Control Optim. 39(5), 1520–1539 (2001)
Hollnagel, E., Woods, D.D., Leveson, N.: Resilience Engineering: Concepts and Precepts. Ashgate, Aldershot (2006)
Jaskiewicz, A., Nowak, A.S.: On the optimality equation for zero-sum ergodic stochastic games. Math. Methods Oper. Res. 54, 291–301 (2001)
Jaskiewicz, A., Nowak, A.S.: Zero-sum Ergodic Stochastic Games with Feller Transition Probabilities. SIAM J. Control Optim. 45(3), 773–789 (2006)
Lygeros, J.: Hierarchical, Hybrid Control of Large Scale Systems, Ph.D. thesis (1996)
Mahmoud, M.S.: Resilient Control of Uncertain Dynamical Systems. Lecture Notes in Control and Information Sciences, vol. 303. Springer, Heidelberg (2004)
Mitchell, S.M., Mannan, M.S.: Designing resilient engineered systems. Chem. Eng. Prog. 102(4), 39–45 (2006)
Nowak, A.S.: Zero-sum average payoff stochastic games with general state space. Games Econ. Behav. 7, 221–232 (1994)
Proceedings of the 1st International Symposium on Resilient Control Systems, Idaho Falls, ID (2008)
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)
Tomlin, C., Lygeros, J., Sastry, S.: A game theoretic approach to controller design for hybrid systems. Proc. IEEE 88(7), 949–970 (2000)
Acknowledgments
This work was funded by the EPSRC project EP/L007177/1.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Bujorianu, M.L., Piterman, N. (2015). A Modelling Framework for Cyber-Physical System Resilience. In: Mousavi, M., Berger, C. (eds) Cyber Physical Systems. Design, Modeling, and Evaluation. CyPhy 2015. Lecture Notes in Computer Science(), vol 9361. Springer, Cham. https://doi.org/10.1007/978-3-319-25141-7_6
Download citation
DOI: https://doi.org/10.1007/978-3-319-25141-7_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-25140-0
Online ISBN: 978-3-319-25141-7
eBook Packages: Computer ScienceComputer Science (R0)