Author:Alexandre Donzé
KeyphrasesBluSTL, competition, control, Cyber-Physical Systems, falsification2, hybrid systems, MATLAB, Mixed Integer Linear Programming, Model Predictive Control, Signal Temporal Logic2, simulation, Specifications, synthesis, temporal logic, tools. |