This work presents a generalized implementation of the infeasible primal-dual interior point
method (IPM) achieved by the use of non-Archimedean values, ie, infinite and infinitesimal …

Given two sets of objects, the integer assignment problem consists of assigning objects of
one set to objects in the other set. Traditionally, the goal of this problem is to find an …

Abstract Optimization Modulo Theories (OMT) has emerged as an important extension of the
highly successful Satisfiability Modulo Theories (SMT) paradigm. The OMT problem requires …

In this work, we present several tools for efficient sequential hierarchical least-squares
programming (S-HLSP) for lexicographical optimization tailored to robot control and …

The cloud service provider market has recently expanded its offerings by providing edge as
a service. This involves offering resources equivalent to those already available in the cloud …

Autonomous vehicles are subject to various constraints, such as following the rules of the
road (ROTR), adhering to schedules, or providing a comfortable driving experience …

A key challenge in autonomous driving is that Autonomous Vehicles (AVs) must contend
with multiple, often conflicting, planning requirements. These requirements naturally form in …

In this chapter we show how a lexicographic multi-objective linear programming problem
(LMOLP) can be transformed into an equivalent, single-objective one, by using the …

In this work we address the optimal synthesis of a multi input-multi output boolean functions.
First we show a procedure for generating all the implicants and then the mathematical …