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

From MurrayWiki
Jump to: navigation, 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.