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...

Celý popis

Podrobná bibliografia

Vydané v:	Nonlinear analysis. Hybrid systems Ročník 56; s. 101576
Hlavní autori:	Cardona, Gustavo A., Kamale, Disha, Vasile, Cristian-Ioan
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier Ltd 01.05.2025
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!