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 setonline monitoringsignal temporal logic

Mathematics Subject Classification ID

Discrete-time control/observation systems (93C55) Signal theory (characterization, reconstruction, filtering, etc.) (94A12) Temporal logic (03B44)

Cites Work

• Robustness of temporal logic specifications for continuous-time signals
• Overapproximating reachable sets by Hamilton-Jacobi projections
• Quantitative monitoring of STL with edit distance
• Robust control for signal temporal logic specifications using discrete average space robustness
• Approximating a solution set of nonlinear inequalities
• STL model checking of continuous and hybrid systems
• Clairvoyant monitoring for signal temporal logic
• Offline and online monitoring of scattered uncertain logs using uncertain linear dynamical systems
• Robust online monitoring of signal temporal logic
• Control of constrained dynamic systems
• On the computation of invariant sets for constrained nonlinear systems: an interval arithmetic approach
• Data-driven verification of stochastic linear systems with signal temporal logic constraints
• Julia: A Fresh Approach to Numerical Computing
• Robust Satisfaction of Temporal Logic over Real-Valued Signals
• Ultimate boundedness control for uncertain discrete-time systems via set-induced Lyapunov functions
• Formal Synthesis of Stochastic Systems via Control Barrier Certificates
• From LTL to rLTL monitoring
• JuliaReach
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Computer Aided Verification
• Decentralized Circular Formation Control of Nonholonomic Mobile Robots Under a Directed Sensor Graph

This page was built for publication: Model predictive monitoring of dynamical systems for signal temporal logic specifications