Robust Temporal Logic Model Predictive Control

Abstract

Control synthesis from temporal logic specifications has gained popularity in recent years. In this paper, we use a model predictive approach to control discrete time linear systems with additive bounded disturbances subject to constraints given as formulas of signal temporal logic (STL). We introduce a (conservative) computationally efficient framework to synthesize control strategies based on mixed integer programs. The designed controllers satisfy the temporal logic requirements, are robust to all possible realizations of the disturbances, and optimal with respect to a cost function. In case the temporal logic constraint is infeasible, the controller satisfies a relaxed, minimally violating constraint. An illustrative case study is included.

This work has been accepted to appear in the proceedings of 53rd Annual Allerton Conference on Communication, Control and Computing, Urbana-Champaign, IL (2015)

Cited by in corpus (21)

• A Survey of Optimization-based Task and Motion Planning: From Classical To Learning Approaches
• Control Design for Risk-Based Signal Temporal Logic Specifications
• Formal Synthesis of Control Strategies for Positive Monotone Systems
• STLCCP: Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications
• Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications
• Approximation-free Control for Signal Temporal Logic Specifications using Spatiotemporal Tubes
• Inferring Temporal Logic Properties from Data using Boosted Decision Trees
• Safe Model-based Control from Signal Temporal Logic Specifications Using Recurrent Neural Networks
• Bayesian Optimization for Polynomial Time Probabilistically Complete STL Trajectory Synthesis
• Robust Control for Signal Temporal Logic Specifications using Average Space Robustness
• Reinforcement Learning Agent Training with Goals for Real World Tasks
• Continuous-time Signal Temporal Logic Planning with Control Barrier Function
• Prescribed Performance Control for Signal Temporal Logic Specifications
• Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints
• Scalable Integrated Task and Motion Planning from Signal Temporal Logic Specifications
• A Smooth Robustness Measure of Signal Temporal Logic for Symbolic Control
• Automatic Trajectory Synthesis for Real-Time Temporal Logic
• Trajectory Optimization for High-Dimensional Nonlinear Systems under STL Specifications
• MAPS${}^2$: Multi-Robot Autonomous Motion Planning under Signal Temporal Logic Specifications
• Guided Policy Improvement for Satisfying STL Tasks using Funnel Adaptation
• Non-uniform Sampled Motion Planning for Continuous-time STL