Verification of Opacity in Networked Supervisory Control Systems with Insecure Control Channels.
Xiang YinShaoyuan LiPublished in: CDC (2018)
Keyphrases
- control system
- process control
- control strategy
- control method
- fuzzy logic
- closed loop
- control algorithm
- real time control
- safety analysis
- control strategies
- control scheme
- control loop
- control architecture
- real time
- controller design
- control law
- model predictive control
- fault detection and isolation
- fuzzy control
- model checking
- case study