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
      • Computer Science Working Paper Series
      • 2016 Working Papers
      • View Item
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computer Science Working Paper Series
      • 2016 Working Papers
      • View Item
      JavaScript is disabled for your browser. Some features of this site may not work without it.

      An algorithm for the synthesis of least restrictive controllable supervisors for extended finite-state machines

      Malik, Robi; Teixeira, Marcelo
      Thumbnail
      Files
      uow-cs-wp-2016-01.pdf
      Published version, 288.3Kb
      Find in your library  
      Citation
      Export citation
      Malik, R., & Teixeira, M. (2016). An algorithm for the synthesis of least restrictive controllable supervisors for extended finite-state machines (Computer Science Working Papers 01/2016). Hamilton, New Zealand: The University of Waikato, Department of Computer Science.
      Permanent Research Commons link: https://hdl.handle.net/10289/9841
      Abstract
      This working 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
      Type
      Working Paper
      Series
      Computer Science Working Papers
      Report No.
      01/2016
      Publisher
      Department of Computer Science, The University of Waikato
      Rights
      © 2016 Robi Malik and Marcelo Teixeira
      Collections
      • 2016 Working Papers [2]
      Show full item record  

      Usage

      Downloads, last 12 months
      24
       
       

      Usage Statistics

      For this itemFor all of Research Commons

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