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 Supervisor Synthesis for Extended Finite-State Machines Subject to Controllability

      Malik, Robi; Teixeira, Marcelo
      Thumbnail
      Files
      wodes16.pdf
      Accepted version, 171.6Kb
      DOI
       10.1109/WODES.2016.7497831
      Find in your library  
      Citation
      Export citation
      Malik, R., & Teixeira, M. (2016). Modular Supervisor Synthesis for Extended Finite-State Machines Subject to Controllability. In C. Cassandras, A. Giua, & Z. Li (Eds.), Proceedings of the 2016 13th International Workshop on Discrete Event Systems (WODES), Xi'an, China, 30 May-1 June 2016 (pp. 91–96). Washington, DC, USA: IEEE. http://doi.org/10.1109/WODES.2016.7497831
      Permanent Research Commons link: https://hdl.handle.net/10289/10834
      Abstract
      This paper proposes an algorithm for the synthesis of modular supervisors using extended finite-state machines, i.e., state machines with variables and guards on the transitions. Synthesis is performed by iteratively selecting components from a synchronous composition until a least restrictive controllable solution is obtained. This method is usually faster and produces smaller supervisors than standard monolithic synthesis, while offering the modelling benefits of variables. An example of manufacturing system control illustrates the approach.
      Date
      2016-01-01
      Type
      Conference Contribution
      Publisher
      IEEE
      Rights
      © 2016 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
      Collections
      • Computing and Mathematical Sciences Papers [1385]
      Show full item record  

      Usage

      Downloads, last 12 months
      44
       
       
       

      Usage Statistics

      For this itemFor all of Research Commons

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