{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T19:58:26Z","timestamp":1649015906420},"reference-count":33,"publisher":"Elsevier BV","issue":"5","license":[{"start":{"date-parts":[[1987,1,1]],"date-time":"1987-01-01T00:00:00Z","timestamp":536457600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computers & Operations Research"],"published-print":{"date-parts":[[1987,1]]},"DOI":"10.1016\/0305-0548(87)90038-4","type":"journal-article","created":{"date-parts":[[2003,6,30]],"date-time":"2003-06-30T16:15:45Z","timestamp":1056989745000},"page":"415-433","source":"Crossref","is-referenced-by-count":0,"title":["Transition submatrices in regular homing experiments and identification of sequential machines of known class using direct-sum transition matrices"],"prefix":"10.1016","volume":"14","author":[{"given":"Sunil R.","family":"Das","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chao","family":"Ping","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chen","family":"Zen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Yow Lung Dai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mrinal K.","family":"Das","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0305-0548(87)90038-4_BIB1","series-title":"Automata Studies","first-page":"129","article-title":"Gedanken-experiments on sequential machines","author":"Moore","year":"1956"},{"key":"10.1016\/0305-0548(87)90038-4_BIB2","series-title":"Introduction to the Theory of Finite-State Machines","author":"Gill","year":"1962"},{"key":"10.1016\/0305-0548(87)90038-4_BIB3","series-title":"Digital Circuits and Logic Design","author":"Lee","year":"1976"},{"key":"10.1016\/0305-0548(87)90038-4_BIB4","series-title":"Computer Architecture and Organization","author":"Hayes","year":"1978"},{"key":"10.1016\/0305-0548(87)90038-4_BIB5","series-title":"Switching and Finite Automata Theory","author":"Kohavi","year":"1978"},{"key":"10.1016\/0305-0548(87)90038-4_BIB6","series-title":"Modern Switching Theory and Digital Design","author":"Lee","year":"1978"},{"key":"10.1016\/0305-0548(87)90038-4_BIB7","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1145\/320932.320938","article-title":"On the length of the smallest uniform experiment which distinguishes the terminal states of a machine","volume":"5","author":"Ginsburg","year":"1958","journal-title":"J. Ass. Comput. Mach."},{"key":"10.1016\/0305-0548(87)90038-4_BIB8","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1109\/TCT.1959.1086510","article-title":"Transition matrices of sequential machines","volume":"CT-6","author":"Seshu","year":"1959","journal-title":"IRE Trans. Circuit Theory"},{"key":"10.1016\/0305-0548(87)90038-4_BIB9","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1016\/S0019-9958(61)80003-X","article-title":"State-identification experiments in finite automata","volume":"4","author":"Gill","year":"1961","journal-title":"Inform. Control"},{"key":"10.1016\/0305-0548(87)90038-4_BIB10","doi-asserted-by":"crossref","first-page":"601","DOI":"10.1145\/321088.321098","article-title":"Least upper bounds on minimal terminal state experiments for two classes of sequential machines","volume":"8","author":"Hibbard","year":"1961","journal-title":"J. Ass. Comput. Mach."},{"key":"10.1016\/0305-0548(87)90038-4_BIB11","series-title":"Proceedings of the 5th Annual Symposium on Switching Circuit Theory and Logic Design","first-page":"95","article-title":"Fault detecting experiments for sequential circuits","author":"Hennie","year":"1964"},{"key":"10.1016\/0305-0548(87)90038-4_BIB12","series-title":"Proceedings of the 5th Annual Symposium on Switching Circuit Theory and Logic Design","first-page":"121","article-title":"Derivation of optimum test sequences for sequential machines","author":"Poage","year":"1964"},{"key":"10.1016\/0305-0548(87)90038-4_BIB13","series-title":"Record of the 21st Annual Southwestern IEEE Conference","first-page":"4F1","article-title":"Identification of synchronous sequential machines by merging of states","author":"Sheng","year":"1969"},{"key":"10.1016\/0305-0548(87)90038-4_BIB14","first-page":"I","article-title":"Some further studies on machine identification by merging of states","volume":"13","author":"Das","year":"1970","journal-title":"Trans. Engng Inst. Can."},{"key":"10.1016\/0305-0548(87)90038-4_BIB15","doi-asserted-by":"crossref","first-page":"1153","DOI":"10.1109\/T-C.1971.223100","article-title":"Checking experiments for sequential machines","volume":"C-20","author":"Hsieh","year":"1971","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/0305-0548(87)90038-4_BIB16","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1016\/0005-1098(72)90054-4","article-title":"On identification of synchronous sequential machines","volume":"8","author":"Sheng","year":"1972","journal-title":"Automatica"},{"key":"10.1016\/0305-0548(87)90038-4_BIB17","article-title":"Transition matrices in the measurement and control of synchronous sequential machines","author":"Hsu","year":"1979"},{"key":"10.1016\/0305-0548(87)90038-4_BIB18","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/0020-0255(79)90003-3","article-title":"Transition matrices in the measurement and control of synchronous sequential machines","volume":"18","author":"Das","year":"1979","journal-title":"Inform. Sci."},{"key":"10.1016\/0305-0548(87)90038-4_BIB19","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1109\/PGEC.1967.264651","article-title":"Design of sequential machines with fault-detection capabilities","volume":"EC-16","author":"Kohavi","year":"1967","journal-title":"IEEE Trans. Electron. Comput."},{"key":"10.1016\/0305-0548(87)90038-4_BIB20","series-title":"ACM Computer Science Conference","first-page":"54","article-title":"On a novel approach to fault detection and design of checking sequences for sequential machines through machine modification by augmentation of special inputs","author":"Das","year":"1975"},{"key":"10.1016\/0305-0548(87)90038-4_BIB21","doi-asserted-by":"crossref","first-page":"821","DOI":"10.1109\/T-C.1975.224313","article-title":"Easily testable sequential machines with extra inputs","volume":"C-24","author":"Fujiwara","year":"1975","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/0305-0548(87)90038-4_BIB22","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1049\/el:19780020","article-title":"Fault detection in sequential machines with increased fault coverage","volume":"14","author":"Das","year":"1978","journal-title":"Electron. Lett."},{"key":"10.1016\/0305-0548(87)90038-4_BIB23","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1016\/0045-7906(79)90035-1","article-title":"On the design of improved failure detection experiments in synchronous sequential machines based on terminal measurements","volume":"6","author":"Das","year":"1979","journal-title":"Comput. Electric. Engng"},{"key":"10.1016\/0305-0548(87)90038-4_BIB24","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1049\/el:19800090","article-title":"On easily testable sequential machines with extra inputs and extra outputs","volume":"16","author":"Das","year":"1980","journal-title":"Electron. Lett."},{"key":"10.1016\/0305-0548(87)90038-4_BIB25","series-title":"Proceedings of the Symposium on Mathematical Theory of Automata Polytechnic Institute of Brooklyn","first-page":"483","article-title":"Derivation of optimal test to detect faults in combinational circuits","author":"Poage","year":"1963"},{"key":"10.1016\/0305-0548(87)90038-4_BIB26","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1109\/PGEC.1966.264376","article-title":"On finding a nearly minimal set of fault detection tests for combinational logic nets","volume":"EC-15","author":"Armstrong","year":"1966","journal-title":"IEEE Trans. Electron. Comput."},{"key":"10.1016\/0305-0548(87)90038-4_BIB27","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/T-C.1971.223077","article-title":"Derivation of minimal complete sets of test-input sequences using Boolean differences","volume":"C-20","author":"Marines","year":"1971","journal-title":"EEE Trans. Comput."},{"key":"10.1016\/0305-0548(87)90038-4_BIB28","doi-asserted-by":"crossref","first-page":"1286","DOI":"10.1109\/T-C.1971.223129","article-title":"Fault equivalence in combinational networks","volume":"C-20","author":"McCluskey","year":"1971","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/0305-0548(87)90038-4_BIB29","first-page":"1447","article-title":"On multiple fault analysis in combinational circuits by means of Boolean difference","volume":"64","author":"Das","year":"1976"},{"key":"10.1016\/0305-0548(87)90038-4_BIB30","doi-asserted-by":"crossref","first-page":"1053","DOI":"10.1109\/TC.1976.1674548","article-title":"Comments on \u201cDerivation of minimal complete sets of test-input sequences using Boolean differences\u201d","volume":"C-25","author":"Das","year":"1976","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/0305-0548(87)90038-4_BIB31","doi-asserted-by":"crossref","first-page":"777","DOI":"10.1049\/el:19790553","article-title":"Transition matrices in multiple preset experiments and initial state identification of synchronous sequential machines","volume":"15","author":"Das","year":"1979","journal-title":"Electron. Lett."},{"key":"10.1016\/0305-0548(87)90038-4_BIB32","article-title":"Transition matrices in multiple diagnosing experiments and identification of synchronous sequential machines","author":"Chao","year":"1980"},{"key":"10.1016\/0305-0548(87)90038-4_BIB33","series-title":"Fault Detection in Digital Circuits","author":"Friedman","year":"1971"}],"container-title":["Computers & Operations Research"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0305054887900384?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0305054887900384?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,18]],"date-time":"2019-03-18T16:55:48Z","timestamp":1552928148000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0305054887900384"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,1]]},"references-count":33,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1987,1]]}},"alternative-id":["0305054887900384"],"URL":"https:\/\/doi.org\/10.1016\/0305-0548(87)90038-4","relation":{},"ISSN":["0305-0548"],"issn-type":[{"value":"0305-0548","type":"print"}],"subject":[],"published":{"date-parts":[[1987,1]]}}}