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

For BIDS-MATLAB, if you are using MATLAB R2016b or newer, nothing else needs to be installed. If you are using MATLAB R2016a or older, or using Octave, you need to install a supported JSON library for ...

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