Browsing by Author "Lafortune, S."

Now showing items 1-1 of 1

  • 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 ...

S. Lafortune has 5 co-authors in Research Commons.