Generalised verification of the observer property in discrete event systems
Bravo, H. J., Da Cunha, A. E. C., Pena, P. N., Malik, R., & Cury, J. E. R. (2012). Generalised verification of the observer property in discrete event systems. In Proceedings of the 11th International Workshop on Discrete Event Systems (pp. 337-342).
Permanent Research Commons link: https://hdl.handle.net/10289/8576
The observer property is an important condition to be satisfied by abstractions of Discrete Event Systems (DES) models. This paper presents a generalised version of a previous algorithm which tests if an abstraction of a DES obtained through natural projection has the observer property. The procedure called OP-verifier II overcomes the limitations of the previously proposed verifier while keeping its computational complexity. Results are illustrated by a case study of a transfer line system.
© IFAC 2012. This work is posted here by permission of IFAC for your personal use. Not for distribution. The original version was published in ifac-papersonline.net <http://papersonline.net>, DOI: 10.3182/20121003-3-MX-4033.00054