A New Algorithm for the Verification of Codiagnosability of Discrete Event Systems With Dynamic Observations

In this work, a new algorithm for verifying the codiagnosticability of the language
of a discrete event system (DES) with dynamic observations is proposed. The new algorithm is an extension of a recently proposed algorithm for the verification of the codiagnosability of DES with static observations. The computational complexity of the proposed algorithm is compared with the complexity of other algorithms presented in the literature.