The Universal State-Estimation-Intersection-Based Architecture for Decentralized Problems of Discrete-Event Systems

This paper proposes a universal state-/estimate-/intersection-/based protocols (SEI-/protocol) for decentralized problems of discrete-event systems. The decentralized problems include control problems and diagnosis problems. Our SEI-protocol is termed “universal” in the sense that, for a fixed plant representation, it solves a larger class of problems than prior SEI-protocols. In fact, we formalize how our solution achieves as much as can be achieved by SEI-/based architectures. Solution existence, verification and construction are given. The results are formally verified by Isabelle/HOL.