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

      Verification of the diagnosability of discrete-event systems in waters

      McGrath, Nicholas
      Thumbnail
      Files
      uow-cs-wp-2018-04.pdf
      1.282Mb
      Citation
      Export citation
      McGrath, N. (2018). Verification of the diagnosability of discrete-event systems in waters (Working paper series. University of Waikato, Department of Computer Science. No. 04/2018). Hamilton, New Zealand: University of Waikato.
      Permanent Research Commons link: https://hdl.handle.net/10289/12224
      Abstract
      The task of detecting faults and reacting to them appropriately is a crucial aspect of a building a stable system. If a fault cannot be directly observed, its occurrence must be inferred from what can be observed. In the realm of discrete-event systems, the property of diagnosability has been defined, and several algorithms for testing diagnosability have been presented. Diagnosability relates to the ability for all possible faults to be correctly detected or inferred within a finite amount of time from their occurrence. WATERS (Waikato Analysis Toolkit for Events in Reactive Systems) is a software toolkit for the creation and analysis of discrete-event systems. In this report pre-existing existing algorithms for the verification of diagnosability and the implementation of one of these algorithms into WATERS are discussed. The created implementation can verify the diagnosability of a discrete-event system in polynomial time with respect to its state space and provide a counterexample if the discrete-event system was found to be not diagnosable.
      Date
      2018-11-21
      Type
      Working Paper
      Series
      Computer Science Working Papers
      Report No.
      04/2018
      Publisher
      Department of Computer Science, The University of Waikato
      Rights
      © 2018 Nicholas McGrath
      Collections
      • 2018 Working Papers [4]
      Show full item record  

      Usage

      Downloads, last 12 months
      63
       
       

      Usage Statistics

      For this itemFor all of Research Commons

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