Diagnosis of Active Systems Principles and Techniques

This book is about model-based diagnosis of a class of discrete-event systems called active systems. Roughly, model-based diagnosis is the task of finding out the faulty components of a physical system based on the observed behavior and the system model. An active system is the abstraction of a phys...

Full description

Bibliographic Details
Main Authors: Lamperti, G., Zanella, Marina (Author)
Format: eBook
Language:English
Published: Dordrecht Springer Netherlands 2003, 2003
Edition:1st ed. 2003
Series:The Springer International Series in Engineering and Computer Science
Subjects:
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
LEADER 03048nmm a2200349 u 4500
001 EB000721675
003 EBX01000000000000000574757
005 00000000000000.0
007 cr|||||||||||||||||||||
008 140122 ||| eng
020 |a 9789401702577 
100 1 |a Lamperti, G. 
245 0 0 |a Diagnosis of Active Systems  |h Elektronische Ressource  |b Principles and Techniques  |c by G. Lamperti, Marina Zanella 
250 |a 1st ed. 2003 
260 |a Dordrecht  |b Springer Netherlands  |c 2003, 2003 
300 |a XXXIV, 426 p  |b online resource 
505 0 |a I Background -- 1. Model-Based Diagnosis -- 2. Diagnosis of Discrete-Event Systems -- II Diagnosis of Active Systems -- 3. Active Systems -- 4. Monolithic Diagnosis -- 5. Modular Diagnosis -- III Polymorphic Systems -- 6. Simulation-Based Diagnosis -- 7. Rule-Based Diagnosis -- 8. Monitoring-Based Diagnosis -- IV Advanced Topics -- 9. Uncertain Observations -- 10. Complex Observations -- 11. Uncertain Events -- 12. Distributed Observations -- 13. Sample Application -- References 
653 |a Symbolic and Algebraic Manipulation 
653 |a Computer science / Mathematics 
653 |a Artificial Intelligence 
653 |a Control theory 
653 |a Systems Theory, Control 
653 |a System theory 
653 |a Artificial intelligence 
700 1 |a Zanella, Marina  |e [author] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b SBA  |a Springer Book Archives -2004 
490 0 |a The Springer International Series in Engineering and Computer Science 
028 5 0 |a 10.1007/978-94-017-0257-7 
856 4 0 |u https://doi.org/10.1007/978-94-017-0257-7?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 006.3 
520 |a This book is about model-based diagnosis of a class of discrete-event systems called active systems. Roughly, model-based diagnosis is the task of finding out the faulty components of a physical system based on the observed behavior and the system model. An active system is the abstraction of a physical artefact that is modeled as a network of com­ municating automata. For example, the protection apparatus of a power transmission network can be conveniently modeled as an active system, where breakers, protection devices, and lines are naturally described by finite state machines. The asynchronous occurrence of a short circuit on a line or a bus-bar causes the reaction of the protection devices, which aims to isolate the shorted line. This reaction can be faulty and several lines might be eventually isolated, rather than the shorted line only. The diagnostic problem to be solved is uncovering the faulty devices based the visible part of the reaction. Once the diagnosis task has been on accomplished, the produced results are exploited to fix the apparatus (and also to localize the short circuit, in this sample case). Interestingly, the research presented in this book was triggered a decade ago by a project 011 short circuit localization, conducted by ENEL, the Italian electricity board, along with other industrial and academic European partners