no code implementations • 4 Mar 2024 • Rahul Patel, Elias B. Khalil, David Bergman
We focus on binary decision diagrams (BDDs) which first construct a graph that represents all feasible solutions to the problem and then traverse the graph to extract the Pareto frontier.
no code implementations • 26 Nov 2023 • Manish Goyal, David Bergman, Parasara Sridhar Duggirala
But given higher requirements on control design, a designer is expected to satisfy other specification such as safety or temporal logic specification as well, and a naive control design might not satisfy such specification.
no code implementations • 12 Jan 2022 • Chenbo Shi, Mohsen Emadikhiav, Leonardo Lozano, David Bergman
In this paper, we provide an overview of the approaches appearing in the literature to construct a trust region, and propose three alternative approaches.
no code implementations • 13 Dec 2021 • Keliang Wang, Leonardo Lozano, Carlos Cardonha, David Bergman
We study how to incorporate a neural network ensemble as the objective function of an optimization model and explore computational approaches for the ensuing problem.
no code implementations • 21 Nov 2019 • David Bergman, Teng Huang, Philip Brooks, Andrea Lodi, Arvind U. Raghunathan
The framework considers two sets of decision variables; regular and predicted.
1 code implementation • 10 Sep 2018 • Quentin Cappart, Emmanuel Goutierre, David Bergman, Louis-Martin Rousseau
Finding tight bounds on the optimal solution is a critical element of practical solution methods for discrete optimization problems.