Library of Congress |

Library of Congress

Matches in Library of Congress for { <http://lccn.loc.gov/2001053971> ?p ?o. }

Showing items 1 to 23 of 23 with 100 items per page.

2001053971 contributor B8959932.
2001053971 created "c2002.".
2001053971 date "2002".
2001053971 date "c2002.".
2001053971 dateCopyrighted "c2002.".
2001053971 description "Includes bibliographical references and index.".
2001053971 description "Machine generated contents note: 1. INTRODUCTION 1 -- 1 Definitions, Motivation and Background 1 -- 2 Fault-Tolerant Combinational Systems 4 -- 2.1 Reliable Combinational Systems 6 -- 2.2 Minimizing Redundant Hardware 6 -- 3 Fault-Tolerant Dynamic Systems 7 -- 3.1 Redundant Implementations 10 -- 3.2 Faults in the Error-Correcting Mechanism 12 -- 4 Coding Techniques for Fault Diagnosis 13 -- Part I Fault-Tolerant Combinational Systems -- 2. RELIABLE COMBINATIONAL SYSTEMS OUT OF UNRELIABLE COMPONENTS 21 -- 1 Introduction 21 -- 2 Computational Models for Combinational Systems 22 -- 3 Von Neumann's Approach to Fault Tolerance 23 -- 4 Extensions of Von Neumann's Approach 27 -- 4.1 Maximum Tolerable Noise for 3-Input Gates 27 -- 4.2 Maximum Tolerable Noise for u-Input Gates 29 -- 5 Related Work and Further Reading 31 -- 3. ABFT FOR COMBINATIONAL SYSTEMS 33 -- 1 Introduction 33 -- 2 Arithmetic Codes 35 -- 3 Algorithm-Based Fault Tolerance 37 -- 4 Generalizations of Arithmetic Coding to Operations with Algebraic Structure 41 -- 4.1 Fault Tolerance for Abelian Group Operations 41 -- 4.1.1 - Use of Group Homomorphisms 44 -- 4.1.2 Error Detection and Correction 45 -- 4.1.3 Separate Group Codes 47 -- 4.2 Fault Tolerance for Semigroup Operations 49 -- 4.2.1 Use of Semigroup Homomorphisms 50 -- 4.2.2 Error Detection and Correction 51 -- 4.2.3 Separate Semigroup Codes 52 -- 4.3 Extensions 56 -- Part II Fault-Tolerant Dynamic Systems -- 4. REDUNDANT IMPLEMENTATIONS OF ALGEBRAIC MACHINES 61 -- 1 Introduction 61 -- 2 Algebraic Machines: Definitions and Decompositions 61 -- 3 Redundant Implementations of Group Machines 64 -- 3.1 Separate Monitors for Group Machines 66 -- 3.2 Non-Separate Redundant Implementations for Group -- Machines 69 -- 4 Redundant Implementations of Semigroup Machines 73 -- 4.1 Separate Monitors for Reset-Identity Machines 74 -- 4.2 Non-Separate Redundant Implementations for Reset- -- Identity Machines 75 -- 5 Summary 76 -- 5. REDUNDANT IMPLEMENTATIONS OF DISCRETE-TIME LTI DYNAMIC SYSTEMS 79 -- 1 Introduction 79 -- 2 Discrete-Time LTI Dynamic Systems 79 -- 3 Characterization of Redundant Implementations 80 -- 4 Hardware Implementation and Fault Model 83 -- 5 Examples of Fault-Tolerant Systems 86 -- 6 Summary 96 -- 6. REDUNDANT IMPLEMENTATIONS OF LINEAR FINITE-STATE MACHINES 99 -- 1 Introduction 99 -- 2 Linear Finite-State Machines 99 -- 3 Characterization of Redundant Implementations 102 -- 4 Examples of Fault-Tolerant Systems 104 -- 5 Hardware.Minimization in Redundant LFSM Implementations 108 -- 6 Summary 112 -- 7. UNRELIABLE ERROR CORRECTION IN DYNAMIC SYSTEMS 115 -- 1 Introduction 115 -- 2 Fault Model for Dynamic Systems 117 -- 3 Reliable Dynamic Systems using Distributed Voting Schemes 118 -- 4 Reliable Linear Finite-State Machines 123 -- 4.1 Low-Density Parity Check Codes and Stable Memories 123 -- 4.2 Reliable Linear Finite-State Machines using Constant -- Redundancy 127 -- 5 Other Issues 132 -- 8. CODING APPROACHES FOR FAULT DETECTION AND IDENTIFICATION IN DISCRETE EVENT SYSTEMS 143 -- 1 Introduction 143 -- 2 Petri Net Models of Discrete Event Systems 145 -- 3 Fault Models for Petri Nets 148 -- 4 Separate Monitoring Schemes 151 -- 4.1 Separate Redundant Petri Net Implementations 151 -- 4.2 Fault Detection and Identification 154 -- 5 Non-Separate Monitoring Schemes 160 -- 5.1 Non-Separate Redundant Petri Net Implementations 160 -- 5.2 Fault Detection and Identification 166 -- 6 Applications in Control 170 -- 6.1 Monitoring Active Transitions 170 -- 6.2 Detecting Illegal Transitions 171 -- 7 Summary 174 -- 9. CONCLUDING REMARKS 179 -- 1 Summary 179 -- 2 Future Research Directions 181 -- 10. ABOUT THE AUTHOR 185 -- 11. INDEX 187.".
2001053971 extent "xxii, 189 p. :".
2001053971 identifier "0792376242 (alk. paper)".
2001053971 identifier 2001053971-d.html.
2001053971 identifier 2001053971.html.
2001053971 isPartOf "The Kluwer international series in engineering and computer science ; SECS 660".
2001053971 issued "2002".
2001053971 issued "c2002.".
2001053971 language "eng".
2001053971 publisher "Boston : Kluwer Academic Publishers,".
2001053971 subject "004.2 21".
2001053971 subject "Coding theory.".
2001053971 subject "Fault-tolerant computing.".
2001053971 subject "QA76.9.F38 H33 2002".
2001053971 tableOfContents "Machine generated contents note: 1. INTRODUCTION 1 -- 1 Definitions, Motivation and Background 1 -- 2 Fault-Tolerant Combinational Systems 4 -- 2.1 Reliable Combinational Systems 6 -- 2.2 Minimizing Redundant Hardware 6 -- 3 Fault-Tolerant Dynamic Systems 7 -- 3.1 Redundant Implementations 10 -- 3.2 Faults in the Error-Correcting Mechanism 12 -- 4 Coding Techniques for Fault Diagnosis 13 -- Part I Fault-Tolerant Combinational Systems -- 2. RELIABLE COMBINATIONAL SYSTEMS OUT OF UNRELIABLE COMPONENTS 21 -- 1 Introduction 21 -- 2 Computational Models for Combinational Systems 22 -- 3 Von Neumann's Approach to Fault Tolerance 23 -- 4 Extensions of Von Neumann's Approach 27 -- 4.1 Maximum Tolerable Noise for 3-Input Gates 27 -- 4.2 Maximum Tolerable Noise for u-Input Gates 29 -- 5 Related Work and Further Reading 31 -- 3. ABFT FOR COMBINATIONAL SYSTEMS 33 -- 1 Introduction 33 -- 2 Arithmetic Codes 35 -- 3 Algorithm-Based Fault Tolerance 37 -- 4 Generalizations of Arithmetic Coding to Operations with Algebraic Structure 41 -- 4.1 Fault Tolerance for Abelian Group Operations 41 -- 4.1.1 - Use of Group Homomorphisms 44 -- 4.1.2 Error Detection and Correction 45 -- 4.1.3 Separate Group Codes 47 -- 4.2 Fault Tolerance for Semigroup Operations 49 -- 4.2.1 Use of Semigroup Homomorphisms 50 -- 4.2.2 Error Detection and Correction 51 -- 4.2.3 Separate Semigroup Codes 52 -- 4.3 Extensions 56 -- Part II Fault-Tolerant Dynamic Systems -- 4. REDUNDANT IMPLEMENTATIONS OF ALGEBRAIC MACHINES 61 -- 1 Introduction 61 -- 2 Algebraic Machines: Definitions and Decompositions 61 -- 3 Redundant Implementations of Group Machines 64 -- 3.1 Separate Monitors for Group Machines 66 -- 3.2 Non-Separate Redundant Implementations for Group -- Machines 69 -- 4 Redundant Implementations of Semigroup Machines 73 -- 4.1 Separate Monitors for Reset-Identity Machines 74 -- 4.2 Non-Separate Redundant Implementations for Reset- -- Identity Machines 75 -- 5 Summary 76 -- 5. REDUNDANT IMPLEMENTATIONS OF DISCRETE-TIME LTI DYNAMIC SYSTEMS 79 -- 1 Introduction 79 -- 2 Discrete-Time LTI Dynamic Systems 79 -- 3 Characterization of Redundant Implementations 80 -- 4 Hardware Implementation and Fault Model 83 -- 5 Examples of Fault-Tolerant Systems 86 -- 6 Summary 96 -- 6. REDUNDANT IMPLEMENTATIONS OF LINEAR FINITE-STATE MACHINES 99 -- 1 Introduction 99 -- 2 Linear Finite-State Machines 99 -- 3 Characterization of Redundant Implementations 102 -- 4 Examples of Fault-Tolerant Systems 104 -- 5 Hardware.Minimization in Redundant LFSM Implementations 108 -- 6 Summary 112 -- 7. UNRELIABLE ERROR CORRECTION IN DYNAMIC SYSTEMS 115 -- 1 Introduction 115 -- 2 Fault Model for Dynamic Systems 117 -- 3 Reliable Dynamic Systems using Distributed Voting Schemes 118 -- 4 Reliable Linear Finite-State Machines 123 -- 4.1 Low-Density Parity Check Codes and Stable Memories 123 -- 4.2 Reliable Linear Finite-State Machines using Constant -- Redundancy 127 -- 5 Other Issues 132 -- 8. CODING APPROACHES FOR FAULT DETECTION AND IDENTIFICATION IN DISCRETE EVENT SYSTEMS 143 -- 1 Introduction 143 -- 2 Petri Net Models of Discrete Event Systems 145 -- 3 Fault Models for Petri Nets 148 -- 4 Separate Monitoring Schemes 151 -- 4.1 Separate Redundant Petri Net Implementations 151 -- 4.2 Fault Detection and Identification 154 -- 5 Non-Separate Monitoring Schemes 160 -- 5.1 Non-Separate Redundant Petri Net Implementations 160 -- 5.2 Fault Detection and Identification 166 -- 6 Applications in Control 170 -- 6.1 Monitoring Active Transitions 170 -- 6.2 Detecting Illegal Transitions 171 -- 7 Summary 174 -- 9. CONCLUDING REMARKS 179 -- 1 Summary 179 -- 2 Future Research Directions 181 -- 10. ABOUT THE AUTHOR 185 -- 11. INDEX 187.".
2001053971 title "Coding approaches to fault tolerance in combinational and dynamic systems / Christoforos N. Hadjicostis ; [foreword by George Verghese].".
2001053971 type "text".