Model predictive monitoring of dynamical systems for signal temporal logic specifications

DOI10.1016/j.automatica.2023.111445arXiv2209.12493MaRDI QIDQ6152567

Xiang Yin, Shao-Yuan Li, Weijie Dong, Xinyi Yu

Publication date: 13 February 2024

Published in: Automatica (Search for Journal in Brave)

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

zbMATH Keywords

feasible set; online monitoring; signal temporal logic

Mathematics Subject Classification ID

93C55: Discrete-time control/observation systems

94A12: Signal theory (characterization, reconstruction, filtering, etc.)

03B44: Temporal logic