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.

      Hierarchical interface-based supervisory control using the conflict preorder

      Malik, Robi; Leduc, Ryan
      Thumbnail
      Files
      hiscMC.pdf
      139.6Kb
      DOI
       10.3182/20121003-3-MX-4033.00028
      Link
       www.ifac-papersonline.net
      Find in your library  
      Citation
      Export citation
      Malik, R., Leduc, R. (2012). Hierarchical interface-based supervisory control using the conflict preorder. In Proceedings of the 11th International Workshop on Discrete Event Systems (pp. 163-168).
      Permanent Research Commons link: https://hdl.handle.net/10289/8038
      Abstract
      Hierarchical Interface-Based Supervisory Control decomposes a large discrete event system into subsystems linked to each other by interfaces, facilitating the design of complex systems and the re-use of components. By ensuring that each subsystem satisfies its interface consistency conditions locally, it can be ensured that the complete system is controllable and nonblocking. The interface consistency conditions proposed in this paper are based on the conflict preorder, providing increased flexibility over previous approaches. The framework requires only a small number of interface consistency conditions, and allows for the design of multi-level hierarchies that are provably controllable and nonblocking.
      Date
      2012
      Type
      Conference Contribution
      Publisher
      The international Federation of Automatic Control
      Rights
      © 2012 The international Federation of Automatic Control.
      Collections
      • Computing and Mathematical Sciences Papers [1454]
      Show full item record  

      Usage

      Downloads, last 12 months
      56
       
       
       

      Usage Statistics

      For this itemFor all of Research Commons

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