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

Full description

Bibliographic Details

Published in:	Nonlinear analysis. Hybrid systems Vol. 56; p. 101576
Main Authors:	Cardona, Gustavo A., Kamale, Disha, Vasile, Cristian-Ioan
Format:	Journal Article
Language:	English
Published:	Elsevier Ltd 01.05.2025
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!