Skip to main content

Attack-Resilient Supervisory Control with Intermittently Secure Communication

Publication ,  Conference
Wang, Y; Pajic, M
Published in: Proceedings of the IEEE Conference on Decision and Control
December 1, 2019

In this work, we study supervisory control of discrete event systems in the presence of network-based attacks on information delivered to and from the supervisors. The attacks are modeled by finite state transducers (FSTs), having the ability to nondeterministically rewrite a word to any word of a regular language. A desired language is called controllable if there exists a security-aware supervisor that ensures that the restricted language executed by the plant for any possible attack behavior is the desired one - we refer to such supervisors as attack-resilient. First, we solve the problem of computing the maximal controllable sub-language (MCSL) of a desired language and propose the design algorithm for an attack-resilient supervisor, in scenarios where no security guarantees exists for communication between the plant and the supervisor. Then, we consider the case where the supervisor has active but intermittent access to a size-limited secure channel, which ensures integrity and availability of the data transmitted over it. Specifically, we propose the notion of accessibility as a measure of distance between a language and its sub-language, and show that a desired language is controllable with intermittently secure communication if and only if its difference from its MCSL without secure channel is bounded by the accessibility measure. Finally, we illustrate our approach on several examples.

Duke Scholars

Published In

Proceedings of the IEEE Conference on Decision and Control

DOI

EISSN

2576-2370

ISSN

0743-1546

ISBN

9781728113982

Publication Date

December 1, 2019

Volume

2019-December

Start / End Page

2015 / 2020
 

Citation

APA
Chicago
ICMJE
MLA
NLM
Wang, Y., & Pajic, M. (2019). Attack-Resilient Supervisory Control with Intermittently Secure Communication. In Proceedings of the IEEE Conference on Decision and Control (Vol. 2019-December, pp. 2015–2020). https://doi.org/10.1109/CDC40024.2019.9029366
Wang, Y., and M. Pajic. “Attack-Resilient Supervisory Control with Intermittently Secure Communication.” In Proceedings of the IEEE Conference on Decision and Control, 2019-December:2015–20, 2019. https://doi.org/10.1109/CDC40024.2019.9029366.
Wang Y, Pajic M. Attack-Resilient Supervisory Control with Intermittently Secure Communication. In: Proceedings of the IEEE Conference on Decision and Control. 2019. p. 2015–20.
Wang, Y., and M. Pajic. “Attack-Resilient Supervisory Control with Intermittently Secure Communication.” Proceedings of the IEEE Conference on Decision and Control, vol. 2019-December, 2019, pp. 2015–20. Scopus, doi:10.1109/CDC40024.2019.9029366.
Wang Y, Pajic M. Attack-Resilient Supervisory Control with Intermittently Secure Communication. Proceedings of the IEEE Conference on Decision and Control. 2019. p. 2015–2020.

Published In

Proceedings of the IEEE Conference on Decision and Control

DOI

EISSN

2576-2370

ISSN

0743-1546

ISBN

9781728113982

Publication Date

December 1, 2019

Volume

2019-December

Start / End Page

2015 / 2020