Automatic Modeling And Fault Diagnosis Of Timed Concurrent Discrete Event Systems Automatische Modellierung Und Fehlerdiagnose Zeitlicher Nebenlaufiger Ereignisdiskreter Systeme 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 Automatic Modeling And Fault Diagnosis Of Timed Concurrent Discrete Event Systems Automatische Modellierung Und Fehlerdiagnose Zeitlicher Nebenlaufiger Ereignisdiskreter Systeme PDF full book. Access full book title Automatic Modeling And Fault Diagnosis Of Timed Concurrent Discrete Event Systems Automatische Modellierung Und Fehlerdiagnose Zeitlicher Nebenlaufiger Ereignisdiskreter Systeme.
Author | : Stefan Schneider |
Publisher | : Logos Verlag Berlin GmbH |
Total Pages | : 198 |
Release | : 2015-05-29 |
Genre | : Technology & Engineering |
ISBN | : 3832539816 |
Download Automatic Modeling and Fault Diagnosis of Timed Concurrent Discrete Event Systems. Automatische Modellierung und Fehlerdiagnose zeitlicher nebenläufiger ereignisdiskreter Systeme Book in PDF, ePub and Kindle
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 | : |
Total Pages | : 198 |
Release | : 2015 |
Genre | : Discrete-time systems |
ISBN | : 9783832594985 |
Download Automatic Modeling and Fault Diagnosis of Timed Concurrent Discrete Event Systems Book in PDF, ePub and Kindle
Author | : Moamar Sayed-Mouchaweh |
Publisher | : Springer Science & Business Media |
Total Pages | : 73 |
Release | : 2014-03-24 |
Genre | : Technology & Engineering |
ISBN | : 1461400317 |
Download Discrete Event Systems Book in PDF, ePub and Kindle
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 |
Total Pages | : 184 |
Release | : 2010 |
Genre | : Technology & Engineering |
ISBN | : 3832527095 |
Download Identification and Fault Diagnosis of Industrial Closed-loop Discrete Event Systems Book in PDF, ePub and Kindle
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 Nature |
Total Pages | : 821 |
Release | : 2021-11-11 |
Genre | : Computers |
ISBN | : 3030722740 |
Download Introduction to Discrete Event Systems Book in PDF, ePub and Kindle
This unique textbook comprehensively introduces 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 queueing theory, discrete-event simulation, and concurrent estimation techniques. Topics and features: detailed treatment of automata and language theory in the context of discrete event systems, including application to state estimation and diagnosis comprehensive coverage of centralized and decentralized supervisory control of partially-observed systems timed models, including timed automata and hybrid automata stochastic models for discrete event systems and controlled Markov chains discrete event simulation an introduction to stochastic hybrid systems sensitivity analysis and optimization of discrete event and hybrid systems new in the third edition: opacity properties, enhanced coverage of supervisory control, overview of latest software tools This proven textbook is essential to advanced-level students and researchers in a variety of disciplines where the study of discrete event systems is relevant: control, communications, computer engineering, computer science, manufacturing engineering, transportation networks, operations research, and industrial engineering. Christos G. Cassandras is Distinguished Professor of Engineering, Professor of Systems Engineering, and Professor of Electrical and Computer Engineering at Boston University. Stéphane Lafortune is Professor of Electrical Engineering and Computer Science at the University of Michigan, Ann Arbor.
Author | : Shahin Hashtrudi Zad |
Publisher | : |
Total Pages | : 0 |
Release | : 1999 |
Genre | : |
ISBN | : |
Download Fault Diagnosis in Discrete-event and Hybrid Systems Book in PDF, ePub and Kindle
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.
Author | : Christoforos N. Hadjicostis |
Publisher | : Springer Nature |
Total Pages | : 357 |
Release | : 2019-10-02 |
Genre | : Technology & Engineering |
ISBN | : 3030308219 |
Download Estimation and Inference in Discrete Event Systems Book in PDF, ePub and Kindle
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 | : R. Boel |
Publisher | : Springer Science & Business Media |
Total Pages | : 489 |
Release | : 2012-12-06 |
Genre | : Science |
ISBN | : 1461544939 |
Download Discrete Event Systems Book in PDF, ePub and Kindle
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 | : Matthias Roth |
Publisher | : |
Total Pages | : 186 |
Release | : 2010 |
Genre | : Industrial engineering |
ISBN | : 9783832598662 |
Download Identification and Fault Diagnosis of Industrial Closed-Loop Discrete Event Systems Book in PDF, ePub and Kindle
Author | : Józef Korbicz |
Publisher | : Springer Science & Business Media |
Total Pages | : 970 |
Release | : 2004 |
Genre | : Computers |
ISBN | : 9783540407676 |
Download Fault Diagnosis Book in PDF, ePub and Kindle
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.