Incorporating communication and knowledge into decentralized discrete-event systems

Using a formal method for reasoning about knowledge, system states where supervisors do not know enough to solve the decentralized discrete-event control problem can be detected. Once such states are identified, procedures are derived for incorporating communication into the decentralized discrete-event system. The resulting augmented system gives supervisors enough knowledge to make the correct control decisions. Further, these procedures yield a minimal set of communications.