Search Results for author:
Found 4 papers, 1 papers with code
Model Predictive Monitoring of Dynamical Systems for Signal Temporal Logic Specifications
To this end, effective approaches for the computation of feasible sets of STL formulae are provided.
A Uniform Framework for Diagnosis of Discrete-Event Systems with Unreliable Sensors using Linear Temporal Logic
In this work, we propose a novel \emph{uniform framework} for diagnosability of DES subject to, not only sensor failures, but also a very general class of unreliable sensors.
Fault Diagnosis of Discrete-Event Systems under Non-Deterministic Observations with Output Fairness
Non-deterministic observation is a general observation model that includes the case of intermittent loss of observations.
Online Monitoring of Dynamic Systems for Signal Temporal Logic Specifications with Model Information
We show that, by explicitly utilizing the model information of the dynamic system, the proposed online monitoring algorithm can falsify or certify of the specification in advance compared with existing algorithms, where no model information is used.
