Author:Alexandre Donzé

Publications

Keyphrases

BluSTL, competition, control, Cyber-Physical Systems2, falsification4, Friendly Competition, hybrid systems2, MATLAB, Mixed Integer Linear Programming, Model Predictive Control, Pulse generators, Signal Temporal Logic2, simulation2, Specifications, synthesis, temporal logic2, tools.