Generalised Search for the Observer Property in Discrete Event Systems1

This paper proposes a procedure to compute Abstractions with the observer property (OP) for discrete event systems. The procedure is a generalisation of an algorithm proposed before by the authors, which is based on a quadratic algorithm to test whether a given projection has the observer property. The new version proposed in this paper supports systems that have cycles of non-relevant events, thus removing a restriction of the previous version. Nevertheless, it retains its cubic complexity, which means that the method is asymptotically faster than other methods proposed in the literature to solve the same problem.