Show simple item record  

dc.contributor.authorMcGrath, Nicholas
dc.date.accessioned2018-12-03T21:14:46Z
dc.date.available2018-12-03T21:14:46Z
dc.date.issued2018-11-21
dc.identifier.citationMcGrath, 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.en
dc.identifier.urihttps://hdl.handle.net/10289/12224
dc.description.abstractThe 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.en_NZ
dc.format.mimetypeapplication/pdf
dc.language.isoenen_NZ
dc.publisherDepartment of Computer Science, The University of Waikatoen_NZ
dc.relation.ispartofseriesComputer Science Working Papersen_NZ
dc.rights© 2018 Nicholas McGrathen_NZ
dc.titleVerification of the diagnosability of discrete-event systems in watersen_NZ
dc.typeWorking Paperen_NZ
uow.relation.series04/2018en_NZ


Files in this item

This item appears in the following Collection(s)

Show simple item record