Login / Signup

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

Sayan SahaA. Agung Julius
Published in: ACC (2016)
Keyphrases
  • real time
  • metric temporal logic
  • controller synthesis
  • dynamic programming
  • linear program
  • autonomic computing systems
  • optimal solution
  • mixed integer linear programming