Log In Sign Up

Model-bounded monitoring of hybrid systems

by   Masaki Waga, et al.

Monitoring of hybrid systems attracts both scientific and practical attention. However, monitoring algorithms suffer from the methodological difficulty of only observing sampled discrete-time signals, while real behaviors are continuous-time signals. To mitigate this problem of sampling uncertainties, we introduce a model-bounded monitoring scheme, where we use prior knowledge about the target system to prune interpolation candidates. Technically, we express such prior knowledge by linear hybrid automata (LHAs) - the LHAs are called bounding models. We introduce a novel notion of monitored language of LHAs, and we reduce the monitoring problem to the membership problem of the monitored language. We present two partial algorithms - one is via reduction to reachability in LHAs and the other is a direct one using polyhedra - and show that these methods, and thus the proposed model-bounded monitoring scheme, are efficient and practically relevant.


The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems

We study fundamental reachability problems on pseudo-orbits of linear dy...

Monitoring Timed Properties (Revisited)

In this paper we revisit monitoring real-time systems with respect to pr...

On the k-synchronizability of systems

In this paper, we work on the notion of k-synchronizability: a system is...

On the Decidability of Reachability in Continuous Time Linear Time-Invariant Systems

We consider the decidability of state-to-state reachability in linear ti...

On Decidability of Time-bounded Reachability in CTMDPs

We consider the time-bounded reachability problem for continuous-time Ma...

Hybrid variable monitoring: An unsupervised process monitoring framework

Traditional process monitoring methods, such as PCA, PLS, ICA, MD et al....

Neural State Classification for Hybrid Systems

We introduce the State Classification Problem (SCP) for hybrid systems, ...