An MILP approach for real-time optimal controller synthesis with Metric Temporal Logic specifications

The fundamental idea of this work is to synthesize reactive controllers such that closed-loop execution trajectories of the system satisfies desired specifications that ensure correct system behaviors, while optimizing a desired performance criteria. We define the correctness of a system's beha...

Full description