BEACON: A Bayesian Evolutionary Approach for Counterexample Generation of Control Systems.
Joshua YancosekAli BaheriPublished in: CoRR (2024)
Keyphrases
- control system
- evolutionary computation
- genetic algorithm
- wireless sensor networks
- bayesian networks
- industrial automation
- model checking
- posterior probability
- real time
- fuzzy logic
- maximum likelihood
- evolutionary optimization
- bayesian inference
- bayesian learning
- moving target defense
- evolutionary process
- control algorithm
- closed loop
- fitness function
- dynamic environments
- neural network