Software Engineering · Computer Science
Contract-based Hierarchical Resilience Management for Cyber-Physical Systems
Mohammad Shihabul Haque, Daniel Jun Xian Ng, Arvind Easwaran, Karthik Thangamariappan
2020-04-14
Software Engineering · Computer Science
CLAIR: A Contract-based Framework for Developing Resilient CPS Architectures
Sidharta Andalam, Daniel Jun Xian Ng, Arvind Easwaran, Karthik Thangamariappan
2020-04-14
Software Engineering · Computer Science
A Generic Framework For Capturing Reliability in Cyber Physical Systems
Nazakat Ali, Manzoor Hussain, Youngjae Kim, Jang-Eui Hong
2020-10-13
Systems and Control · Electrical Eng. & Systems
A Timing-Based Framework for Designing Resilient Cyber-Physical Systems under Safety Constraint
Abdullah Al Maruf, Luyao Niu, Andrew Clark, J. Sukarno Mertoguno +1
2023-01-02
Cryptography and Security · Computer Science
Cyberphysical Security Through Resiliency: A Systems-centric Approach
Cody Fleming, Carl Elks, Georgios Bakirtzis, Stephen C. Adams +3
2021-10-12
Systems and Control · Electrical Eng. & Systems
A Framework for Checkpointing and Recovery of Hierarchical Cyber-Physical Systems
Kaustubh Sridhar, Radoslav Ivanov, Vuk Lesi, Marcio Juliato +5
2023-01-02
Cryptography and Security · Computer Science
Cyber-Resilience Evaluation of Cyber-Physical Systems
Mariana Segovia, Jose Rubio-Hernan, Ana Rosa Cavalli, Joaquin Garcia-Alfaro
2020-09-16
Systems and Control · Electrical Eng. & Systems
An Analytical Framework for Control Synthesis of Cyber-Physical Systems with Safety Guarantee
Luyao Niu, Abdullah Al Maruf, Andrew Clark, J. Sukarno Mertoguno +1
2023-01-02
Systems and Control · Electrical Eng. & Systems
A review on modelling, evaluation, and optimization of cyber-physical system reliability
Moslem Uddin, Huadong Mo, Daoyi Dong
2025-03-17
Software Engineering · Computer Science
Contract-based Methodology for Developing Resilient Cyber-Infrastructure in the Industry 4.0 Era
Sidharta Andalam, Daniel Jun Xian Ng, Arvind Easwaran, Karthik Thangamariappan
2020-04-14
Distributed, Parallel, and Cluster Computing · Computer Science
Towards formally analyzed Cyber-Physical Systems
Richárd Szabó, András Vörös
2021-08-31
Systems and Control · Electrical Eng. & Systems
Computation of Feasible Assume-Guarantee Contracts: A Resilience-based Approach
Negar Monir, Youssef Ait Si, Ratnangshu Das, Pushpak Jagtap +2
2025-12-09
Cryptography and Security · Computer Science
A Survey on Cyber-Resilience Approaches for Cyber-Physical Systems
Mariana Segovia-Ferreira, Jose Rubio-Hernan, Ana Rosa Cavalli, Joaquin Garcia-Alfaro
2024-05-20
Cryptography and Security · Computer Science
Cyber-Physical Energy Systems Security: Threat Modeling, Risk Assessment, Resources, Metrics, and Case Studies
Ioannis Zografopoulos, Juan Ospina, XiaoRui Liu, Charalambos Konstantinou
2021-02-22
Cryptography and Security · Computer Science
Next Generation Resilient Cyber-Physical Systems
Michel Barbeau, Georg Carle, Joaquin Garcia-Alfaro, Vicenç Torra
2019-11-11
Cryptography and Security · Computer Science
Digital Guardians: The Past and The Future of Cyber-Physical Resilience
Saurabh Bagchi, Hyunseung Kim, Tarek Abdelzaher, Homa Alemzadeh +19
2026-04-17