{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T10:57:45Z","timestamp":1778497065703,"version":"3.51.4"},"reference-count":30,"publisher":"MDPI AG","issue":"1","license":[{"start":{"date-parts":[[2020,1,24]],"date-time":"2020-01-24T00:00:00Z","timestamp":1579824000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Systems"],"abstract":"<jats:p>As systems continue to grow in scale and complexity and have to operate safely in challenging disruptive environments, system safety and resilience has become a critical requirement. This recognition has drawn attention to the concept of resilience, which has different definitions and several different interpretations that tend to be domain specific. For example, resilience in health care clinics means something quite different than resilience in self-driving cars, or energy grids. This paper reviews the different characterizations of resilience and assesses their value proposition in realizing engineered resilient systems. This paper emphasizes the importance of systems modeling in engineering resilient systems and presents an overarching methodology that employs different modeling approaches for operational tasks as a function of problem context. This paper specifically focuses on systems modeling in partially observable and potentially hostile environments. It discusses the need for system model verification, which is key to safety, and system flexibility and adaptability, which are key to resilience. It introduces a formal, probabilistic modeling construct called the \u201cresilience contract.\u201d This construct employs a state-based representation that formalizes the concept of resilience while enabling system model verification and affording requisite flexibility for adaptation and learning. The key findings of our research are that different system modeling approaches and algorithms are needed based on mission tasks and operational context; adaptive capacity and continual adaptability are the two promising characterizations of resilience that can be cost-effectively realized in real-world systems; and the resilience contract construct is an effective means for probabilistic verification of system model correctness while affording flexibility needed for adaptation and learning. Collectively, these findings contribute to the body of knowledge in both model-based systems engineering (MBSE) and engineered resilient systems.<\/jats:p>","DOI":"10.3390\/systems8010003","type":"journal-article","created":{"date-parts":[[2020,1,24]],"date-time":"2020-01-24T11:01:00Z","timestamp":1579863660000},"page":"3","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":33,"title":["Constructing Models for Systems Resilience: Challenges, Concepts, and Formal Methods"],"prefix":"10.3390","volume":"8","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5225-0034","authenticated-orcid":false,"given":"Azad M.","family":"Madni","sequence":"first","affiliation":[{"name":"Department of Astronautical Engineering, Viterbi School of Engineering, University of Southern California, Los Angeles, CA 90089-1192, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dan","family":"Erwin","sequence":"additional","affiliation":[{"name":"Department of Astronautical Engineering, Viterbi School of Engineering, University of Southern California, Los Angeles, CA 90089-1192, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Sievers","sequence":"additional","affiliation":[{"name":"Department of Astronautical Engineering, Viterbi School of Engineering, University of Southern California, Los Angeles, CA 90089-1192, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1968","published-online":{"date-parts":[[2020,1,24]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1109\/JSYST.2009.2017397","article-title":"Towards a conceptual framework for resilience engineering","volume":"3","author":"Madni","year":"2009","journal-title":"IEEE Syst. J."},{"key":"ref_2","doi-asserted-by":"crossref","unstructured":"Woods, D. (2015). Four Concepts for resilience and the implications for the future of resilience engineering. Reliab. Eng. Syst. Saf.","DOI":"10.1016\/j.ress.2015.03.018"},{"key":"ref_3","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1002\/sys.21234","article-title":"Towards Affordably Adaptable and Effective Systems","volume":"16","author":"Neches","year":"2013","journal-title":"Syst. Eng."},{"key":"ref_4","first-page":"347","article-title":"Social and ecological resilience: Toward inherently secure and resilient societies","volume":"24","author":"Allenby","year":"2000","journal-title":"Science"},{"key":"ref_5","doi-asserted-by":"crossref","first-page":"498","DOI":"10.1111\/j.1539-6924.2009.01216.x","article-title":"On the definition of resilience in systems","volume":"29940","author":"Haimes","year":"2009","journal-title":"Risk Anal."},{"key":"ref_6","unstructured":"Gopalakrishnan, K., and Peeta, S. (2010). Sustainable Infrastructure Systems: Simulation, modeling, and intelligent engineering. A Framework for Assessing the Resilience of Infrastructure and Economic Systems, Springer-Verlag, Inc."},{"key":"ref_7","doi-asserted-by":"crossref","unstructured":"Kott, L. (2018). Fundamental Concepts of Cyber Resilience: Introduction and Overview, I Cyber Resilience of Systems and Networks, Springer.","DOI":"10.1007\/978-3-319-77492-3"},{"key":"ref_8","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1038\/nature16948","article-title":"Universal Resilience Patterns in Complex Networks","volume":"530","author":"Gao","year":"2016","journal-title":"Nature"},{"key":"ref_9","doi-asserted-by":"crossref","first-page":"14497","DOI":"10.1073\/pnas.0501426102","article-title":"The \u201crobust yet fragile\u201d nature of the internet","volume":"102","author":"Doyle","year":"2005","journal-title":"Proc Natl. Acad. Sci. USA"},{"key":"ref_10","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1016\/j.gloenvcha.2006.04.002","article-title":"Resilience: The emergence of a perspective for social-Ecological systems analyses","volume":"16","author":"Folke","year":"2006","journal-title":"Glob. Environ. Chang."},{"key":"ref_11","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1111\/j.0361-3666.2006.00331.x","article-title":"The concept of resilience revisited","volume":"30","author":"Manyena","year":"2006","journal-title":"Disasters"},{"key":"ref_12","doi-asserted-by":"crossref","unstructured":"Sievers, M., and Madni, A.M. (2016, January 4\u20138). Agent-Based Flexible Design Contracts for Resilient Spacecraft Swarms. Proceedings of the AIAA Science and Technology 2016 Forum and Exposition, San Diego, CA, USA.","DOI":"10.2514\/6.2016-0476"},{"key":"ref_13","doi-asserted-by":"crossref","unstructured":"Sievers, M., and Madni, A.M. (2017, January 9\u201313). Contract-Based Byzantine Resilience for Spacecraft Swarm. Proceedings of the 2016 AIAA Science and Technology Forum and Expo, Grapevine, TX, USA.","DOI":"10.2514\/6.2017-0644"},{"key":"ref_14","doi-asserted-by":"crossref","unstructured":"Madni, A.M., D\u2019Ambrosio, J., Sievers, M., Humann, J., Ordoukhanian, E., and Sundaram, P. (2017, January 23\u201325). Model-Based Approach for Engineering Resilient System-of-Systems: Applications to Autonomous Vehicle Network. Proceedings of the Conference on Systems Engineering Research, Redondo Beach, CA, USA.","DOI":"10.1007\/978-3-319-62217-0_26"},{"key":"ref_15","unstructured":"Longstaff, P.H., Koslowski, T.G., and Geoghegan, W. (2013, January 24\u201327). Translating Resilience: A Framework to Enhance Communication and Implementation. Proceedings of the 5th Symposium on Resilience Engineering, Soesterberg, The Netherlands."},{"key":"ref_16","doi-asserted-by":"crossref","unstructured":"Avizienis, A., Laprie, J.-C., Randell, B., and Landwehr, C. (2004). Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Trans. Dependable Secur. Comput., 1.","DOI":"10.1109\/TDSC.2004.2"},{"key":"ref_17","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/s10111-006-0041-0","article-title":"Multi-Level strategies to achieve resilience for an organisation operating at capacity: A case study at a trauma centre","volume":"9","author":"Miller","year":"2007","journal-title":"Cogn. Technol. Work"},{"key":"ref_18","unstructured":"Mili, L. (2011, January 9\u201311). Making the concepts of robustness resilience and sustainability useful tools for power system planning, operation and control. Proceedings of the ISRCS2011: 4th International Symposium on Resilient Control Systems, Boise, ID, USA."},{"key":"ref_19","doi-asserted-by":"crossref","unstructured":"McCabe-Dansted, J., and Dixon, C. (2010, January 6\u20138). CTL-Like Fragments of a Temporal Logic of Robustness. Proceedings of the 2010 17th International Symposium on Temporal Representation and Reasoning, Paris, France.","DOI":"10.1109\/TIME.2010.7"},{"key":"ref_20","doi-asserted-by":"crossref","unstructured":"Pokorny, L.R., and Ramkrishnan, C.R. (2004, January 19). Modeling and Verification of Distributed Autonomous Agents Using Logic Programming. Proceedings of the Declarative Agent Languages and Technologies II, New York, NY, USA.","DOI":"10.1007\/11493402_9"},{"key":"ref_21","unstructured":"Baltrop, K.J., and Pingree, P.J. (2003, January 13\u201316). Model Checking Investigations for Fault Protection System Validation. Proceedings of the 2003 International Conference on Space Mission Challenges for Information Technology, Pasadena, CA, USA."},{"key":"ref_22","doi-asserted-by":"crossref","unstructured":"Cimatti, A., Dorigatti, M., and Tonetta, S. (2013, January 13\u201315). OCRA: A tool for checking the refinement of temporal contracts. Proceedings of the IEEE\/ACM 28th International Conference on Automated Software Engineering (ASE), Palo Alto, CA, USA.","DOI":"10.1109\/ASE.2013.6693137"},{"key":"ref_23","unstructured":"Wong, W.C., and Lee, J.H. (2007, January 6\u20137). Fault Detection in Process Systems using Hidden Markov Disturbance Models. Proceedings of the 8th International Symposium on Dynamics and Control of Process Systems, Cancun, Mexico."},{"key":"ref_24","unstructured":"Modgil, S., Faci, N., Meneguzzi, F., Oren, N., Miles, S., and Luck, M. (2009, January 10\u201315). A Framework for Monitoring Agent-Based Normative Systems. Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary."},{"key":"ref_25","doi-asserted-by":"crossref","first-page":"217","DOI":"10.3166\/ejc.18.217-238","article-title":"Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems","volume":"18","author":"Damm","year":"2012","journal-title":"Eur. J. Control"},{"key":"ref_26","unstructured":"Meyer, B. (2000). Towards More Expressive Contracts. J. Object Oriented Program. July, 39\u201343."},{"key":"ref_27","doi-asserted-by":"crossref","first-page":"571","DOI":"10.1109\/TSE.2006.79","article-title":"Design by Contract to Improve Software Vigilance","volume":"32","author":"Baudry","year":"2006","journal-title":"IEEE Trans. Softw. Eng."},{"key":"ref_28","doi-asserted-by":"crossref","unstructured":"Cimatti, A., and Tonetta, S. (2012, January 5\u20138). A Property-Based Proof System for Contract-Based Design. Proceedings of the 2012 38th Euromicro Conference on Software Engineering and Advanced Applications, Izmir, Turkey.","DOI":"10.1109\/SEAA.2012.68"},{"key":"ref_29","unstructured":"B\u00fcchi, J.R. (1962). On a Decision Method in Restricted Second-order Arithmetic. The 1960 Congress on Logic, Methodology and Philosophy of Science, Stanford University Press."},{"key":"ref_30","doi-asserted-by":"crossref","unstructured":"Madni, A.M., Sievers, M., and Madni, C.C. (2018). Adaptive Cyber-Physical-Human Systems: Exploiting Cognitive Modeling and Machine Learning in the Control Loop. Insight, 87\u201393.","DOI":"10.1002\/inst.12216"}],"container-title":["Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2079-8954\/8\/1\/3\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,13]],"date-time":"2025-10-13T14:08:31Z","timestamp":1760364511000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2079-8954\/8\/1\/3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,1,24]]},"references-count":30,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2020,3]]}},"alternative-id":["systems8010003"],"URL":"https:\/\/doi.org\/10.3390\/systems8010003","relation":{},"ISSN":["2079-8954"],"issn-type":[{"value":"2079-8954","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,1,24]]}}}