Home eBooks Download › fault tolerant control of deterministic input output automata

Fault Tolerant Control Of Deterministic Input Output Automata

Download Fault Tolerant Control Of Deterministic Input Output Automata PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Fault Tolerant Control Of Deterministic Input Output Automata 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

Fault Tolerant Control Of Deterministic Input Output Automata

DOWNLOAD
Author : Melanie Schuh
language : en
Publisher: Logos Verlag Berlin GmbH
Release Date : 2017-08-30

Fault Tolerant Control Of Deterministic Input Output Automata written by Melanie Schuh 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 2017-08-30 with Technology & Engineering categories.

This thesis deals with active fault-tolerant control of discrete event systems modeled by deterministic Input/Output (I/O) automata. Active fault-tolerant control realizes three operating modes - nominal control, fault diagnosis and controller reconfiguration. A new fault-tolerant controller which autonomously ensures the fulfillment of the control aim, both, in the faultless and the faulty case is developed. The control aim is to steer the plant into a desired final state while guaranteeing the avoidance of illegal transitions. Corresponding to the three operating modes, the proposed integrated fault-tolerant controller consists of a tracking controller, a diagnostic unit and a reconfiguration unit. As long as no fault is present, the tracking controller controls the plant in a feedback loop in order to guarantee the fulfillment of the control aim. At the same time the diagnostic unit detects whether a fault occurred. If a fault is detected, a novel active diagnosis method is used in order to identify the present fault as well as the current state of the faulty plant. The reconfiguration unit uses the diagnostic result provided by the diagnostic unit to reconfigure the tracking controller. As a main result, it is proved that the plant in the fault-tolerant control loop fulfills the control aim in the faultless as well as in the faulty case if the control loop is recoverable. The applicability of the fault-tolerant control method is demonstrated by means of a handling process at the Handling System HANS.

Fault Tolerant Control Of Nondeterministic Input Output Automata

DOWNLOAD
Author : Yannick Nke
language : en
Publisher: Logos Verlag Berlin GmbH
Release Date : 2013

Fault Tolerant Control Of Nondeterministic Input Output Automata written by Yannick Nke 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 2013 with Computers categories.

This book presents novel methods of fault-tolerant control theory in a discrete-event system framework. Nondeterministic input/output automata are used to model nominal and faulty technological systems. The main contributions are the following: Control design method for discrete-event systems Fault modeling technique for actuator, sensor and system internal faults and failures Off-line and on-line control reconfiguration based on trajectory re-planning and input/output adaptation. Two small size running examples are used to explain the developed methods. Experiments on a manufacturing cell demonstrate the application of these methods in a realistic environment. The state of the art is provided on methods for modeling, supervisory control and fault-tolerant control of discrete-event systems.

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.

Autonomous And Cooperative Control Of Networked Discrete Event Systems

DOWNLOAD
Author : Markus Zgorzelski
language : en
Publisher: Logos Verlag Berlin GmbH
Release Date : 2020-08-28

Autonomous And Cooperative Control Of Networked Discrete Event Systems written by Markus Zgorzelski 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 2020-08-28 with Technology & Engineering categories.

This thesis considers networked discrete-event systems. The overall system is a network of subsystems, each of which includes a technical process modelled by an I/O automaton together with a controller and a network unit. These subsystems are interconnected by physical couplings and digital communication links. An important characteristic of the networked discreteevent systems is the partial autonomy of the subsystems, which is reflected by the fact that each subsystem solves its local tasks individually. Cooperation among the subsystems becomes necessary if physical couplings or control specifications have to be resolved by two or more subsystems in order to satisfy the local tasks. Hence, the subsystems participate in satisfying cooperative tasks by adapting their behaviours while using the communication network without a coordinator. In these situations the following question arises: When and what information has to be exchanged by the subsystems and what should the structure of the communication network look like? As a main result of this thesis, it is proved that the subsystems in the networked discrete-event system determine deadlock-free execution orders of cooperative tasks with distributed model information by using the communication network and solving their local tasks. The applicability of the cooperative control solution is demonstrated by means of a collaborative process at the Handling System HANS. Markus Zgorzelski received his Bachelor in Electrical Engineering and Information Science from the Ruhr-Universität Bochum in 2011 and he received his Masters in Electrical Engineering and Information Science from the Ruhr-Universität Bochum in 2014. From 2014 to 2020 he was a scientific co-worker at the Institute of Automation and Computer Control, where he obtained his PhD. His research was focused on networked discrete-event systems.

