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 control-loop detection

      Malik, Robi; Malik, Petra
      Thumbnail
      Files
      Malik - Modular control.pdf
      112.3Kb
      DOI
       10.1109/WODES.2006.1678418
      Find in your library  
      Citation
      Export citation
      Malik, R. & Malik, P. (2006). Modular control-loop detection. 8th Workshop on Discrete Event Systems, (119-124), Ann Arbor, USA.
      Permanent Research Commons link: https://hdl.handle.net/10289/1342
      Abstract
      This paper presents an efficient algorithm to

      detect control-loops in large finite-state systems. The proposed

      algorithm exploits the modular structure present in many

      models of practical relevance, and often successfully avoids the

      explicit synchronous composition of subsystems and thereby

      the state explosion problem. Experimental results show that

      the method can be used to verify industrial applications of

      considerable complexity.
      Date
      2006-07
      Type
      Conference Contribution
      Publisher
      IEEE
      Rights
      Copyright IEEE 2006
      Collections
      • Computing and Mathematical Sciences Papers [1454]
      Show full item record  

      Usage

      Downloads, last 12 months
      90
       
       
       

      Usage Statistics

      For this itemFor all of Research Commons

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