Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic

DOI10.1145/3575870.3587120OpenAlexW4375852001MaRDI QIDQ6202077

Unnamed Author, Unnamed Author, Cristian Ioan Vasile

Publication date: 21 February 2024

Published in: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3575870.3587120

zbMATH Keywords

control synthesismixed integer linear programmingtemporal logicuser satisfaction preferences

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Cites Work

• Unnamed Item
• Unnamed Item
• Robust control for signal temporal logic specifications using discrete average space robustness
• An STL-based formulation of resilience in cyber-physical systems
• Time window temporal logic
• Robust online monitoring of signal temporal logic
• Receding horizon control for temporal logic specifications
• Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems
• Robust Satisfaction of Temporal Logic over Real-Valued Signals
• Formal Guarantees in Data-Driven Model Identification and Control Synthesis
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Satisfaction of Linear Temporal Logic Specifications Through Recurrence Tools for Hybrid Systems

This page was built for publication: Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic