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á bibliografie

Vydáno v:	Nonlinear analysis. Hybrid systems Ročník 56; s. 101576
Hlavní autoři:	Cardona, Gustavo A., Kamale, Disha, Vasile, Cristian-Ioan
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier Ltd 01.05.2025
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!