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.

      Supervision equivalence

      Flordal, Hugo; Malik, Robi
      Thumbnail
      Files
      Malik - Supervision equivalence.pdf
      123.0Kb
      DOI
       10.1109/WODES.2006.1678424
      Find in your library  
      Citation
      Export citation
      Flordal, H. & Malik, R. (2006). Supervision equivalence. 8th Workshop on Discrete Event Systems 2006 (pp. 155-160). Ann Arbor, USA, 2006.
      Permanent Research Commons link: https://hdl.handle.net/10289/1344
      Abstract
      This paper presents a general framework for

      modular synthesis of supervisors for discrete event systems.

      The approach is based on compositional minimisation, using

      concepts of process equivalence. Its result is a compact

      representation of a least restrictive supervisor that ensures

      controllability and nonblocking. The method is demonstrated

      to reduce the number of states to be constructed for a simple

      manufacturing example, and the framework is proven to be

      sound.
      Date
      2006
      Type
      Conference Contribution
      Publisher
      IEEE
      Rights
      Copyright IEEE 2006
      Collections
      • Computing and Mathematical Sciences Papers [1441]
      Show full item record  

      Usage

      Downloads, last 12 months
      75
       
       
       

      Usage Statistics

      For this itemFor all of Research Commons

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