Now showing items 1-3 of 3

  • 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 ...
  • Variable abstraction and approximations in supervisory control synthesis

    Teixeira, Marcelo; Malik, Robi; Cury, José E. R.; de Queiroz, Max. H. (IEEE, 2013)
    This paper proposes a method to simplify Extended Finite-state Automata (EFA) in such a way the least restrictive controllable supervisor is preserved. The method is based on variable abstraction, which involves the ...
  • 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 ...