Abstract:The predictive monitoring problem asks whether a deployed system is likely to fail over the next T seconds under some environmental conditions. This problem is of the utmost importance for cyber-physical systems, and has inspired real-time architectures capable of adapting to such failures upon forewarning. In this paper, we present a linear model-predictive scheme for the real-time monitoring of linear systems governed by time-triggered controllers and time-varying disturbances. The scheme uses a combination of offline (advance) and online computations to decide if a given plant model has entered a state from which no matter what control is applied, the disturbance has a strategy to drive the system to an unsafe region. Our approach is independent of the control strategy used: this allows us to deal with plants that are controlled using model-predictive control techniques or even opaque machine-learning based control algorithms that are hard to reason with using existing reachable set estimation algorithms. Our online computation reuses the symbolic reachable sets computed offline. The real-time monitor instantiates the reachable set with a concrete state estimate, and repeatedly performs emptiness checks with respect to a safety property. We classify the various alarms raised by our approach in terms of what they imply about the system as a whole. We implement our real-time monitoring approach over numerous linear system benchmarks and show that the computation can be performed rapidly in practice. Furthermore, we also examine the alarms reported by our approach and show how some of the alarms can be used to improve the controller.

Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model

Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model

MoULDyS: Monitoring of Autonomous Systems in the Presence of Uncertainties

Distributed Self-Monitoring Sensor Networks Via Markov Switching Dynamic Linear Models

Model Predictive Real-Time Monitoring of Linear Systems

Data-Driven Transient Stability Boundary Generation for Online Security Monitoring

Robust Dynamic Latent Variable Model for Dynamic Process Monitoring with Missing Data in Cyber-Physical Systems

Toward Online Hybrid Systems Model Checking of Cyber-Physical Systems' Time-Bounded Short-Run Behavior

Scalable active subspace low-rank graph representation for continuous system online security evaluation with input corruption

Online Model Checking for Dependable Real-Time Systems

Online Data-Driven Safety Certification for Systems Subject to Unknown Disturbances

An Unsupervised Spatiotemporal Graphical Modeling Approach to Anomaly Detection in Distributed CPS

Learning Run-time Safety Monitors for Machine Learning Components

Scope Compliance Uncertainty Estimate

Online Modeling and Monitoring of Dependent Processes under Resource Constraints

Uncertainty-aware deep learning for reliable health monitoring in safety-critical energy systems

Learning Disturbances Online for Risk-Aware Control: Risk-Aware Flight with Less Than One Minute of Data

Intelligent quantitative safety monitoring approach for ATP system by neural computing and probabilistic model checking

Safety of Linear Systems under Severe Sensor Attacks

Probabilistic Monitoring of Correlated Sensors for Nonlinear Processes in State Space.

Online Monitoring of Dynamic Systems for Signal Temporal Logic Specifications with Model Information