Engineering Commons^™

Bridging Evolutionary And Bayesian Optimization For Enhanced Safety Verification In Control Systems, Joshua M. Yancosek

Graduate Theses, Dissertations, and Problem Reports

The rigorous safety verification of control systems in critical applications is essential, given their in creasing complexity and integration into everyday life. Simulation-based falsification approaches play a pivotal role in the safety verification of control systems, particularly within critical applications. These methods systematically explore the operational space of systems to identify configurations that result in violations of safety specifications. However, the effectiveness of traditional simulation based falsification is frequently limited by the high dimensionality of the search space and the sub stantial computational resources required for exhaustive exploration. This thesis presents Bayesian Evolutionary Approach for COuNterexample, or BEACON, a novel …