Model predictive online monitoring of dynamical systems for nested signal temporal logic specifications

Nonlinear Analysis Hybrid Systems 2026 Open access

Read full text
Authors: Tao Han, Shaoyuan Li, Xiang Yin
DOI: 10.1016/j.nahs.2026.101772
Cited by: 0
References: 27

Fields of Study & Subjects

Formal Methods in Verification Advanced Database Systems and Queries Advanced Control Systems Optimization

Publication details

Journal / source
Nonlinear Analysis Hybrid Systems
Publisher
Elsevier BV
Volume
62
Pages
101772–101772
Publication date
10 June 2026
Language
EN