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

This paper introduces an efficient optimization-based control synthesis methodology tailored for Signal Temporal Logic (STL) and its extension, weighted Signal Temporal Logic (wSTL). While STL captures Boolean and temporal operators, wSTL further allows users to express preferences and priorities ov...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Nonlinear analysis. Hybrid systems Jg. 56; S. 101576
Hauptverfasser:	Cardona, Gustavo A., Kamale, Disha, Vasile, Cristian-Ioan
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier Ltd 01.05.2025
Schlagworte:	Control synthesis Disjunction-centric encoding Mixed integer linear programming Signal Temporal Logic Control synthesis Mixed integer linear programming Disjunction-centric encoding Signal Temporal Logic
ISSN:	1751-570X
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!