STL and wSTL control synthesis: a disjunction-centric mixed-integer linear programming approach

DOI10.1016/J.NAHS.2025.101576MaRDI QIDQ7015101zbMATH OpenFDO

Authors Cristian Ioan Vasile

Publication date 10 March 2025

Published in Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.NAHS.2025.101576

zbMATH Keywords

control synthesisdisjunction-centric encodingmixed integer linear programmingsignal temporal logic

Mathematics Subject Classification ID

Temporal logic (03B44) Mixed integer programming (90C11) Synthesis problems (93B50)

Cites work

• A decision tree approach to data classification using signal temporal logic
• A program logic to verify signal temporal logic specifications of hybrid systems
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems
• scientific article; zbMATH DE number 1517989 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic
• Modeling disjunctive constraints with a logarithmic number of binary variables and constraints
• Robust online monitoring of signal temporal logic
• Robust satisfaction of temporal logic over real-valued signals
• Robustness of temporal logic specifications for continuous-time signals
• Satisfaction of Linear Temporal Logic Specifications Through Recurrence Tools for Hybrid Systems
• Time window temporal logic

Cited in

(1)

• Task and motion planning of dynamic systems using hyperproperties for signal temporal logic

This page was built for publication: STL and wSTL control synthesis: a disjunction-centric mixed-integer linear programming approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7015101)