A moving-horizon hybrid stochastic game for secure control of cyber-physical systems

Fei Miao, Quanyan Zhu

Research output: Contribution to journalArticle

Abstract

Security of cyber-physical systems (CPS) is a challenge for increasingly integrated systems today. To analyze and design detection and defense mechanisms for CPSs requires new system frameworks. In this paper, we establish a zero-sum hybrid stochastic game model, that can be used for designing defense policies for cyber-physical systems against attackers of different types. The hybrid game model contains physical states described by the system dynamics, and a cyber state that represents the detection mode of the system. A system selects a subsystem by combining one controller, one estimator and one detector among a finite set of candidate components at each state. In order to provide scalable and real-time computation of the switching strategies, we propose a moving-horizon approach to solve the zero-sum hybrid stochastic game, and obtain a saddle-point equilibrium policy for balancing the system's security overhead and control cost. This approach leads to a real-time algorithm that yields a sequence of Nash equilibrium strategies which can be shown to converge. The paper illustrates these concepts using numerical examples, and we compare the results with previously known designs.

Original languageEnglish (US)
Article number7039433
Pages (from-to)517-522
Number of pages6
JournalUnknown Journal
Volume2015-February
Issue numberFebruary
DOIs
StatePublished - 2014

Fingerprint

Stochastic Games
Horizon
Security systems
Zero-sum
Dynamical systems
Detectors
Controllers
Real-time
Costs
Integrated System
Saddlepoint
Physical Model
Nash Equilibrium
System Dynamics
Balancing
Cyber Physical System
Finite Set
Subsystem
Detector
Game

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Modeling and Simulation
  • Control and Optimization

Cite this

A moving-horizon hybrid stochastic game for secure control of cyber-physical systems. / Miao, Fei; Zhu, Quanyan.

In: Unknown Journal, Vol. 2015-February, No. February, 7039433, 2014, p. 517-522.

Research output: Contribution to journalArticle

@article{b945349868b84b6e91a8e32cffa60bef,
title = "A moving-horizon hybrid stochastic game for secure control of cyber-physical systems",
abstract = "Security of cyber-physical systems (CPS) is a challenge for increasingly integrated systems today. To analyze and design detection and defense mechanisms for CPSs requires new system frameworks. In this paper, we establish a zero-sum hybrid stochastic game model, that can be used for designing defense policies for cyber-physical systems against attackers of different types. The hybrid game model contains physical states described by the system dynamics, and a cyber state that represents the detection mode of the system. A system selects a subsystem by combining one controller, one estimator and one detector among a finite set of candidate components at each state. In order to provide scalable and real-time computation of the switching strategies, we propose a moving-horizon approach to solve the zero-sum hybrid stochastic game, and obtain a saddle-point equilibrium policy for balancing the system's security overhead and control cost. This approach leads to a real-time algorithm that yields a sequence of Nash equilibrium strategies which can be shown to converge. The paper illustrates these concepts using numerical examples, and we compare the results with previously known designs.",
author = "Fei Miao and Quanyan Zhu",
year = "2014",
doi = "10.1109/CDC.2014.7039433",
language = "English (US)",
volume = "2015-February",
pages = "517--522",
journal = "Theoretical Computer Science",
issn = "0304-3975",
publisher = "Elsevier",
number = "February",

}

TY - JOUR

T1 - A moving-horizon hybrid stochastic game for secure control of cyber-physical systems

AU - Miao, Fei

AU - Zhu, Quanyan

PY - 2014

Y1 - 2014

N2 - Security of cyber-physical systems (CPS) is a challenge for increasingly integrated systems today. To analyze and design detection and defense mechanisms for CPSs requires new system frameworks. In this paper, we establish a zero-sum hybrid stochastic game model, that can be used for designing defense policies for cyber-physical systems against attackers of different types. The hybrid game model contains physical states described by the system dynamics, and a cyber state that represents the detection mode of the system. A system selects a subsystem by combining one controller, one estimator and one detector among a finite set of candidate components at each state. In order to provide scalable and real-time computation of the switching strategies, we propose a moving-horizon approach to solve the zero-sum hybrid stochastic game, and obtain a saddle-point equilibrium policy for balancing the system's security overhead and control cost. This approach leads to a real-time algorithm that yields a sequence of Nash equilibrium strategies which can be shown to converge. The paper illustrates these concepts using numerical examples, and we compare the results with previously known designs.

AB - Security of cyber-physical systems (CPS) is a challenge for increasingly integrated systems today. To analyze and design detection and defense mechanisms for CPSs requires new system frameworks. In this paper, we establish a zero-sum hybrid stochastic game model, that can be used for designing defense policies for cyber-physical systems against attackers of different types. The hybrid game model contains physical states described by the system dynamics, and a cyber state that represents the detection mode of the system. A system selects a subsystem by combining one controller, one estimator and one detector among a finite set of candidate components at each state. In order to provide scalable and real-time computation of the switching strategies, we propose a moving-horizon approach to solve the zero-sum hybrid stochastic game, and obtain a saddle-point equilibrium policy for balancing the system's security overhead and control cost. This approach leads to a real-time algorithm that yields a sequence of Nash equilibrium strategies which can be shown to converge. The paper illustrates these concepts using numerical examples, and we compare the results with previously known designs.

UR - http://www.scopus.com/inward/record.url?scp=84988286580&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84988286580&partnerID=8YFLogxK

U2 - 10.1109/CDC.2014.7039433

DO - 10.1109/CDC.2014.7039433

M3 - Article

VL - 2015-February

SP - 517

EP - 522

JO - Theoretical Computer Science

JF - Theoretical Computer Science

SN - 0304-3975

IS - February

M1 - 7039433

ER -