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.

      Optimal Task Scheduling in a Flexible Manufacturing System using Model Checking

      Malik, Robi; Pena, Patícia N.
      Thumbnail
      Files
      wodes2018.pdf
      Accepted version, 138.6Kb
      DOI
       10.1016/j.ifacol.2018.06.306
      Find in your library  
      Citation
      Export citation
      Malik, R., & Pena, P. N. (2018). Optimal Task Scheduling in a Flexible Manufacturing System using Model Checking. IFAC-PapersOnLine, 51, 230–235. https://doi.org/10.1016/j.ifacol.2018.06.306
      Permanent Research Commons link: https://hdl.handle.net/10289/12562
      Abstract
      This paper demonstrates the use of model checking to solve the problem of optimal task scheduling in a flexible manufacturing system. The system is modelled as a discrete event system, for which the least restrictive safe behaviour is synthesised according to supervisory control theory. Then timing constraints are added to the model in the form of extended finite-state machines, and time-optimal schedules are computed using the discrete event systems and model checking tool Supremica. In the case study considered in this paper, which previously was only solved heuristically, the method successfully produces optimal schedules to manufacture up to 30 products of two different types. The method is furthermore used to find an optimal cycle, solving the scheduling problem of the case study for an arbitrary number of products in optimal or asymptotically close to optimal time.
      Date
      2018
      Type
      Conference Contribution
      Publisher
      Elsevier Ltd.
      Rights
      This is the author's accepted version. © 2018, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd.
      Collections
      • Computing and Mathematical Sciences Papers [1454]
      Show full item record  

      Usage

      Downloads, last 12 months
      114
       
       
       

      Usage Statistics

      For this itemFor all of Research Commons

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