Formal Methods In Manufacturing

DOWNLOAD
Author : Javier Campos
language : en
Publisher: CRC Press
Release Date : 2018-09-03

Formal Methods In Manufacturing written by Javier Campos and has been published by CRC Press this book supported file pdf, txt, epub, kindle and other format this book has been release on 2018-09-03 with Technology & Engineering categories.

Illustrated with real-life manufacturing examples, Formal Methods in Manufacturing provides state-of-the-art solutions to common problems in manufacturing systems. Assuming some knowledge of discrete event systems theory, the book first delivers a detailed introduction to the most important formalisms used for the modeling, analysis, and control of manufacturing systems (including Petri nets, automata, and max-plus algebra), explaining the advantages of each formal method. It then employs the different formalisms to solve specific problems taken from today’s industrial world, such as modeling and simulation, supervisory control (including deadlock prevention) in a distributed and/or decentralized environment, performance evaluation (including scheduling and optimization), fault diagnosis and diagnosability analysis, and reconfiguration. Containing chapters written by leading experts in their respective fields, Formal Methods in Manufacturing helps researchers and application engineers handle fundamental principles and deal with typical quality goals in the design and operation of manufacturing systems.

Modelling State Observation And Diagnosis Of Quantised Systems

DOWNLOAD
Author : Jochen Schröder
language : en
Publisher: Springer Science & Business Media
Release Date : 2002-10-09

Modelling State Observation And Diagnosis Of Quantised Systems written by Jochen Schröder 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 2002-10-09 with Technology & Engineering categories.

Ongoing advances in science and engineering enable mankind to design and operate increasingly sophisticated systems. Both their design and operation require the understanding of the system and its interaction with the envir- ment. This necessitates the formalisation of the knowledge about the system by models. A major issue is what kind of model is best suited for a given task. This book is about the supervision of continuous dynamical systems. Such systems are typically described by di?erential equations. However, this does notautomaticallymeanthatdi?erentialequationsarepropermodelsforso- ing supervision tasks. Instead, this book and recent approaches in literature show that supervision tasks do in general not require the use of such precise modelsasdi?erentialequations.Thisisofinterestbecauseuncertainties,t- ically occurring in supervision, make the use of precise models very di?cult. Alternative approaches therefore use less precise models such as discrete– event descriptions to solve supervision tasks on a higher level of abstraction. Discrete–event descriptions in form of automata are one of the key elements of this book. To reach this higher level of abstraction, uncertainties by qu- tisation are introduced on purpose, taking into account a loss of precision. This is one of the main di?erence to other approaches. When using nume- calmodelsliketransferfunctionsordi?erentialequations,uncertaintiesmake the analysis more di?cult. Not so here, where the system is described on a qualitative level on which uncertainties are naturally incorporated. The book presents a new way to describe systems for supervision. Preparing this book I learned that the key to solve supervision problems is simplicity.

Proceedings Of The Iasted International Symposium Modelling And Simulation

DOWNLOAD
Author : International Association of Science and Technology for Development
language : en
Publisher: Anaheim, Calif. ; Calgary : ACTA Press
Release Date : 1985

Proceedings Of The Iasted International Symposium Modelling And Simulation written by International Association of Science and Technology for Development and has been published by Anaheim, Calif. ; Calgary : ACTA Press this book supported file pdf, txt, epub, kindle and other format this book has been release on 1985 with Computers categories.