Bayesian optimization in high-dimensional spaces: A brief survey
Bayesian optimization (BO) has been widely applied to several modern science and
engineering applications such as machine learning, neural networks, robotics, aerospace …
engineering applications such as machine learning, neural networks, robotics, aerospace …
[HTML][HTML] (Global) optimization: historical notes and recent developments
M Locatelli, F Schoen - EURO Journal on Computational Optimization, 2021 - Elsevier
Abstract Recent developments in (Global) Optimization are surveyed in this paper. We
collected and commented quite a large number of recent references which, in our opinion …
collected and commented quite a large number of recent references which, in our opinion …
Scalable constrained Bayesian optimization
D Eriksson, M Poloczek - International Conference on …, 2021 - proceedings.mlr.press
The global optimization of a high-dimensional black-box function under black-box
constraints is a pervasive task in machine learning, control, and engineering. These …
constraints is a pervasive task in machine learning, control, and engineering. These …
Improved Lévy flight distribution algorithm with FDB-based guiding mechanism for AVR system optimal design
This paper presents the improved version of the Lévy Flight Distribution (LFD) algorithm for
solving real-valued numerical optimization problems. In the proposed algorithm, the Fitness …
solving real-valued numerical optimization problems. In the proposed algorithm, the Fitness …
[PDF][PDF] ARCH-COMP 2021 Category Report: Falsification with Validation of Results.
This report presents the results from the 2021 friendly competition in the ARCH workshop for
the falsification of temporal logic specifications over Cyber-Physical Systems. We briefly …
the falsification of temporal logic specifications over Cyber-Physical Systems. We briefly …
[PDF][PDF] Arch-comp 2020 category report: Falsification
This report presents the results from the 2020 friendly competition in the ARCH workshop for
the falsification of temporal logic specifications over Cyber-Physical Systems. We briefly …
the falsification of temporal logic specifications over Cyber-Physical Systems. We briefly …
[PDF][PDF] ARCH-COMP 2019 Category Report: Falsification.
This report presents the results from the 2019 friendly competition in the ARCH workshop for
the falsification of temporal logic specifications over Cyber-Physical Systems. We describe …
the falsification of temporal logic specifications over Cyber-Physical Systems. We describe …
[PDF][PDF] Arch-comp 2022 category report: Falsification with ubounded resources
This report presents the results from the 2022 friendly competition in the ARCH workshop for
the falsification of temporal logic specifications over Cyber-Physical Systems. We briefly …
the falsification of temporal logic specifications over Cyber-Physical Systems. We briefly …
Falsification of cyber-physical systems with robustness uncertainty quantification through stochastic optimization with adaptive restart
L Mathesen, S Yaghoubi, G Pedrielli… - 2019 IEEE 15th …, 2019 - ieeexplore.ieee.org
This work is in the field of requirements driven search-based test case generation methods
for Cyber-Physical Systems (CPS). The basic characteristic of search-based testing methods …
for Cyber-Physical Systems (CPS). The basic characteristic of search-based testing methods …
Efficient optimization-based falsification of cyber-physical systems with multiple conjunctive requirements
L Mathesen, G Pedrielli… - 2021 IEEE 17th …, 2021 - ieeexplore.ieee.org
Optimization-based falsification, or search-based testing, is a method of automatic test
generation for Cyber-Physical System (CPS) safety evaluation. CPS safety evaluation is …
generation for Cyber-Physical System (CPS) safety evaluation. CPS safety evaluation is …