scholarly journals A formal verification approach to revealing stealth attacks on networked control systems

2014 ◽  
Author(s):  
Nikola Trcka ◽  
Mark Moulin ◽  
Shaunak Bopardikar ◽  
Alberto Speranzon
Keyword(s):  
Formal Verification ◽  
Control Systems ◽  
Networked Control Systems ◽  
Networked Control

Optimal Fault Diagnosis for Networked Control Systems with Large Time-delays and Noises

2012 ◽  
Vol 38 (5) ◽  
pp. 858-864 ◽  
Author(s):  
Juan LI ◽  
You-Gang ZHAO ◽  
Yang YU ◽  
Peng ZHANG ◽  
Hong-Wei GAO
Keyword(s):  
Fault Diagnosis ◽  
Control Systems ◽  
Time Delays ◽  
Large Time ◽  
Networked Control Systems ◽  
Networked Control
Sign in / Sign up

Export Citation Format

Share Document