Optimization-based Control of Nonlinear Systems with Linear Temporal Logic Specifications

From Murray Wiki
Jump to navigationJump to search

Eric M. Wolff, Ufuk Topcu, and Richard M. Murray
Submitted, 2014 International Conference on Robotics and Automation (ICRA)

We present a mathematical programming-based method for optimal control of discrete-time nonlinear systems subject to temporal logic task specifications. We use linear temporal logic (LTL) to specify a wide range of properties and tasks, such as safety, progress, response, surveillance, repeated assembly, and environmental monitoring. Our method directly encodes an LTL formula as mixed-integer linear constraints on the continuous system variables, avoiding the computationally expensive processes of creating a finite abstraction of the system and a Bu Ìchi automaton for the specification. In numerical experiments, we solve temporal logic motion planning tasks for high-dimensional (more than 10 continuous states) dynamical systems.