Automatic Modeling And Fault Diagnosis Of Timed Concurrent Discrete Event Systems Automatische Modellierung Und Fehlerdiagnose Zeitlicher Nebenl Ufiger Ereignisdiskreter Systeme
DOWNLOAD
Download Automatic Modeling And Fault Diagnosis Of Timed Concurrent Discrete Event Systems Automatische Modellierung Und Fehlerdiagnose Zeitlicher Nebenl Ufiger Ereignisdiskreter Systeme PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Automatic Modeling And Fault Diagnosis Of Timed Concurrent Discrete Event Systems Automatische Modellierung Und Fehlerdiagnose Zeitlicher Nebenl Ufiger Ereignisdiskreter Systeme book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages. If the content not found or just blank you must refresh this page
Automatic Modeling And Fault Diagnosis Of Timed Concurrent Discrete Event Systems Automatische Modellierung Und Fehlerdiagnose Zeitlicher Nebenl Ufiger Ereignisdiskreter Systeme
DOWNLOAD
Author : Stefan Schneider
language : en
Publisher: Logos Verlag Berlin GmbH
Release Date : 2015-05-29
Automatic Modeling And Fault Diagnosis Of Timed Concurrent Discrete Event Systems Automatische Modellierung Und Fehlerdiagnose Zeitlicher Nebenl Ufiger Ereignisdiskreter Systeme written by Stefan Schneider and has been published by Logos Verlag Berlin GmbH this book supported file pdf, txt, epub, kindle and other format this book has been release on 2015-05-29 with Technology & Engineering categories.
The productive operation of machines and facilities is of great economic importance for industrial companies. In order to achieve high productivity, unscheduled production downtimes induced by faults need to be minimized. In this work, an approach for modelbased fault diagnosis of timed concurrent Discrete Event Systems is proposed that can contribute to this aim. The models are automatically determined by timed identification and partitioning. These approaches allow for efficient modeling of large and complex industrial systems with concurrent behavior requiring only little system knowledge. The work explains the theoretical and practical aspects of the presented approaches and gives a detailed evaluation based on a laboratory manufacturing system.
Automatic Modeling And Fault Diagnosis Of Timed Concurrent Discrete Event Systems
DOWNLOAD
Author : Stefan Schneider
language : en
Publisher:
Release Date : 2015
Automatic Modeling And Fault Diagnosis Of Timed Concurrent Discrete Event Systems written by Stefan Schneider and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 2015 with Discrete-time systems categories.
Identification And Fault Diagnosis Of Industrial Closed Loop Discrete Event Systems
DOWNLOAD
Author : Matthias Roth
language : en
Publisher: Logos Verlag Berlin GmbH
Release Date : 2010
Identification And Fault Diagnosis Of Industrial Closed Loop Discrete Event Systems written by Matthias Roth and has been published by Logos Verlag Berlin GmbH this book supported file pdf, txt, epub, kindle and other format this book has been release on 2010 with Technology & Engineering categories.
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.
Discrete Event Systems
DOWNLOAD
Author : Moamar Sayed-Mouchaweh
language : en
Publisher: Springer Science & Business Media
Release Date : 2014-03-24
Discrete Event Systems written by Moamar Sayed-Mouchaweh and has been published by Springer Science & Business Media this book supported file pdf, txt, epub, kindle and other format this book has been release on 2014-03-24 with Technology & Engineering categories.
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.
Estimation And Inference In Discrete Event Systems
DOWNLOAD
Author : Christoforos N. Hadjicostis
language : en
Publisher: Springer Nature
Release Date : 2019-10-02
Estimation And Inference In Discrete Event Systems written by Christoforos N. Hadjicostis and has been published by Springer Nature this book supported file pdf, txt, epub, kindle and other format this book has been release on 2019-10-02 with Technology & Engineering categories.
Estimation and Inference in Discrete Event Systems chooses a popular model for emerging automation systems—finite automata under partial observation—and focuses on a comprehensive study of the key problems of state estimation and event inference. The text includes treatment of current, delayed, and initial state estimation. Related applications for assessing and enforcing resiliency—fault detection and diagnosis—and security—privacy and opacity—properties are discussed, enabling the reader to apply these techniques in a variety of emerging applications, among them automated manufacturing processes, intelligent vehicle/highway systems, and autonomous vehicles. The book provides a systematic development of recursive algorithms for state estimation and event inference. The author also deals with the verification of pertinent properties such as: the ability to determine the exact state of a system, “detectability”; the ability to ensure that certain classes of faults can be detected/identified, “diagnosability”; and the ability to ensure that certain internal state variables of the system remain “hidden” from the outside world regardless of the type of activity that is taking place, “opacity”. This book allows students, researchers and practicing engineers alike to grasp basic aspects of state estimation in discrete event systems, aspects like distributivity and probabilistic inference, quickly and without having to master the entire breadth of models that are available in the literature.
Introduction To Discrete Event Systems
DOWNLOAD
Author : Christos G. Cassandras
language : en
Publisher: Springer Science & Business Media
Release Date : 2009-12-14
Introduction To Discrete Event Systems written by Christos G. Cassandras and has been published by Springer Science & Business Media this book supported file pdf, txt, epub, kindle and other format this book has been release on 2009-12-14 with Technology & Engineering categories.
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.
Fault Diagnosis In Discrete Event And Hybrid Systems
DOWNLOAD
Author : Shahin Hashtrudi Zad
language : en
Publisher:
Release Date : 1999
Fault Diagnosis In Discrete Event And Hybrid Systems written by Shahin Hashtrudi Zad and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 1999 with categories.
A framework for on-line passive fault diagnosis in discrete-event systems is proposed. In this approach, the system and the diagnoser (the fault detection system) do not have to be initialized at the same time, and no information about the state or even the condition (failure status) of the system before the initiation of diagnosis is required. First, a state-based approach for fault diagnosis in finite-state automata is presented. The design of the fault detection system has, in the worst case, exponential time complexity. A model reduction scheme with Polynomial time complexity is introduced to reduce the computational Complexity of the design. Next the use of timing information to improve the accuracy of diagnosis is considered. Instead of directly extending the framework to timed discrete-event systems, an alternative approach is taken which leads to significant reduction in on-line computing requirements, and in many cases, in the size of the diagnoser at the expense of more off-line design calculations. The issue of diagnosability of failures in this framework is also studied and necessary and sufficient conditions for diagnosability are derived. In addition, the cases where the discrete-event models used in fault issue is whether the discrete-event model contains enough information about the system for the purpose of fault diagnosis. In this regard, two different notions of consistency between high-level (discrete-event) and low-level (hybrid) models are introduced. Sufficient conditions for consistency are derived and a semi-algorithmic method for constructing suitable high-level discrete-event models from low-level hybrid systems is developed.
Identification And Fault Diagnosis Of Industrial Closed Loop Discrete Event Systems
DOWNLOAD
Author : Matthias Roth
language : en
Publisher:
Release Date : 2010
Identification And Fault Diagnosis Of Industrial Closed Loop Discrete Event Systems written by Matthias Roth and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 2010 with Industrial engineering categories.
Multi Resolution Fault Diagnosis In Discrete Event Systems
DOWNLOAD
Author : JiangJing Pan
language : en
Publisher:
Release Date : 2008
Multi Resolution Fault Diagnosis In Discrete Event Systems written by JiangJing Pan and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 2008 with categories.
In this thesis, a framework for multi-resolution fault diagnosis in discrete-event systems (DES) is introduced. Here a sequence of plant models, with increasing resolution, are used in fault diagnosis and the range of possible diagnosis is narrowed down step by step, until the failure node is isolated. In this way, the original problem of fault diagnosis is replaced by a sequence of smaller problems. The plant models used at each step of diagnosis are abstractions of the original plant model. We propose to use model reduction through the solutions of the Relational Coarsest Partition problem to obtain these abstractions. For each diagnosis step, minimal sensor sets are chosen to have a coarser output map, and hence, to improve the efficiency of model reduction. In this thesis, a polynomial algorithm is proposed that verifies failure diagnosability by examining the distinguishability of two plant (normal/faulty) conditions at a time. A procedure is presented that finds minimal sensor sets, referred to as minimal distinguishes for distinguishability of one condition from another. A polynomial procedure is introduced that combines minimal distinguishers to obtain a minimal sensor set for fault diagnosis. The proposed method reduces the computational complexity of sensor selection. A benefit of using minimal distinguishers is that their computation maybe speeded up using expert knowledge. The proposed method for sensor selection is particularly suitable for multi-resolution diagnosis since it permits some of the results of computations, performed for sensor selection at the lowest (finest) level of multi-resolution diagnosis to be reduced at higher levels. This feature is particularly useful in reducing the computations necessary for online reconfiguration of the multi-resolution diagnosis system. An important procedure used in sensor selection is testing diagnosability. In this thesis, a new procedure for testing diagnosability in timed DES is introduced based on the relatively timing of plant output sequence. It is shown through example that the proposed test maybe executed with significantly fewer computations compared to tests developed for untimed models and adapted for timed systems. Furthermore, two new sets of sufficient conditions are provided under which diagnoser design and diagnosability tests based on relative timing of output sequence can be performed efficiently.
Diagnosis And Fault Tolerant Control
DOWNLOAD
Author : Mogens Blanke
language : en
Publisher: Springer Science & Business Media
Release Date : 2006-09-24
Diagnosis And Fault Tolerant Control written by Mogens Blanke and has been published by Springer Science & Business Media this book supported file pdf, txt, epub, kindle and other format this book has been release on 2006-09-24 with Science categories.
Fault-tolerant control aims at a graceful degradation of the behaviour of automated systems in case of faults. It satisfies the industrial demand for enhanced availability and safety, in contrast to traditional reactions to faults that bring about sudden shutdowns and loss of availability. The book presents effective model-based analysis and design methods for fault diagnosis and fault-tolerant control. Architectural and structural models are used to analyse the propagation of the fault throught the process, to test the fault detectability and to find the redundancies in the process that can be used to ensure fault tolerance. Design methods for diagnostic systems and fault-tolerant controllers are presented for processes that are described by analytical models, by discrete-event models or that can be dealt with as quantised systems. Five case studies on pilot processes show the applicability of the presented methods. The theoretical results are illustrated by two running examples used throughout the book. The second edition includes new material about reconfigurable control, diagnosis of nonlinear systems, and remote diagnosis. The application examples are extended by a steering-by-wire system and the air path of a diesel engine, both of which include experimental results. The bibliographical notes at the end of all chapters have been up-dated. The chapters end with exercises to be used in lectures.