Browsing by Author "McGrath, Nicholas"

Now showing items 1-1 of 1

  • Verification of the diagnosability of discrete-event systems in waters

    McGrath, Nicholas (Department of Computer Science, The University of Waikato, 2018-11-21)
    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 ...