BEACON: A Bayesian Evolutionary Approach for Counterexample Generation of Control Systems.
Joshua YancosekAli BaheriPublished in: IEEE Access (2024)
Keyphrases
- control system
- genetic algorithm
- model checking
- evolutionary computation
- bayesian networks
- wireless sensor networks
- data driven
- maximum likelihood
- bayesian estimation
- control law
- case study
- fuzzy logic
- location information
- dynamic environments
- decision theory
- generation process
- real environment
- evolutionary methods
- control strategy
- closed loop
- fitness function
- real time
- decision making
- data mining
- real world