Linked e-resources
Details
Table of Contents
Intro; Preface; Acknowledgments; Contents; Acronyms; Chapter 1 Introduction; 1.1 Fundamentals of Model-Based Diagnosis; 1.1.1 Modeling Issues; 1.2 Model-Based Diagnosis of Static Systems; 1.3 Model-Based Diagnosis of Dynamic Systems; 1.4 Model-Based Diagnosis of Discrete-Event Systems; 1.4.1 Problem; 1.4.1.1 System; 1.4.1.2 Observation; 1.4.1.3 Solution; 1.4.2 Abstraction; 1.4.3 Tasks; 1.4.4 Initial State; 1.4.5 Models; 1.4.6 Faults; 1.4.7 Diagnosability; 1.4.8 Computational Issues; 1.4.9 Distribution; 1.5 Summary of Chapter 1; Chapter 2 Finite Automata; 2.1 Languages; 2.2 Regular Expressions
2.3 Deterministic Finite Automata2.3.1 Transition Diagrams; 2.4 Nondeterministic Finite Automata; 2.4.1 ɛ-Closure; 2.5 Determinization of Finite Automata; 2.6 Minimization of Finite Automata; 2.7 Incremental Determinization of Finite Acyclic Automata; 2.7.1 Incremental Determinization Algorithm; 2.7.2 Correctness of ISCA; 2.8 Bibliographic Notes; 2.9 Summary of Chapter 2; Chapter 3 Active Systems; 3.1 Components; 3.2 Links; 3.3 Active System; 3.4 Trajectory; 3.5 Behavior Space; 3.6 Bibliographic Notes; 3.7 Summary of Chapter 3; Chapter 4 Diagnosis Problems; 4.1 Viewer
4.2 Temporal Observation4.3 Ruler; 4.4 Diagnosis Problem; 4.5 Bibliographic Notes; 4.6 Summary of Chapter 4; Chapter 5 Monolithic Diagnosis; 5.1 Observation Indexing; 5.2 Behavior Reconstruction; 5.2.1 Reconstruction Algorithm; 5.3 Behavior Decoration; 5.3.1 Decoration Algorithm; 5.4 Diagnosis Distillation; 5.5 Bibliographic Notes; 5.6 Summary of Chapter 5; Chapter 6 Modular Diagnosis; 6.1 System Decomposition; 6.2 Problem Restriction; 6.3 Behavior Merging; 6.3.1 Merging Algorithm; 6.4 Recursive Merging; 6.5 Bibliographic Notes; 6.6 Summary of Chapter 6; Chapter 7 Reactive Diagnosis
7.1 Observation Fragmentation7.2 Monitoring Problem; 7.3 Diagnosis Closure; 7.3.1 Diagnosis Closure Algorithm; 7.4 Monitor; 7.5 Reactive Sequence; 7.5.1 Reaction Algorithm; 7.5.2 Reactive Diagnosis Algorithm; 7.6 Bibliographic Notes; 7.7 Summary of Chapter 7; Chapter 8 Monotonic Diagnosis; 8.1 Beyond Soundness and Completeness; 8.2 Monotonicity; 8.3 Stratification; 8.4 Minimal Stratification; 8.4.1 Minimal Stratification Algorithm; 8.5 Bibliographic Notes; 8.6 Summary of Chapter 8; Chapter 9 Reusable Diagnosis; 9.1 Subsumption; 9.2 Diagnosis with Reuse; 9.2.1 Matching Algorithm
9.3 Checking Observation Subsumption9.4 Observation Coverage; 9.5 Checking Observation Subsumption via Coverage; 9.5.1 Detailed Specification of; 9.6 Bibliographic Notes; 9.7 Summary of Chapter 9; Chapter 10 Lazy Diagnosis; 10.1 Laziness Requirements; 10.2 Behavior Factorization; 10.3 Lazy Index Space Generation; 10.3.1 Lazy ISCA; 10.4 Circular Pruning; 10.4.1 Generation of the Next Layer of Nsp (O); 10.4.2 Update of Isp (O); 10.4.3 Extension of the Condensed Behavior; 10.4.4 Pruning of the Condensed Behavior; 10.4.5 Pruning of Isp (O); 10.4.6 Pruning of Nsp (O); 10.5 Two-Phase Decoration
2.3 Deterministic Finite Automata2.3.1 Transition Diagrams; 2.4 Nondeterministic Finite Automata; 2.4.1 ɛ-Closure; 2.5 Determinization of Finite Automata; 2.6 Minimization of Finite Automata; 2.7 Incremental Determinization of Finite Acyclic Automata; 2.7.1 Incremental Determinization Algorithm; 2.7.2 Correctness of ISCA; 2.8 Bibliographic Notes; 2.9 Summary of Chapter 2; Chapter 3 Active Systems; 3.1 Components; 3.2 Links; 3.3 Active System; 3.4 Trajectory; 3.5 Behavior Space; 3.6 Bibliographic Notes; 3.7 Summary of Chapter 3; Chapter 4 Diagnosis Problems; 4.1 Viewer
4.2 Temporal Observation4.3 Ruler; 4.4 Diagnosis Problem; 4.5 Bibliographic Notes; 4.6 Summary of Chapter 4; Chapter 5 Monolithic Diagnosis; 5.1 Observation Indexing; 5.2 Behavior Reconstruction; 5.2.1 Reconstruction Algorithm; 5.3 Behavior Decoration; 5.3.1 Decoration Algorithm; 5.4 Diagnosis Distillation; 5.5 Bibliographic Notes; 5.6 Summary of Chapter 5; Chapter 6 Modular Diagnosis; 6.1 System Decomposition; 6.2 Problem Restriction; 6.3 Behavior Merging; 6.3.1 Merging Algorithm; 6.4 Recursive Merging; 6.5 Bibliographic Notes; 6.6 Summary of Chapter 6; Chapter 7 Reactive Diagnosis
7.1 Observation Fragmentation7.2 Monitoring Problem; 7.3 Diagnosis Closure; 7.3.1 Diagnosis Closure Algorithm; 7.4 Monitor; 7.5 Reactive Sequence; 7.5.1 Reaction Algorithm; 7.5.2 Reactive Diagnosis Algorithm; 7.6 Bibliographic Notes; 7.7 Summary of Chapter 7; Chapter 8 Monotonic Diagnosis; 8.1 Beyond Soundness and Completeness; 8.2 Monotonicity; 8.3 Stratification; 8.4 Minimal Stratification; 8.4.1 Minimal Stratification Algorithm; 8.5 Bibliographic Notes; 8.6 Summary of Chapter 8; Chapter 9 Reusable Diagnosis; 9.1 Subsumption; 9.2 Diagnosis with Reuse; 9.2.1 Matching Algorithm
9.3 Checking Observation Subsumption9.4 Observation Coverage; 9.5 Checking Observation Subsumption via Coverage; 9.5.1 Detailed Specification of; 9.6 Bibliographic Notes; 9.7 Summary of Chapter 9; Chapter 10 Lazy Diagnosis; 10.1 Laziness Requirements; 10.2 Behavior Factorization; 10.3 Lazy Index Space Generation; 10.3.1 Lazy ISCA; 10.4 Circular Pruning; 10.4.1 Generation of the Next Layer of Nsp (O); 10.4.2 Update of Isp (O); 10.4.3 Extension of the Condensed Behavior; 10.4.4 Pruning of the Condensed Behavior; 10.4.5 Pruning of Isp (O); 10.4.6 Pruning of Nsp (O); 10.5 Two-Phase Decoration