Generating Adversarial Disturbances for Controller Verification.
Udaya GhaiDavid SnyderAnirudha MajumdarElad HazanPublished in: L4DC (2021)
Keyphrases
- real time
- model checking
- control system
- multi agent
- power system
- closed loop
- neural network
- genetic algorithm
- control algorithm
- pid controller
- face verification
- control theory
- verification method
- matlab simulation
- asynchronous circuits
- lyapunov function
- adaptive fuzzy
- inverted pendulum
- generation process
- control parameters
- optimal control
- sufficient conditions
- data sets