Robust control for signal temporal logic specifications using discrete average space robustness

DOI10.1016/j.automatica.2018.12.022zbMath1415.93092arXiv1607.07019OpenAlexW2963199590WikidataQ128607420 ScholiaQ128607420MaRDI QIDQ1737745

Lars Lindemann, Dimos V. Dimarogonas

Publication date: 24 April 2019

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1607.07019

zbMATH Keywords

autonomous systemsmodel predictive controlsignal temporal logicformal methods-based control

Mathematics Subject Classification ID

Related Items (6)

Model predictive monitoring of dynamical systems for signal temporal logic specifications ⋮ An STL-based Approach to Resilient Control for Cyber-Physical Systems ⋮ Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic ⋮ Robust parametric control of Lorenz system via state feedback ⋮ TeLEx: learning signal temporal logic from positive examples using tightness metric ⋮ Feedback control strategies for multi-agent systems under a fragment of signal temporal logic tasks

Uses Software

• Gurobi
• YALMIP
• GitHub
• BluSTL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Robustness of temporal logic specifications for continuous-time signals
• Temporal logic motion planning for dynamic robots
• Time robustness in MTL and expressivity in hybrid system falsification
• Reactive synthesis from signal temporal logic specifications
• Temporal Logic as Filtering
• Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications
• From MITL to Timed Automata
• Robust Satisfaction of Temporal Logic over Real-Valued Signals
• SMC
• Robust Linear Temporal Logic
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: Robust control for signal temporal logic specifications using discrete average space robustness