Synthesizing bounded-delay communication protocols for decentralized discrete-event systems

A strategy for synthesizing communication protocols for a given upper-bounded delay d is proposed for decentralized discrete-event control. Previous work in the control domain has examined circumstances when all observations are communicated, under conditions of bounded delay, as well as determining whether or not a synchronous communication protocol is robust w.r.t. a given bounded delay. We are interested, without resorting to fully timed models, in the direct synthesis of communication protocols for a given upper-bounded delay [0, d], where d ∈ NO.