Signal Temporal Logic (STL) provides a convenient way of encoding complex control objectives for robotic and cyber-physical systems. The state-of-the-art in trajectory synthesis for STL is based on ...

We have found that the nontrivial integer programming problems we encounter tend to fall into two classes. The first class of problems is characterized by a relatively small number (less than 100) of ...

Additionally, efforts have been made to extend the feasibility pump framework to general mixed integer variables, demonstrating its versatility beyond purely binary problems [4].

The row with BINARY type indicates that this problem is a mixed integer program and all the integer variables are binary. The integer values of the row set an ordering for PROC LP to pick the ...

We propose an exact solution approach that involves mixed-integer linear programming. The objective is hereby to minimize the sum of weighted deviations from the target landing times under ...

Lihong Cheng, Lei Feng, Zhiwu Li, Model abstraction for discrete-event systems by binary linear programming with applications to manufacturing systems, Science Progress (1933-), Vol. 104, No. 3 (2021) ...