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.

      Compositional synthesis of maximally permissive supervisors using supervision equivalence

      Flordal, Hugo; Malik, Robi; Fabian, Martin; Akesson, Knut
      Thumbnail
      Files
      Compositional Synthesis of Maximally.pdf
      310.9Kb
      DOI
       10.1007/s10626-007-0018-z
      Link
       www.springerlink.com
      Find in your library  
      Citation
      Export citation
      Flordal, H., Malik, R., Fabian, M. & Akesson, K.(2007). Compositional synthesis of maximally permissive supervisors using supervision equivalence. Discrete Event Dynamic Systems, 17(4), 475-504.
      Permanent Research Commons link: https://hdl.handle.net/10289/1992
      Abstract
      This paper presents a general framework for efficient synthesis of supervisors for discrete event systems. The approach is based on compositional minimisation, using concepts of process equivalence. In this context, a large number of ways are suggested how a finite-state automaton can be simplified such that the results of supervisor synthesis are preserved. The proposed approach yields a compact representation of a least restrictive supervisor that ensures controllability and nonblocking. The method is demonstrated on a simple manufacturing example to significantly reduce the number of states constructed for supervisor synthesis.
      Date
      2007
      Type
      Journal Article
      Publisher
      Springer Netherlands
      Rights
      This is an author’s version of an article published in the journal: Discrete Event Dynamic Systems. ©2007 Springer Netherlands. The original publication is available at http://www.springerlink.com.
      Collections
      • Computing and Mathematical Sciences Papers [1457]
      Show full item record  

      Usage

      Downloads, last 12 months
      82
       
       
       

      Usage Statistics

      For this itemFor all of Research Commons

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