Abstract: 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 ...

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

In this paper we discuss some branch and bound methods implemented in the UMPIRE mathematical programming system for solving practical integer programming problems and give details of computational ...

Due to the upward trend in the aviation industry, the existing approaches for air traffic control need to be improved to achieve efficient schedules. This paper deals with the aircraft landing problem ...

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) ...

The following is a simple mixed integer programming problem. Details can be found in Example 3.8 in the "Examples" section. data; input _row_ $10. choco gumdr ichoco igumdr _type_ $ _rhs_; datalines; ...