Diagnosis of active systems : principles and techniques / by Gianfranco Lamperti and Marina Zanella.

Format:

Book

Author/Creator:

Lamperti, Gianfranco.

Contributor:

Zanella, Marina.

Series:

Kluwer international series in engineering and computer science ; SECS 741.

SECS ; 741

Language:

English

Subjects (All):

Expert systems (Computer science).

Testing--Data processing.

Testing.

Physical Description:

xxxiv, 426 pages : illustrations ; 25 cm.

Place of Publication:

Dordrecht ; Boston : Kluwer Academic Publishers, [2003]

Contents:

1. Model-Based Diagnosis 3

2 Fundamentals of Model-Based Diagnosis 5

3 Model-Based Diagnosis of Dynamic Systems 14

2. Diagnosis of Discrete-Event Systems 21

2 Diagnoser Approach 24

3 Decentralized Diagnoser Approach 32

4 Incremental Decentralized Diagnosis Approach 41

5 Decentralized Protocol Approach 43

6 Process Algebra Approach 48

7 Quantized System Approach 52

Part II Diagnosis of Active Systems

2 Component 63

3 Link 65

4 System 68

5 Reaction 71

6 Observer 73

7 Observation 75

8 Diagnostic Problem 78

4. Monolithic Diagnosis 81

2 Behavior Reconstruction 85

3 Diagnosis Generation 96

5. Modular Diagnosis 113

2 Cluster 115

3 Decomposition 116

4 Modular Reconstruction 121

5 Compositional Definition of Active Space 127

6 Problem Decomposition 131

Part III Polymorphic Systems

6. Simulation-Based Diagnosis 153

2 Polymorphic System 155

3 Monolithic Reconstruction 156

4 Modular Reconstruction 161

5 Formalization of a Polymorphic Active Space 168

7. Rule-Based Diagnosis 193

2 Rule Generation 195

3 Route 199

4 Diagnostic Space 202

5 Matching Graph 214

6 Diagnostic Rule 218

7 Rule Exploitation 221

8. Monitoring-Based Diagnosis 235

2 Abductive Space 238

3 Diagnostic Space 243

4 Monitoring Space 246

5 Monitoring Graph 251

6 Continuous Diagnosis 252

Part IV Advanced Topics

9. Uncertain Observations 267

2 Uncertainty Requirements 270

4 Solving Uncertain Diagnostic Problems 286

10. Complex Observations 315

3 Solving Complex Diagnostic Problems 329

11. Uncertain Events 345

2 Uncertainty Requirements 346

3 Reconstruction 351

12. Distributed Observations 367

2 Observer 368

4 Distributed Diagnostic Problem 377

5 Solving Distributed Diagnostic Problems 377

13. Sample Application 393

2 Modeling 396

3 Simulation-Based Diagnosis 399

4 Uncertain Observations 404

5 Monitoring-Based Diagnosis 407.

Notes:

Includes bibliographical references (pages 415-422) and index.

ISBN:

1402074875

OCLC:

52295712