Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations

Supervisory Control of a Class of Discrete Event Processes

Peter J. Ramadge, W.M. Wonham · SIAM Journal on Control and Optimization · 1987 · 3.3K citations

Engineering, Autonomous Systems, Discrete Mathematics +16

Diagnosability of discrete-event systems

Meera Sampath, Raja Sengupta, Stéphane Lafortune et al. · IEEE Transactions on Automatic Control · 1995 · 1.6K citations

Computing, Computer Science, Systems Engineering +13

Secure Estimation and Control for Cyber-Physical Systems Under Adversarial Attacks

Hamza Fawzi, Paulo Tabuada, Suhas Diggavi · IEEE Transactions on Automatic Control · 2014 · 1.3K citations · Full text

Engineering, Computer Science, Systems Engineering +17

Secure Control: Towards Survivable Cyber-Physical Systems

Álvaro A. Cárdenas, Saurabh Amin, Shankar Sastry · 2008 · 870 citations

Computing, Cybersecurity, Systems Engineering +17

On observability of discrete-event systems

F. Lin, W.M. Wonham · Information Sciences · 1988 · 807 citations

Engineering, Computer Science, Systems Engineering +12