Generalised verification of the observer property in discrete event systems

Bravo, H. J.; da Cunha, A. E. C.; Pena, Patricia N.; Malik, Robi; Cury, José E. R.

doi:10.3182/20121003-3-mx-4033.00054

Files

Generalised verification.pdf

160.8Kb

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

Abstract

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.

Date

2012

Type

Conference Contribution

Publisher

IFAC

Rights

© 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

Collections

Computing and Mathematical Sciences Papers [1431]