| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 714249 | IFAC Proceedings Volumes | 2012 | 6 Pages |
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.
Related Topics
Physical Sciences and Engineering
Engineering
Computational Mechanics
