Model-bounded monitoring of hybrid systems

02/15/2021
by   Masaki Waga, et al.
0

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.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 13

09/04/2019

On the k-synchronizability of systems

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

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

We consider the decidability of state-to-state reachability in linear ti...
08/24/2017

Control-Flow Residual Analysis for Symbolic Automata

Where full static analysis of systems fails to scale up due to system si...
06/09/2020

On Decidability of Time-bounded Reachability in CTMDPs

We consider the time-bounded reachability problem for continuous-time Ma...
09/04/2019

On the k-synchronizability for mailbox systems

Asynchronous bounded or unbounded message passing is ubiquitous in commu...
04/02/2021

Data-driven balancing of linear dynamical systems

We present a novel reformulation of balanced truncation, a classical mod...
09/02/2021

Root-max Problems, Hybrid Expansion-Contraction, and Quadratically Convergent Optimization of Passive Systems

We present quadratically convergent algorithms to compute the extremal v...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.