Coding Approaches to Fault Tolerance in Combinational and Dynamic Systems describes coding approaches for designing fault-tolerant systems, i.e., systems that exhibit structured redundancy that enables them to distinguish between correct and incorrect results or between valid and invalid states. Since redundancy is expensive and counter-intuitive to the traditional notion of system design, the book focuses on resource-efficient methodologies that avoid excessive use of redundancy by exploiting the algorithmic/dynamic structure of a particular combinational or dynamic system. The first part of…mehr
Coding Approaches to Fault Tolerance in Combinational and Dynamic Systems describes coding approaches for designing fault-tolerant systems, i.e., systems that exhibit structured redundancy that enables them to distinguish between correct and incorrect results or between valid and invalid states. Since redundancy is expensive and counter-intuitive to the traditional notion of system design, the book focuses on resource-efficient methodologies that avoid excessive use of redundancy by exploiting the algorithmic/dynamic structure of a particular combinational or dynamic system. The first part of Coding Approaches to Fault Tolerance in Combinational and Dynamic Systems focuses on fault-tolerant combinational systems providing a review of von Neumann's classical work on Probabilistic Logics (including some more recent work on noisy gates) and describing the use of arithmetic coding and algorithm-based fault-tolerant schemes in algebraic settings. The second part ofthe book focuses on fault tolerance in dynamic systems. Coding Approaches to Fault Tolerance in Combinational and Dynamic Systems also discusses how, in a dynamic system setting, one can relax the traditional assumption that the error-correcting mechanism is fault-free by using distributed error correcting mechanisms. The final chapter presents a methodology for fault diagnosis in discrete event systems that are described by Petri net models; coding techniques are used to quickly detect and identify failures. From the Foreword: "Hadjicostis has significantly expanded the setting to processes occurring in more general algebraic and dynamic systems... The book responds to the growing need to handle faults in complex digital chips and complex networked systems, and to consider the effects of faults at the design stage rather than afterwards." George Verghese, Massachusetts Institute of Technology Coding Approaches to Fault Tolerance in Combinational and Dynamic Systems will be of interest to both researchers and practitioners in the area of fault tolerance, systems design and control.
Produktdetails
Produktdetails
The Springer International Series in Engineering and Computer Science 660
Christoforos Hadjicostis is Professor of Electrical and Computer Engineering (ECE) at the University of Cyprus (UCY). He received S.B. degrees in Electrical Engineering, Computer Science and Engineering, and Mathematics, the M.Eng. degree in Electrical Engineering and Computer Science in 1995, and the PhD degree in Electrical Engineering and Computer Science in 1999, all from Massachusetts Institute of Technology (MIT), Cambridge, MA. He has served as Assistant and then Associate Professor in the ECE Department at the University of Illinois at Urbana-Champaign. He joined UCY in 2007, where he served as Chair of the ECE Department from 2008 to 2010 and as Dean of Engineering from 2014 to 2017. Professor Hadjicostis' research interests span the areas of discrete event systems, fault diagnosis and tolerance, error control coding, distributed algorithms for monitoring and control of large-scale systems and networks, and algebraic system analysis. On these topics, he has authored two books and more than 270 scientific papers in international journals, edited volumes, and conferences. He has coordinated or participated in several research projects funded by the National Science Foundation (NSF), the Air Force Office for Scientific Research (AFOSR), and various US Corporations while in the US, and by the European Commission (EC), the Cyprus Research Promotion Foundation (CRPF), and Qatar Foundation (QF) while in Cyprus. Dr. Hadjicostis serves or has served as Departmental Editor for the Journal of Discrete Event Dynamic Systems, and as Associate Editor for Automatica, IEEE Transactions on Automatic Control, IEEE Transactions on Automation Science and Engineering, IEEE Transactions on Control Systems Technology, IEEE Transactions on Circuits and Systems I: Regular Papers, and the journal of Nonlinear Analysis: Hybrid Systems. At the University of Illinois, Dr. Hadjicostis received the Faculty Early Development (CAREER) award from the US National Science Foundation, the ECE Faculty Outstanding Teaching Award, and the Willett Faculty Scholar recognition from the College of Engineering; at the University of Cyprus, he received a Marie Curie International Reintegration Fellowship from the European Commission.
Inhaltsangabe
1. Introduction.- 1 Definitions, Motivation and Background.- 2 Fault-Tolerant Combinational Systems.- 3 Fault-Tolerant Dynamic Systems.- 4 Coding Techniques for Fault Diagnosis.- I Fault-Tolerant Combinational Systems.- 2. Reliable Combinational Systems out of Unreliable Components.- 3. ABFT For Combinational Systems.- II Fault-Tolerant Dynamic Systems.- 4. Redundant Implementations of Algebraic Machines.- 5. Redundant Implementations of Discrete-Time LTI Dynamic Systems.- 6. Redundant Implementations of Linear Finite-State Machines.- 7. Unreliable Error Correction in Dynamic Systems.- 8. Coding Approaches for Fault Detection and Identification in Discrete Event Systems.- 9. Concluding Remarks.- 10. About the Author.- 11. Index.