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...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Dordrecht
Springer Netherlands
2003
|
| Schriftenreihe: | Diagnosis of Active Systems
741 |
| Schlagworte: | |
| Online-Zugang: | FHI01 BTU01 Volltext |
| Zusammenfassung: | 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 |
| Beschreibung: | 1 Online-Ressource (XXXIV, 426 p) |
| ISBN: | 9789401702577 |
| DOI: | 10.1007/978-94-017-0257-7 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV045149661 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 180827s2003 |||| o||u| ||||||eng d | ||
| 020 | |a 9789401702577 |9 978-94-017-0257-7 | ||
| 024 | 7 | |a 10.1007/978-94-017-0257-7 |2 doi | |
| 035 | |a (ZDB-2-ENG)978-94-017-0257-7 | ||
| 035 | |a (OCoLC)1050949165 | ||
| 035 | |a (DE-599)BVBBV045149661 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-573 |a DE-634 | ||
| 082 | 0 | |a 006.3 |2 23 | |
| 100 | 1 | |a Lamperti, Gianfranco |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Diagnosis of Active Systems |b Principles and Techniques |c by Gianfranco Lamperti, Marina Zanella |
| 264 | 1 | |a Dordrecht |b Springer Netherlands |c 2003 | |
| 300 | |a 1 Online-Ressource (XXXIV, 426 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Diagnosis of Active Systems |v 741 | |
| 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 | ||
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Artificial Intelligence (incl. Robotics) | |
| 650 | 4 | |a Symbolic and Algebraic Manipulation | |
| 650 | 4 | |a Systems Theory, Control | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer science / Mathematics | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a System theory | |
| 700 | 1 | |a Zanella, Marina |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9789048177851 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-94-017-0257-7 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-ENG | ||
| 940 | 1 | |q ZDB-2-ENG_2000/2004 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030539360 | ||
| 966 | e | |u https://doi.org/10.1007/978-94-017-0257-7 |l FHI01 |p ZDB-2-ENG |q ZDB-2-ENG_2000/2004 |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-94-017-0257-7 |l BTU01 |p ZDB-2-ENG |q ZDB-2-ENG_Archiv |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804178821763563520 |
|---|---|
| any_adam_object | |
| author | Lamperti, Gianfranco Zanella, Marina |
| author_facet | Lamperti, Gianfranco Zanella, Marina |
| author_role | aut aut |
| author_sort | Lamperti, Gianfranco |
| author_variant | g l gl m z mz |
| building | Verbundindex |
| bvnumber | BV045149661 |
| collection | ZDB-2-ENG |
| ctrlnum | (ZDB-2-ENG)978-94-017-0257-7 (OCoLC)1050949165 (DE-599)BVBBV045149661 |
| dewey-full | 006.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3 |
| dewey-search | 006.3 |
| dewey-sort | 16.3 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-94-017-0257-7 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03176nmm a2200493zcb4500</leader><controlfield tag="001">BV045149661</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">180827s2003 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789401702577</subfield><subfield code="9">978-94-017-0257-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-94-017-0257-7</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-ENG)978-94-017-0257-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1050949165</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV045149661</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-573</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Lamperti, Gianfranco</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Diagnosis of Active Systems</subfield><subfield code="b">Principles and Techniques</subfield><subfield code="c">by Gianfranco Lamperti, Marina Zanella</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht</subfield><subfield code="b">Springer Netherlands</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XXXIV, 426 p)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Diagnosis of Active Systems</subfield><subfield code="v">741</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="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</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence (incl. Robotics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Symbolic and Algebraic Manipulation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systems Theory, Control</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science / Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">System theory</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Zanella, Marina</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9789048177851</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-94-017-0257-7</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-ENG</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-ENG_2000/2004</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030539360</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-94-017-0257-7</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="q">ZDB-2-ENG_2000/2004</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-94-017-0257-7</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="q">ZDB-2-ENG_Archiv</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV045149661 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T08:10:04Z |
| institution | BVB |
| isbn | 9789401702577 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030539360 |
| oclc_num | 1050949165 |
| open_access_boolean | |
| owner | DE-573 DE-634 |
| owner_facet | DE-573 DE-634 |
| physical | 1 Online-Ressource (XXXIV, 426 p) |
| psigel | ZDB-2-ENG ZDB-2-ENG_2000/2004 ZDB-2-ENG ZDB-2-ENG_2000/2004 ZDB-2-ENG ZDB-2-ENG_Archiv |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Springer Netherlands |
| record_format | marc |
| series2 | Diagnosis of Active Systems |
| spelling | Lamperti, Gianfranco Verfasser aut Diagnosis of Active Systems Principles and Techniques by Gianfranco Lamperti, Marina Zanella Dordrecht Springer Netherlands 2003 1 Online-Ressource (XXXIV, 426 p) txt rdacontent c rdamedia cr rdacarrier Diagnosis of Active Systems 741 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 Computer Science Artificial Intelligence (incl. Robotics) Symbolic and Algebraic Manipulation Systems Theory, Control Computer science Computer science / Mathematics Artificial intelligence System theory Zanella, Marina aut Erscheint auch als Druck-Ausgabe 9789048177851 https://doi.org/10.1007/978-94-017-0257-7 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Lamperti, Gianfranco Zanella, Marina Diagnosis of Active Systems Principles and Techniques Computer Science Artificial Intelligence (incl. Robotics) Symbolic and Algebraic Manipulation Systems Theory, Control Computer science Computer science / Mathematics Artificial intelligence System theory |
| title | Diagnosis of Active Systems Principles and Techniques |
| title_auth | Diagnosis of Active Systems Principles and Techniques |
| title_exact_search | Diagnosis of Active Systems Principles and Techniques |
| title_full | Diagnosis of Active Systems Principles and Techniques by Gianfranco Lamperti, Marina Zanella |
| title_fullStr | Diagnosis of Active Systems Principles and Techniques by Gianfranco Lamperti, Marina Zanella |
| title_full_unstemmed | Diagnosis of Active Systems Principles and Techniques by Gianfranco Lamperti, Marina Zanella |
| title_short | Diagnosis of Active Systems |
| title_sort | diagnosis of active systems principles and techniques |
| title_sub | Principles and Techniques |
| topic | Computer Science Artificial Intelligence (incl. Robotics) Symbolic and Algebraic Manipulation Systems Theory, Control Computer science Computer science / Mathematics Artificial intelligence System theory |
| topic_facet | Computer Science Artificial Intelligence (incl. Robotics) Symbolic and Algebraic Manipulation Systems Theory, Control Computer science Computer science / Mathematics Artificial intelligence System theory |
| url | https://doi.org/10.1007/978-94-017-0257-7 |
| work_keys_str_mv | AT lampertigianfranco diagnosisofactivesystemsprinciplesandtechniques AT zanellamarina diagnosisofactivesystemsprinciplesandtechniques |