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

Sayan Saha A. Agung Julius

Published in: CoRR (2016)

Keyphrases

real time
controller synthesis
metric temporal logic
dynamic programming
control system
optimal solution
color images
autonomic computing systems