Brief Announcement Monitoring of Linear Distributed Computations

摘要

We consider a general formal model for monitoring of a local network behavior. Monitored behavior of the system corresponds to the dynamics induced on the observed state space by the corresponding projection function. An algorithm is developed for restoration of information about the system state on the base of the observations. The theoretical work is backed by our experiments on monitoring Spanning Tree Protocol.