Comments on "Observability of discrete event dynamic systems" by C. M. Ozveren and A.S. Willsky
Supratik Bose, Amit Patra, Samrat Mukhopadhyay · IEEE Transactions on Automatic Control · 1993
It is pointed out that the algorithm introduced in the above-titled work (see ibid., vol.35, no.7, p.797-806, July 1990) to compute the maximal set of indistinguishable state pairs is incorrect under the given definition of the automation O/sub p/. It is suggested that to remove the difficulty, either the definition of O/sub p/ or the algorithm itself should be modified.>