2020/12/01 by Mustafa Abdallah, Abdallah, Mustafa, Sayan Mitra +5
Computer Science · Decision Sciences · Engineering · #FOS: Electrical engineering #Information and Cyber Security #Simulation Techniques and Applications #Smart Grid Security and Resilience #Systems and Control (eess.SY) #electronic engineering #information engineering
paper · pdf · doi:10.48550/arxiv.2012.00788
openalex publication_date 2020/12/01 · openalex created_date 2022/07/25 · openalex updated_date 2026/07/28
We consider a security setting in which the Cyber-Physical System (CPS) is\ncomposed of subnetworks where each subnetwork is under ownership of one\ndefender. Such CPS can be represented by an attack graph where the defenders\nare required to invest (subject to a budget constraint) on the graph's edges in\norder to protect their critical assets (where each defender's critical asset\nhas a certain value to the defender if compromised). We model such CPS using\nHybrid Input-Output Automaton (HIOA) where each subnetwork is represented by a\nHIOA module. We first establish the building blocks needed in our setting. We\nthen present our model that characterizes the continuous time evolution of the\ninvestments and discrete transitions between different states (where each state\nrepresents different condition and/or perturbation) within the system. Finally,\nwe provide a real-world CPS example to validate our modeling.\n