Generating Adversarial Disturbances for Controller Verification.
Udaya GhaiDavid SnyderAnirudha MajumdarElad HazanPublished in: CoRR (2020)
Keyphrases
- control system
- model checking
- neural network
- optimal control
- power system
- control strategy
- real time
- control algorithm
- control method
- multi agent
- face verification
- generation process
- formal verification
- automatically generating
- verification method
- fuzzy logic
- temporal logic
- dynamic model
- control strategies
- formal methods