Reactive and Risk-Aware Control for Signal Temporal Logic

DOI10.1109/tac.2021.3120681arXiv2108.13490OpenAlexW3207334744MaRDI QIDQ6077104

Lars Lindemann, Dimos V. Dimarogonas, George J. Pappas

Publication date: 24 September 2023

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2108.13490

zbMATH Keywords

timed automataformal methodsreactive controlsignal temporal logic (STL)risk-aware control

Mathematics Subject Classification ID

Systems theory; control (93-XX)

This page was built for publication: Reactive and Risk-Aware Control for Signal Temporal Logic