Falsification of safety properties for closed loop control systems.
Aditya ZutshiSriram SankaranarayananJyotirmoy V. DeshmukhJames KapinskiXiaoqing JinPublished in: HSCC (2015)
Keyphrases
- closed loop
- control system
- control law
- open loop
- control scheme
- feedback control
- fault detection and isolation
- pid controller
- fuzzy logic
- real time
- parameter identification
- asymptotic stability
- feedback controller
- control loop
- process control
- disturbance rejection
- control strategy
- nonlinear systems
- trajectory tracking
- control strategies
- fuzzy controller
- control method
- control algorithm
- cost function
- controller design
- intelligent control
- neural network