Mixed-Integer Linear Programming for Planning with Temporal Logic Tasks [Position Paper]
Vasu Raman, Eric Wolff

Citation
Vasu Raman, Eric Wolff. "Mixed-Integer Linear Programming for Planning with Temporal Logic Tasks [Position Paper]". AAAI-15 Workshop on Planning, Search, and Optimization, 2015.

Abstract
We are concerned with controlling dynamical systems, such as self-driving cars and smart buildings, in a manner that guarantees that they satisfy complex task specifications. Mixed integer linear programming has recently proven to be a powerful tool for such problems, enabling the computation of optimal plans that satisfy complex temporal constraints for high-dimensional, dynamical systems. These optimization-based approaches find solutions quickly for challenging (and previously unsolvable) planning problems. Framing temporal logic planning as constrained optimization also presents exciting new areas of research.

Electronic downloads

Internal. This publication has been marked by the author for TerraSwarm-only distribution, so electronic downloads are not available without logging in.

Citation formats

• HTML

  Vasu Raman, Eric Wolff. <a
  href="http://www.terraswarm.org/pubs/468.html"
  >Mixed-Integer Linear Programming for Planning with
  Temporal Logic Tasks [Position Paper]</a>, AAAI-15
  Workshop on Planning, Search, and Optimization, 2015.

• Plain text

  Vasu Raman, Eric Wolff. "Mixed-Integer Linear
  Programming for Planning with Temporal Logic Tasks [Position
  Paper]". AAAI-15 Workshop on Planning, Search, and
  Optimization, 2015.

• BibTeX

  @inproceedings{RamanWolff15_MixedIntegerLinearProgrammingForPlanningWithTemporal,
      author = {Vasu Raman and Eric Wolff},
      title = {Mixed-Integer Linear Programming for Planning with
                Temporal Logic Tasks [Position Paper]},
      booktitle = {AAAI-15 Workshop on Planning, Search, and
                Optimization},
      year = {2015},
      abstract = {We are concerned with controlling dynamical
                systems, such as self-driving cars and smart
                buildings, in a manner that guarantees that they
                satisfy complex task specifications. Mixed integer
                linear programming has recently proven to be a
                powerful tool for such problems, enabling the
                computation of optimal plans that satisfy complex
                temporal constraints for high-dimensional,
                dynamical systems. These optimization-based
                approaches find solutions quickly for challenging
                (and previously unsolvable) planning problems.
                Framing temporal logic planning as constrained
                optimization also presents exciting new areas of
                research.},
      URL = {http://terraswarm.org/pubs/468.html}
  }
  

Posted by Vasu Raman on 2 Dec 2014.
Groups: tools