TY - GEN digital ID - 131511459 TI - Discrete Event Systems : Diagnosis and Diagnosability PY - 2014 SN - 9781461400318 PB - New York, NY Springer DB - UniCat KW - Differential geometry. Global analysis KW - Ergodic theory. Information theory KW - Discrete mathematics KW - Mathematics KW - Applied physical engineering KW - Engineering sciences. Technology KW - Computer science KW - Artificial intelligence. Robotics. Simulation. Graphics KW - Computer. Automation KW - mechatronica KW - differentiaal geometrie KW - complexiteit KW - industriële robots KW - discrete wiskunde KW - automatisering KW - informatica KW - externe fixatie (geneeskunde KW - informatiesystemen KW - wiskunde KW - KI (kunstmatige intelligentie) KW - ingenieurswetenschappen KW - informatietheorie KW - AI (artificiële intelligentie) UR - https://www.unicat.be/uniCat?func=search&query=sysid:131511459 AB - Discrete Event Systems: Diagnosis and Diagnosability addresses the problem of fault diagnosis of Discrete Event Systems (DES). This book provides the basic techniques and approaches necessary for the design of an efficient fault diagnosis system for a wide range of modern engineering applications. The different techniques and approaches are classified according to several criteria such as: modeling tools (Automata, Petri nets) that is used to construct the model; the information (qualitative based on events occurrences and/or states outputs, quantitative based on signal processing and data analysis) that is needed to analyze and achieve the diagnosis; the decision structure (centralized, decentralized) that is required to achieve the diagnosis. The goal of this classification is to select the efficient method to achieve the fault diagnosis according to the application constraints. This book focuses on the centralized and decentralized event based diagnosis approaches using formal language and automata as modeling tool. The work includes illustrated examples of the presented methods and techniques as well as a discussion on the application of these methods on several real-world problems. ER -