An MILP Approach for Real-time Optimal Controller Synthesis with Metric Temporal Logic Specifications

Sayan Saha, A. Agung Julius

The fundamental idea of this work is to synthesize reactive controllers such that closed-loop execution trajectories of the system satisfy desired specifications that ensure correc…