Many problems of interest for cyber-physical network systems can be formulated as mixed-integer linear programs in which the constraints are distributed among the agents. In this paper, we propose a ...

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

A novel Mixed-Integer Linear Programming (MILP) model based on continuous time and batch volume formulation is proposed. The objective is to maximize the main pipeline utilization rate for phosphate ...