mlsanityData to 14 Oct 2026

Robust Temporal Logic Model Predictive Control

arXiv 1511.00347 ↗First posted 2 Nov 2015eess.SY cs.SYcited by 21

Not on the map. Why?

Abstract (arXiv)

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.

Key facts. Cited by 21 papers in the map (data through 14 Oct 2026). First posted on arXiv 2 Nov 2015.

Builds on

No reference list yet.

Built on by

Cited by year (2026 to 14 Oct)

Citing papers per year: 2021: 3; 2022: 3; 2023: 1; 2024: 6; 2025: 3; 2026: 5.

21 papers.

Sort:

By area:

  1. 2024A Survey of Optimization-based Task and Motion Planning: From Classical To Learning Approachescited by 20
  2. 2025TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matchingcited by 9
  3. 2022Risk Verification of Stochastic Systems with Neural Network Controllerscited by 6
  4. 2023Learning Robust and Correct Controllers from Signal Temporal Logic Specifications Using BarrierNetcited by 6
  5. 2025Zero-Shot Trajectory Planning for Signal Temporal Logic Taskscited by 6
  6. 2024Guiding Multi-agent Multi-task Reinforcement Learning by a Hierarchical Framework with Logical Reward Shapingcited by 4
  7. 2021Safe Model-based Control from Signal Temporal Logic Specifications Using Recurrent Neural Networkscited by 3
  8. 2024Interpretable Imitation Learning via Generative Adversarial STL Inference and Controlcited by 3
  9. 2024Traffic-Rule-Compliant Trajectory Repair via Satisfiability Modulo Theories and Reachability Analysiscited by 3
  10. 2021Inferring Temporal Logic Properties from Data using Boosted Decision Treescited by 2
  11. 2026STeP: Signal Temporal Logic for Precise Specifications for Action Generation with Vision Language Modelscited by 2
  12. 2022Neural Controller Synthesis for Signal Temporal Logic Specifications Using Encoder-Decoder Structured Networkscited by 1
9 more
  1. 2026Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoningcited by 1
  2. 2021Reinforcement Learning Agent Training with Goals for Real World Taskscited by 0
  3. 2022CatlNet: Learning Communication and Coordination Policies from CaTL+ Specificationscited by 0
  4. 2024Scaling Learning based Policy Optimization for Temporal Logic Tasks by Controller Network Dropoutcited by 0
  5. 2024Safety Verification and Navigation for Autonomous Vehicles based on Signal Temporal Logic Constraintscited by 0
  6. 2025Feasibility-aware Learning of Robust Temporal Logic Controllers using BarrierNetcited by 0
  7. 2026Specification-Aware Distribution Shaping for Robotics Foundation Modelscited by 0
  8. 2026Zero-Shot Signal Temporal Logic Planning with Disjunctive Branch Selection in Dynamic Semantic Mapscited by 0
  9. 2026Logic-VLA: A Temporal Logic Conditioned Vision-Language-Action Modelcited by 0