We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

eess.SY

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Electrical Engineering and Systems Science > Systems and Control

Title: Combining Hybrid Input-Output Automaton and Game Theory for Security Modeling of Cyber-Physical Systems

Abstract: We consider a security setting in which the Cyber-Physical System (CPS) is composed of subnetworks where each subnetwork is under ownership of one defender. Such CPS can be represented by an attack graph where the defenders are required to invest (subject to a budget constraint) on the graph's edges in order to protect their critical assets (where each defender's critical asset has a certain value to the defender if compromised). We model such CPS using Hybrid Input-Output Automaton (HIOA) where each subnetwork is represented by a HIOA module. We first establish the building blocks needed in our setting. We then present our model that characterizes the continuous time evolution of the investments and discrete transitions between different states (where each state represents different condition and/or perturbation) within the system. Finally, we provide a real-world CPS example to validate our modeling.
Subjects: Systems and Control (eess.SY)
Cite as: arXiv:2012.00788 [eess.SY]
  (or arXiv:2012.00788v4 [eess.SY] for this version)

Submission history

From: Mustafa Abdallah [view email]
[v1] Tue, 1 Dec 2020 19:32:21 GMT (342kb)
[v2] Mon, 7 Dec 2020 20:09:08 GMT (344kb)
[v3] Thu, 10 Dec 2020 19:10:05 GMT (344kb)
[v4] Tue, 22 Dec 2020 23:29:32 GMT (360kb)

Link back to: arXiv, form interface, contact.