Verifying the Precision of Diagnostic Algorithms
Diagnosis of discrete event systems requires to decide whether the system model allows for certain types of executions to take place. Because this problem is hard, incomplete yet faster algorithms may be needed. This however can lead to a loss of precisio
|Collections||ANU Research Publications|
|01_Su_Verifying_the_Precision_of_2014.pdf||181.44 kB||Adobe PDF||Request a copy|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.