| Title | Control Synthesis for Cyber-Physical Systems to Satisfy Metric Interval Temporal Logic Objectives under Timing and Actuator Attacks* |
| Publication Type | Conference Paper |
| Year of Publication | 2020 |
| Authors | Niu, L., Ramasubramanian, B., Clark, A., Bushnell, L., Poovendran, R. |
| Conference Name | 2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS) |
| Keywords | actuator attacks, actuator security, actuators, Clocks, composability, control input, control synthesis, CPS, Cyber-physical systems, durational stochastic game, finite state controller, Games, Human Behavior, Iterative methods, metric interval temporal logic objectives, Metrics, Power capacitors, probability, pubcrawl, Resiliency, road traffic control, stochastic games, Stochastic processes, temporal logic, time-sensitive, Timing, timing information |
| Abstract | This paper studies the synthesis of controllers for cyber-physical systems (CPSs) that are required to carry out complex tasks that are time-sensitive, in the presence of an adversary. The task is specified as a formula in metric interval temporal logic (MITL). The adversary is assumed to have the ability to tamper with the control input to the CPS and also manipulate timing information perceived by the CPS. In order to model the interaction between the CPS and the adversary, and also the effect of these two classes of attacks, we define an entity called a durational stochastic game (DSG). DSGs probabilistically capture transitions between states in the environment, and also the time taken for these transitions. With the policy of the defender represented as a finite state controller (FSC), we present a value-iteration based algorithm that computes an FSC that maximizes the probability of satisfying the MITL specification under the two classes of attacks. A numerical case-study on a signalized traffic network is presented to illustrate our results. |
| DOI | 10.1109/ICCPS48487.2020.00023 |
| Citation Key | niu_control_2020 |
Control Synthesis for Cyber-Physical Systems to Satisfy Metric Interval Temporal Logic Objectives under Timing and Actuator Attacks*