|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
Distinguishing Sets for Optimal State Identification in Checking Experiments
August 1974 (vol. 23 no. 8)
pp. 874-877
| ASCII Text | x | ||
| R.T. Boute, "Distinguishing Sets for Optimal State Identification in Checking Experiments," IEEE Transactions on Computers, vol. 23, no. 8, pp. 874-877, August, 1974. | |||
| BibTex | x | ||
| @article{ 10.1109/T-C.1974.224043, author = {R.T. Boute}, title = {Distinguishing Sets for Optimal State Identification in Checking Experiments}, journal ={IEEE Transactions on Computers}, volume = {23}, number = {8}, issn = {0018-9340}, year = {1974}, pages = {874-877}, doi = {http://doi.ieeecomputersociety.org/10.1109/T-C.1974.224043}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - JOUR JO - IEEE Transactions on Computers TI - Distinguishing Sets for Optimal State Identification in Checking Experiments IS - 8 SN - 0018-9340 SP874 EP877 EPD - 874-877 A1 - R.T. Boute, PY - 1974 KW - Checking experiments KW - distinguishing sequences KW - distinguishing sets KW - fault detection KW - machine identification KW - sequential machines KW - state identification KW - transition check status table KW - transition verification. VL - 23 JA - IEEE Transactions on Computers ER - | |||
A new concept, called distinguishing set or D-set is presented. Its use yields a considerable reduction in the length of checking sequences. Arbitrarily chosen examples have indicated a reduction of 30-50 percent. It is shown that the sequences of a distinguishing set actually constitute the optimum, i.e., minimum length, for state identification through input-output observations only.
Index Terms:
Checking experiments, distinguishing sequences, distinguishing sets, fault detection, machine identification, sequential machines, state identification, transition check status table, transition verification.
Citation:
R.T. Boute, "Distinguishing Sets for Optimal State Identification in Checking Experiments," IEEE Transactions on Computers, vol. 23, no. 8, pp. 874-877, Aug. 1974, doi:10.1109/T-C.1974.224043
Usage of this product signifies your acceptance of the Terms of Use.