{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,17]],"date-time":"2025-09-17T15:23:59Z","timestamp":1758122639755},"reference-count":50,"publisher":"Elsevier BV","issue":"4-5","license":[{"start":{"date-parts":[[2002,7,1]],"date-time":"2002-07-01T00:00:00Z","timestamp":1025481600000},"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":["Journal of the Franklin Institute"],"published-print":{"date-parts":[[2002,7]]},"DOI":"10.1016\/s0016-0032(02)00025-x","type":"journal-article","created":{"date-parts":[[2002,10,8]],"date-time":"2002-10-08T22:26:16Z","timestamp":1034115976000},"page":"387-430","source":"Crossref","is-referenced-by-count":9,"title":["Fault-tolerant computation in groups and semigroups: applications to automata, dynamic systems and Petri nets"],"prefix":"10.1016","volume":"339","author":[{"given":"Christoforos N.","family":"Hadjicostis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George C.","family":"Verghese","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0016-0032(02)00025-X_BIB1","series-title":"Probabilistic Logics and the Synthesis of Reliable Organisms from Unreliable Components","author":"von Neumann","year":"1956"},{"key":"10.1016\/S0016-0032(02)00025-X_BIB2","series-title":"Error Coding for Arithmetic Processors","author":"Rao","year":"1974"},{"key":"10.1016\/S0016-0032(02)00025-X_BIB3","series-title":"Error-Control Coding for Computer Systems","author":"Rao","year":"1989"},{"key":"10.1016\/S0016-0032(02)00025-X_BIB4","doi-asserted-by":"crossref","first-page":"388","DOI":"10.1109\/18.75261","article-title":"On the maximum tolerable noise for reliable computation by formulas","volume":"37","author":"Hajek","year":"1991","journal-title":"IEEE Trans. Inf. Theory"},{"key":"10.1016\/S0016-0032(02)00025-X_BIB5","doi-asserted-by":"crossref","first-page":"1299","DOI":"10.1109\/18.669417","article-title":"On the maximum tolerable noise for reliable computation by formulas","volume":"44","author":"Evans","year":"1998","journal-title":"IEEE Trans. Inf. Theory"},{"key":"10.1016\/S0016-0032(02)00025-X_BIB6","doi-asserted-by":"crossref","first-page":"518","DOI":"10.1109\/TC.1984.1676475","article-title":"Algorithm-based fault tolerance for matrix operations","volume":"33","author":"Huang","year":"1984","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/S0016-0032(02)00025-X_BIB7","doi-asserted-by":"crossref","first-page":"732","DOI":"10.1109\/PROC.1986.13535","article-title":"Fault-tolerant matrix arithmetic and signal processing on highly concurrent parallel structures","volume":"74","author":"Jou","year":"1986","journal-title":"Proc. IEEE"},{"key":"10.1016\/S0016-0032(02)00025-X_BIB8","doi-asserted-by":"crossref","first-page":"548","DOI":"10.1109\/12.4606","article-title":"Fault-tolerant FFT networks","volume":"37","author":"Jou","year":"1988","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/S0016-0032(02)00025-X_BIB9","doi-asserted-by":"crossref","unstructured":"P.E. Beckmann, Fault-tolerant computation using algebraic homomorphisms, Ph.D. thesis, EECS Department, Massachusetts Institute of Technology, Cambridge, MA, 1992.","DOI":"10.1109\/ICASSP.1992.226559"},{"key":"10.1016\/S0016-0032(02)00025-X_BIB10","doi-asserted-by":"crossref","first-page":"1420","DOI":"10.1109\/31.108496","article-title":"Fault-tolerant round-robin A\/D converter system","volume":"38","author":"Beckmann","year":"1991","journal-title":"IEEE Trans. Circuits Systems"},{"key":"10.1016\/S0016-0032(02)00025-X_BIB11","unstructured":"M.A. Arbib (Ed.), Algebraic Theory of Machines, Languages, and Semigroups, Academic Press, New York, 1968."},{"key":"10.1016\/S0016-0032(02)00025-X_BIB12","series-title":"Theories of Abstract Automata","author":"Arbib","year":"1969"},{"key":"10.1016\/S0016-0032(02)00025-X_BIB13","series-title":"Topics in Algebra","author":"Herstein","year":"1975"},{"key":"10.1016\/S0016-0032(02)00025-X_BIB14","doi-asserted-by":"crossref","unstructured":"P.E. Beckmann, B.R. Musicus, A group-theoretic framework for fault-tolerant computation, Proceedings of IEEE International Conference on Acoustics, Speech, and Signal Processing, San Fransisco, Vol. 5, pp. 557\u2013560, 1992.","DOI":"10.1109\/ICASSP.1992.226559"},{"key":"10.1016\/S0016-0032(02)00025-X_BIB15","unstructured":"E.S. Ljapin, Semigroups, Translations of Mathematical Monographs, Vol. 3, American Mathematical Society, Providence, RI, 1974."},{"key":"10.1016\/S0016-0032(02)00025-X_BIB16","series-title":"Applied Abstract Algebra, Undergraduate Texts in Mathematics","author":"Lidl","year":"1985"},{"key":"10.1016\/S0016-0032(02)00025-X_BIB17","unstructured":"C.N. Hadjicostis, Fault-tolerant computation in semigroups and semirings, M. Eng. thesis, EECS Department, Massachusetts Institute of Technology, Cambridge, MA, 1995."},{"key":"10.1016\/S0016-0032(02)00025-X_BIB18","series-title":"Basic Algebra I","author":"Jacobson","year":"1974"},{"key":"10.1016\/S0016-0032(02)00025-X_BIB19","series-title":"Semigroups","author":"Grillet","year":"1995"},{"key":"10.1016\/S0016-0032(02)00025-X_BIB20","unstructured":"C.N. Hadjicostis, Coding approaches to fault tolerance in dynamic systems, Ph.D. thesis, EECS Department, Massachusetts Institute of Technology, Cambridge, MA, 1999."},{"key":"10.1016\/S0016-0032(02)00025-X_BIB21","series-title":"Discrete Mathematical Structures","author":"Kolman","year":"1999"},{"key":"10.1016\/S0016-0032(02)00025-X_BIB22","series-title":"Algebraic Thoery of Automata","author":"Ginzburg","year":"1968"},{"key":"10.1016\/S0016-0032(02)00025-X_BIB23","doi-asserted-by":"crossref","first-page":"810","DOI":"10.1109\/TC.1985.1676637","article-title":"Concurrent fault detection in microprogrammed control units","volume":"34","author":"Iyengar","year":"1985","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/S0016-0032(02)00025-X_BIB24","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1109\/MDT.1995.466370","article-title":"Concurrent error detection using monitoring machines","volume":"12","author":"Parekhji","year":"1995","journal-title":"IEEE Des. Test Comput."},{"key":"10.1016\/S0016-0032(02)00025-X_BIB25","doi-asserted-by":"crossref","unstructured":"R.A. Parekhji, G. Venkatesh, S.D. Sherlekar, A methodology for designing optimal self-checking sequential circuits, Proceedings of International Conference VLSI Design, IEEE CS Press, 1991, pp. 283\u2013291.","DOI":"10.1109\/TEST.1991.519520"},{"key":"10.1016\/S0016-0032(02)00025-X_BIB26","series-title":"Algebraic Structure Theory of Sequential Machines","author":"Hartmanis","year":"1966"},{"key":"10.1016\/S0016-0032(02)00025-X_BIB27","doi-asserted-by":"crossref","first-page":"296","DOI":"10.1109\/43.67784","article-title":"Optimum and heuristic algorithms for an approach to finite state machine decomposition","volume":"10","author":"Ashar","year":"1991","journal-title":"IEEE Trans. Comput.-Aided Des."},{"key":"10.1016\/S0016-0032(02)00025-X_BIB28","doi-asserted-by":"crossref","unstructured":"M. Geiger, T. M\u00fcller-Wipperf\u00fcrth, FSM decomposition revisited: algebraic structure theory applied to MCNC benchmark FSM's, Proceedings of the twenty-eighth Design Automation Conference, San Fransisco, Vol. 6, pp. 182\u2013185, 1991.","DOI":"10.1145\/127601.127661"},{"key":"10.1016\/S0016-0032(02)00025-X_BIB29","series-title":"Computation Structures","author":"Ward","year":"1990"},{"key":"10.1016\/S0016-0032(02)00025-X_BIB30","series-title":"Error-Correcting Codes","author":"Peterson","year":"1972"},{"key":"10.1016\/S0016-0032(02)00025-X_BIB31","series-title":"Error Detecting Codes, Self-Checking Circuits and Applications","author":"Wakerly","year":"1978"},{"key":"10.1016\/S0016-0032(02)00025-X_BIB32","unstructured":"C.N. Hadjicostis, G.C. Verghese, Fault-tolerant design of linear time-invariant systems in state form, Proceedings of Fifth IEEE Mediterranean Conference on Control and Systems, Paphos, Cyprus, 1997."},{"key":"10.1016\/S0016-0032(02)00025-X_BIB33","first-page":"39","article-title":"Structured redundancy for fault tolerance in LTI state-space models and Petri nets","volume":"35","author":"Hadjicostis","year":"1999","journal-title":"Kybernetika"},{"key":"10.1016\/S0016-0032(02)00025-X_BIB34","doi-asserted-by":"crossref","unstructured":"C.N. Hadjicostis, G.C. Verghese, Monitoring discrete event systems using Petri net embeddings, Application and Theory of Petri Nets 1999, number 1639 in Lecture Notes in Computer Science, pp. 188\u2013208, 1999.","DOI":"10.1007\/3-540-48745-X_12"},{"key":"10.1016\/S0016-0032(02)00025-X_BIB35","series-title":"Linear Systems","author":"Kailath","year":"1980"},{"key":"10.1016\/S0016-0032(02)00025-X_BIB36","series-title":"Digital Signal Processing","author":"Roberts","year":"1987"},{"key":"10.1016\/S0016-0032(02)00025-X_BIB37","series-title":"Introduction to Dynamic Systems","author":"Luenberger","year":"1979"},{"key":"10.1016\/S0016-0032(02)00025-X_BIB38","doi-asserted-by":"crossref","first-page":"794","DOI":"10.1109\/12.237720","article-title":"The design of fault-tolerant linear digital state variable systems","volume":"42","author":"Chatterjee","year":"1993","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/S0016-0032(02)00025-X_BIB39","doi-asserted-by":"crossref","first-page":"980","DOI":"10.1109\/TAC.1980.1102468","article-title":"Structural zeros in the modal matrix and its inverse","volume":"AC-25","author":"Norton","year":"1980","journal-title":"IEEE Trans. Autom. Control"},{"key":"10.1016\/S0016-0032(02)00025-X_BIB40","series-title":"Error Control Systems","author":"Wicker","year":"1995"},{"key":"10.1016\/S0016-0032(02)00025-X_BIB41","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1109\/TAC.1984.1103486","article-title":"An inclusion principle for dynamic systems","volume":"AC-29","author":"Ikeda","year":"1984","journal-title":"IEEE Trans. Autom. Control"},{"key":"10.1016\/S0016-0032(02)00025-X_BIB42","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","article-title":"Petri nets","volume":"77","author":"Murata","year":"1989","journal-title":"Proc. IEEE"},{"key":"10.1016\/S0016-0032(02)00025-X_BIB43","series-title":"Synchronization and Linearity","author":"Baccelli","year":"1992"},{"key":"10.1016\/S0016-0032(02)00025-X_BIB44","series-title":"Discrete Event Systems","author":"Cassandras","year":"1993"},{"key":"10.1016\/S0016-0032(02)00025-X_BIB45","first-page":"93","article-title":"Realization of fault-tolerant systems by coding Petri nets","volume":"3","author":"Sifakis","year":"1979","journal-title":"J. Des. Autom. Fault-Tolerant Comput."},{"key":"10.1016\/S0016-0032(02)00025-X_BIB46","unstructured":"M. Silva, S. Velilla, Error detection and correction in Petri net models of discrete events control systems, Proceedings of the Int. Symp. on Circuits and Systems, Kyoto, Japan, pp. 921\u2013924, 1985."},{"key":"10.1016\/S0016-0032(02)00025-X_BIB47","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1049\/ip-gtd:20000657","article-title":"Power system monitoring using Petri net embeddings","volume":"147","author":"Hadjicostis","year":"2000","journal-title":"IEE Proc.: Generation, Transmission, Distribution"},{"key":"10.1016\/S0016-0032(02)00025-X_BIB48","doi-asserted-by":"crossref","unstructured":"C.N. Hadjicostis, G.C. Verghese, Fault-tolerant linear finite state machines, Proceedings of the Sixth IEEE International Conference on Electronics, Circuits and Systems, Paphos, Cyprus, Vol. 2, pp. 1085\u20131088, 1999.","DOI":"10.1109\/ICECS.1999.813422"},{"key":"10.1016\/S0016-0032(02)00025-X_BIB49","doi-asserted-by":"crossref","unstructured":"C.N. Hadjicostis, Fault-tolerant dynamic systems, Proceedings of the International Symposium on Information Theory, Sorento, Italy, p. 444. 2000.","DOI":"10.1109\/ISIT.2000.866742"},{"key":"10.1016\/S0016-0032(02)00025-X_BIB50","unstructured":"C.N. Hadjicostis, Fault-tolerant sequence enumerators, Proceedings of the Eighth IEEE Mediterranean Conference on Control and Automation, Potras, Greece, 2000."}],"container-title":["Journal of the Franklin Institute"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S001600320200025X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S001600320200025X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,8]],"date-time":"2020-03-08T03:40:12Z","timestamp":1583638812000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S001600320200025X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,7]]},"references-count":50,"journal-issue":{"issue":"4-5","published-print":{"date-parts":[[2002,7]]}},"alternative-id":["S001600320200025X"],"URL":"https:\/\/doi.org\/10.1016\/s0016-0032(02)00025-x","relation":{},"ISSN":["0016-0032"],"issn-type":[{"value":"0016-0032","type":"print"}],"subject":[],"published":{"date-parts":[[2002,7]]}}}