Research Commons
      • Browse 
        • Communities & Collections
        • Titles
        • Authors
        • By Issue Date
        • Subjects
        • Types
        • Series
      • Help 
        • About
        • Collection Policy
        • OA Mandate Guidelines
        • Guidelines FAQ
        • Contact Us
      • My Account 
        • Sign In
        • Register
      View Item 
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computing and Mathematical Sciences Papers
      • View Item
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computing and Mathematical Sciences Papers
      • View Item
      JavaScript is disabled for your browser. Some features of this site may not work without it.

      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.
      Thumbnail
      Files
      Generalised verification.pdf
      160.8Kb
      DOI
       10.3182/20121003-3-mx-4033.00054
      Link
       www.ifac-papersonline.net
      Find in your library  
      Citation
      Export citation
      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 [1452]
      Show full item record  

      Usage

      Downloads, last 12 months
      50
       
       
       

      Usage Statistics

      For this itemFor all of Research Commons

      The University of Waikato - Te Whare Wānanga o WaikatoFeedback and RequestsCopyright and Legal Statement