Transition submatrices in regular homing experiments and identification of sequential machines of known class using direct-sum transition matrices☆
References (33)
State-identification experiments in finite automata
Inform. Control
(1961)- et al.
On identification of synchronous sequential machines
Automatica
(1972) - et al.
Transition matrices in the measurement and control of synchronous sequential machines
Inform. Sci.
(1979) - et al.
On the design of improved failure detection experiments in synchronous sequential machines based on terminal measurements
Comput. Electric. Engng
(1979) Gedanken-experiments on sequential machines
Introduction to the Theory of Finite-State Machines
(1962)Digital Circuits and Logic Design
(1976)Computer Architecture and Organization
(1978)Switching and Finite Automata Theory
(1978)Modern Switching Theory and Digital Design
(1978)
On the length of the smallest uniform experiment which distinguishes the terminal states of a machine
J. Ass. Comput. Mach.
Transition matrices of sequential machines
IRE Trans. Circuit Theory
Least upper bounds on minimal terminal state experiments for two classes of sequential machines
J. Ass. Comput. Mach.
Fault detecting experiments for sequential circuits
Derivation of optimum test sequences for sequential machines
Identification of synchronous sequential machines by merging of states
Cited by (0)
- ☆
This research was supported in part by the National Science Council of the Republic of China, and by the Natural Sciences and Engineering Research Council of Canada under Grant A 4750.
- †
Sunil R. Das is a Professor of Electrical Engineering at the University of Ottawa, Ottawa, Ontario, Canada. He holds a B.Sc. (Hons) in Physics, an M.Sc. (Tech) and a Ph.D. in Radiophysics and Electronics from the University of Calcutta, Calcutta, West Bengal, India. He previously held academic positions with the Institute of Radiophysics and Electronics, University of Calcutta, and the Institute of Computer Engineering of the National Chiao Tung University in Hsinchu, Taiwan, Republic of China. Dr Das has published extensively in the areas of switching and automata theory, logic design, fault-tolerant computing, microprogramming, computer architecture, graph theory and combinatorics. He was elected one of the delegates of the Good People, Good Deeds of the Republic of China in 1981 for his contributions in the field of research, and education. He is currently the Managing Editor of the IEEE VLSI Technical Bulletin, a publication of the IEEE Computer Society Technical Committee on VLSI.
- §
Zen Chen received a B.S. from the National Taiwan University, Taipei, Taiwan, Republic of China, an M.S. from the Duke University, Durham, North Carolina and a Ph.D. from the Purdue University, West Lafayette, Indiana, all in Electrical Engineering. Since 1974, Dr Chen has been teaching at the National Chiao Tung University, Hsinchu, Taiwan, Republic of China, where he is currently a Professor of Computer Engineering. His areas of interests include pattern recognition, digital image processing, pictorial database, artificial intelligence, and multiprocessor systems design.
- ¶
Yow Lung Dai earned his B.S. in Computer Science and Control Engineering and an M.S. in Computer Engineering from the National Chiao Tung University, Hsinchu, Taiwan, Republic of China. Mr Dai worked at Hewlett-Packard Taiwan as a Computer Staff Engineer and at the Taiwan Telecommunication Administration and Telecommunication Laboratories as a Systems Engineer. His fields of interest include computer architecture and organization, digital faults, reliable software, microprogramming, etc.
- ∥
Mrinal K. Das earned a B.Sc. (Hons) and an M.Sc. in Zoology from the University of Calcutta, Calcutta, West Bengal, India. He also holds an M.S. in Zoology from the University of Alberta, Edmonton, Alberta, Canada, where he is presently working towards his Ph.D. His research interests include ichthyology, zoogeography, freshwater ecology, and application of computer technology to these fields.