André M. H. Teixeira

Secure and Resilient Control Systems, Swedish Foundation for Strategic Research (SSF), SSF Future Research Leaders 7 Grant, 2020-2025 (team leader)

Short Summary

Reports of cyber-attacks on digitally controlled systems supporting modern societies, such as Stuxnet, have shown their devastating consequences to safety and human lives, and shed light on the attackers’ modus operandi: first learn the system, then tamper the visible information so the attack is undetected, and meanwhile have significant impact on the physical system.
It is of the utmost importance to be able to detect and mitigate such malicious cyber-attacks. Unfortunately, existing methods in control engineering consider impact on the physical system and detectability separately, and thus fail to accurately tackle cyber-attacks that strategically mix high impact with low detectability. On the other hand, approaches from secure control assume adversaries with perfect knowledge, resulting in overly pessimistic, unrealistic conclusions.
The project will produce approaches to analyze and mitigate cyber-attacks on control systems, through the following actions: 1) to construct novel sensitivity metrics that jointly consider the impact and detectability of attacks under uncertainty; 2) to design optimal anomaly detectors, controllers, and security measure deployment that minimize the novel sensitivity metrics, and thus increase security; 3) to experimentally validate the developed scientific approaches in testbeds and numerical benchmarks. The developed science and tools will induce a paradigm change in robust control and fault detection, and allow for more effective handling of anomalies.

Publications

[J16] V. Rostampour, R. M. G. Ferrari, A. M. H. Teixeira, T. Keviczky. Privatized Distributed Anomaly Detection for Large-Scale Nonlinear Uncertain Systems. IEEE Transactions on Automatic Control, 2020. Accepted.
[J15] R. Ferrari, A. M. H. Teixeira. “A Switching Multiplicative Watermarking Scheme for Detection of Stealthy Cyber-Attacks”. IEEE Transactions on Automatic Control, 2020. Accepted. DOI: 10.1109/TAC.2020.3013850 (pdf)
[J14] J. Milosevic, A. M. H. Teixeira, H. Sandberg, K. H. Johansson. “Actuator Security Indices Based on Perfect Undetectability: Computation, Robustness, and Sensor Placement”. IEEE Transactions on Automatic Control, vol. 65, no. 9, pp. 3816–3831, 2020. (arxiv)

Manuscripts submitted or under preparation:

[C48] A. J. Gallo, S. C. Anand, A. M. H. Teixeira, R. M. G. Ferrari. “Design of multiplicative watermarking against covert attacks”. Submitted to IEEE Conf. on Decisions and Control, 2021.
[J18] S. C. Anand, A. M. H. Teixeira, A. Ahlén. “Risk Assessment of Stealthy Attacks on Uncertain Control Systems”. Under preparation, to be submitted to IEEE Transactions in Automatic Control, 2021.