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.

      Modular synthesis of discrete controllers

      Malik, Petra; Malik, Robi; Streader, David; Reeves, Steve
      Thumbnail
      Files
      Malik - Modular synthesis.pdf
      191.3Kb
      DOI
       10.1109/ICECCS.2007.31
      Link
       ieeexplore.ieee.org
      Find in your library  
      Citation
      Export citation
      Malik, P., Malik, R., Streader, D. & Reeves, S. (2007). Modular synthesis of discrete controllers. 12th IEEE International Conference on Engineering Complex Computer Systems, (pp. 25-35).
      Permanent Research Commons link: https://hdl.handle.net/10289/1303
      Abstract
      This paper presents supervisory control theory in a process-algebraic setting, and proposes a way of synthesising modular supervisors that guarantee nonblocking. The framework used includes the possibility of hiding actions which results in nondeterminism. As modularity crucially depends on the process equivalence used, the paper studies possible equivalences and points out that, in order to be consistent with respect to the nonblocking property and to supervisor synthesis, a conflict-preserving equivalence must be used. It applies the results to synthesise nonblocking modular supervisors for a manufacturing system.
      Date
      2007-07
      Type
      Conference Contribution
      Publisher
      IEEE Computer Society
      Rights
      Copyright IEEE 2007
      Collections
      • Computing and Mathematical Sciences Papers [1452]
      Show full item record  

      Usage

      Downloads, last 12 months
      131
       
       
       

      Usage Statistics

      For this itemFor all of Research Commons

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