Failure Diagnosis of Decentralized Discrete Event Systems PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Failure Diagnosis of Decentralized Discrete Event Systems PDF full book. Access full book title Failure Diagnosis of Decentralized Discrete Event Systems by Rami Ismail Debouk. Download full books in PDF and EPUB format.
Author: Rami Ismail Debouk
Publisher:
ISBN:
Category :
Languages : en
Pages : 324
Get Book Here
Book Description
Author: Rami Ismail Debouk
Publisher:
ISBN:
Category :
Languages : en
Pages : 324
Get Book Here
Book Description
Author: Moamar Sayed-Mouchaweh
Publisher: Springer Science & Business Media
ISBN: 1461400317
Category : Technology & Engineering
Languages : en
Pages : 73
Get Book Here
Book Description
Discrete Event Systems: Diagnosis and Diagnosability addresses the problem of fault diagnosis of Discrete Event Systems (DESs). 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. This book classifies the different techniques and approaches according to several criteria such as: modeling tools (Automata, Petri nets, Templates) that is used to construct the model; the information (qualitative based on events occurrences and/or states outputs, quantitative based on signal processing, data analysis) that is needed to analyze and achieve the diagnosis; the decision structure (centralized, decentralized) that is required to achieve the diagnosis; as well as the complexity (polynomial, exponential) of the algorithm that is used to determine the set of faults that the proposed approach is able to diagnose as well as the delay time required for this diagnosis. The goal of this classification is to select the efficient method to achieve the fault diagnosis according to the application constraints. This book will include illustrated examples of the presented methods and techniques as well as a discussion on the application of these methods on several real-world problems.
Author:
Publisher:
ISBN:
Category :
Languages : en
Pages :
Get Book Here
Book Description
Author: Wenbin Qiu
Publisher:
ISBN:
Category :
Languages : en
Pages : 298
Get Book Here
Book Description
Discrete event systems (DESs) are event-driven systems, which change their discrete states upon asynchronous occurrence of certain events. This dissertation addresses decentralized/distributed failure diagnosis and supervisory control of DESs. In a decentralized diagnosis architecture, a local diagnoser performs failure diagnosis completely based on its own observations without communicating with others. A notion of codi-agnosability is introduced to capture the property that a system should satisfy such that its failure behaviors are diagnosable by one of the local diagnosers within a bounded delay of their occurrences. Algorithms with polynomial complexity in the size of system/specification models are presented for verifying codiagnosability, computing diagnosis delay bound, synthesizing local diagnosers, and online diagnosis using them. Further diagnosis properties are investigated through the introduction of strong-(co)diagnosability and safe-codiagnosability. In a distributed diagnosis architecture, local diagnosers exchange their individual observation with each other to perform failure diagnosis collaboratively. Finite automata models are constructed to capture communication delays, and the system/specification/sensing models are augmented with respect to the communication delay models. Via those augmented models, a distributed diagnosis problem is converted to a decentralized diagnosis problem. This allows distributed diagnosis analysis to be performed in same as decentralized diagnosis analysis. Also, in the unbounded delay case decidability of the problem is established. For supervisory control of DESs, prioritized synchronous composition (PSC) based decentralized control and nondeterministic decentralized control are introduced. A PSC based decision fusion rule is more general than the conventional conjunctive/disjunctive decision fusion rule since it has control-authority besides control-capability. Algorithms are presented for existence and synthesis of PSC based supervisors. Computational complexity of the former is polynomial in the size of both system and specification models, while complexity of the latter is polynomial in the size of systems model, and exponential in the size of specification model. By using nondeterministic supervisors, a weaker condition than the condition of controllability together with co-observability is obtained for decentralized control. Algorithms of polynomial complexity are presented for both existence and synthesis of nondeterministic supervisors in target control and range control problems.
Author: Rong Su
Publisher:
ISBN:
Category :
Languages : en
Pages : 0
Get Book Here
Book Description
In this thesis a new language-based method is proposed to construct a centralized diagnoser, from which a decentralized diagnoser with corresponding communication mechanism is designed. The latter diagnoser is equivalent to the original centralized diagnoser with respect to diagnostic ability.
Author: Sebastian Drüppel
Publisher: Logos Verlag Berlin GmbH
ISBN: 3832532595
Category : Computers
Languages : en
Pages : 191
Get Book Here
Book Description
This work presents a novel approach to modeling, analysis and diagnosis of coupled mechatronical systems with partially autonomous behavior and asynchronous state transitions. The systems under consideration are assumed to have the following properties: The internal interactions are immeasurable but reliable and the measurements relevant for diagnosis are given as a sequence of events. Asynchronous networks of input/output automata (I/O-automata) are developed to cope with partial coupling between components and to reduce the computational complexity of the diagnostic algorithms. I/O-automata are used to model those components. Their measurable inputs and outputs are modeled as control signals. Interconnection signals are used to model the internal dependencies among the components. They are linked via an interaction block to one another. The criterion known from synchronous networks of I/O-automata is extended to ensure the well-posedness of this modeling formalism. To check for partially autonomous behavior, two types of autonomy are introduced and discussed: Structural autonomy and state-dependent autonomy. To carry out the diagnosis, three different information structures are investigated: Centralized, decentralized and partially coordinated. The centralized approach yields the ideal diagnostic result, but reduction of the computational complexity by using online composition is rather small. Further reduction of the computational complexity is accomplished by decentralized diagnosis. It yields only in the case of state-dependent autonomy a complete and sound diagnostic result. In general, the lack of soundness arises. Both, obtaining an ideal diagnostic result and reducing the computational complexity, is obtained by the partially coordinated diagnostic algorithm.
Author: Christos G. Cassandras
Publisher: Springer Science & Business Media
ISBN: 0387333320
Category : Technology & Engineering
Languages : en
Pages : 781
Get Book Here
Book Description
Introduction to Discrete Event Systems is a comprehensive introduction to the field of discrete event systems, offering a breadth of coverage that makes the material accessible to readers of varied backgrounds. The book emphasizes a unified modeling framework that transcends specific application areas, linking the following topics in a coherent manner: language and automata theory, supervisory control, Petri net theory, Markov chains and queuing theory, discrete-event simulation, and concurrent estimation techniques. This edition includes recent research results pertaining to the diagnosis of discrete event systems, decentralized supervisory control, and interval-based timed automata and hybrid automata models.
Author: Carla Seatzu
Publisher: Springer
ISBN: 1447142764
Category : Technology & Engineering
Languages : en
Pages : 488
Get Book Here
Book Description
Control of Discrete-event Systems provides a survey of the most important topics in the discrete-event systems theory with particular focus on finite-state automata, Petri nets and max-plus algebra. Coverage ranges from introductory material on the basic notions and definitions of discrete-event systems to more recent results. Special attention is given to results on supervisory control, state estimation and fault diagnosis of both centralized and distributed/decentralized systems developed in the framework of the Distributed Supervisory Control of Large Plants (DISC) project. Later parts of the text are devoted to the study of congested systems though fluidization, an over approximation allowing a much more efficient study of observation and control problems of timed Petri nets. Finally, the max-plus algebraic approach to the analysis and control of choice-free systems is also considered. Control of Discrete-event Systems provides an introduction to discrete-event systems for readers that are not familiar with this class of systems, but also provides an introduction to research problems and open issues of current interest to readers already familiar with them. Most of the material in this book has been presented during a Ph.D. school held in Cagliari, Italy, in June 2011.
Author: Vincent D. Blondel
Publisher: Princeton University Press
ISBN: 1400826152
Category : Mathematics
Languages : en
Pages : 351
Get Book Here
Book Description
This book provides clear presentations of more than sixty important unsolved problems in mathematical systems and control theory. Each of the problems included here is proposed by a leading expert and set forth in an accessible manner. Covering a wide range of areas, the book will be an ideal reference for anyone interested in the latest developments in the field, including specialists in applied mathematics, engineering, and computer science. The book consists of ten parts representing various problem areas, and each chapter sets forth a different problem presented by a researcher in the particular area and in the same way: description of the problem, motivation and history, available results, and bibliography. It aims not only to encourage work on the included problems but also to suggest new ones and generate fresh research. The reader will be able to submit solutions for possible inclusion on an online version of the book to be updated quarterly on the Princeton University Press website, and thus also be able to access solutions, updated information, and partial solutions as they are developed.
Author: Matthias Roth
Publisher: Logos Verlag Berlin GmbH
ISBN: 3832527095
Category : Technology & Engineering
Languages : en
Pages : 184
Get Book Here
Book Description
Die Wettbewerbsfahigkeit von Industrieunternehmen hangt massgeblich von der Produktivitat der eingesetzten Anlagen und Produktionsprozesse ab. Um ein hohes Mass an Produktivitat zu garantieren, mussen durch Fehler verursachte Standzeiten so kurz wir moglich gehalten werden. Dazu werden effiziente Methoden zur Fehlerdiagnose benotigt. In der vorliegenden Arbeit wurde ein modellbasiertes Diagnose-Verfahren fur ereignisdiskrete Closed-Loop Systeme entwickelt. Die betrachteten Systeme bestehen aus dem geschlossenen Kreis von Steuerung und Prozess. Durch den systematischen Vergleich von aktuell beobachtetem und durch ein Systemmodell erwartetem Verhalten konnen Fehler in Echtzeit erkannt und isoliert werden. In der Arbeit wurden geeignete Modellidentifikationsverfahren fur Ereignisdiskrete Systeme entwickelt, sodass die aufwandige manuelle Modellbildung vermieden wird. Die entwickelten Methoden wurden im Labor und im Rahmen einer Industrieanwendung erfolgreich getestet.
