Now showing items 1-2 of 2

  • 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. (IFAC, 2012)
    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 ...
  • Verification of the observer property in discrete event systems

    Pena, Patricia N.; Bravo, H. J.; da Cunha, A. E. C.; Malik, Robi; Lafortune, S.; Cury, José E. R. (Institute of Electrical and Electronics Engineers Inc., 2014)
    The observer property is an important condition to be satisfied by abstractions of Discrete Event System (DES) models. This technical note presents a new algorithm that tests if an abstraction of a DES obtained through ...

A. E. C. da Cunha has 5 co-authors in Research Commons.