Author: Stefan Schneider
Publisher: Logos Verlag Berlin GmbH
ISBN: 3832539816
Category : Technology & Engineering
Languages : en
Pages : 198
Get Book Here
Book Description
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.
Author: Stefan Schneider
Publisher:
ISBN: 9783832594985
Category : Discrete-time systems
Languages : en
Pages : 198
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: 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.
Author: Christos G. Cassandras
Publisher: Springer Science & Business Media
ISBN:
Category : Discrete-time systems
Languages : en
Pages : 844
Get Book Here
Book Description
Its key feature is the emphasis placed on a unified modeling framework that transcends specific application areas and allows linking of the following topics in a coherent manner: language and automata theory, supervisory control, Petri net theory, (max,+) algebra, Markov chains and queueing theory, discrete-event simulation, perturbation analysis, and concurrent estimation techniques. Until now, these topics had been treated in separate books or in the research literature only."--BOOK JACKET.
Author: Christoforos N. Hadjicostis
Publisher: Springer Nature
ISBN: 3030308219
Category : Technology & Engineering
Languages : en
Pages : 357
Get Book Here
Book Description
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.
Author: Wanyi Qu
Publisher:
ISBN:
Category :
Languages : en
Pages :
Get Book Here
Book Description
Author: R. Boel
Publisher: Springer Science & Business Media
ISBN: 1461544939
Category : Science
Languages : en
Pages : 489
Get Book Here
Book Description
Discrete Event Systems: Analysis and Control is the proceedings of WODES2000 (the 5th Workshop on Discrete Event Systems, held in Ghent, Belgium, on August 21-23, 2000). This book provides a survey of the current state of the art in the field of modeling, analysis and control synthesis of discrete event systems, lecture notes for a mini course on sensitivity analysis for performance evaluation of timed discrete event systems, and 48 carefully selected papers covering all areas of discrete event theory and the most important applications domains. Topics include automata theory and supervisory control (12); Petri net based models for discrete event systems, and their control synthesis (11); (max,+) and timed automata models (9); applications papers related to scheduling, failure detection, and implementation of supervisory controllers (7); formal description of PLCs (6); and finally, stochastic models of discrete event systems (3).
Author: Józef Korbicz
Publisher: Springer Science & Business Media
ISBN: 9783540407676
Category : Computers
Languages : en
Pages : 970
Get Book Here
Book Description
This comprehensive work presents the status and likely development of fault diagnosis, an emerging discipline of modern control engineering. It covers fundamentals of model-based fault diagnosis in a wide context, providing a good introduction to the theoretical foundation and many basic approaches of fault detection.
Author: Shahin Hashtrudi Zad
Publisher:
ISBN:
Category :
Languages : en
Pages : 0
Get Book Here
Book Description
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.
