Robust Satisfaction of Temporal Logic over Real-Valued Signals

By Alexandre Donzé, Oded Maler. International Conference on Formal Modeling and Analysis of Timed Systems, 2010

846 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Learning and Verification of Feedback Control Systems using Feedforward Neural Networks (2018, methodology): “In this work, we consider the problem of synthesizing neural networks that can serve as state and output feedback laws to achieve control objectives that can be specified as reachability of a target set, region stability of a target set around an equilibrium point, or in principle, logical formulas ”
Model predictive control with signal temporal logic specifications (2014, methodology): “edu Logic (MTL) [10] and STL [8] to assess the robustness of the systems to parameter or timing variations.”
Safe Control under Uncertainty (2015, background): “sures and monitoring properties of real-time signals of hybrid systems [27, 10, 9].”
A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems (2018, background): “Several researchers have proposed [69,70] to address this issue by defining a quantitative semantics for STL.”
Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications (2018, background): “In [51], the authors extend the quantitative semantics of STL by combining spatial with time robustness, thus also allowing to quantify temporal perturbations in signals.”