Download or read book Fault Tolerant Control of Deterministic Input Output Automata written by Melanie Schuh and published by Logos Verlag Berlin GmbH. This book was released on 2017-08-30 with total page 284 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Fault Tolerant Control of Nondeterministic Input Output Automata written by Yannick Nke and published by Logos Verlag Berlin GmbH. This book was released on 2013 with total page 314 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Diagnosis and Fault Tolerant Control written by Mogens Blanke and published by Springer Science & Business Media. This book was released on 2013-03-14 with total page 583 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents 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 through the process, test fault detectability and reveal redundancies that can be used to ensure fault tolerance. Case studies demonstrate the methods presented. The second edition includes new material on reconfigurable control, diagnosis of nonlinear systems, and remote diagnosis, plus new examples and updated bibliography.
Download or read book Autonomous and cooperative control of networked discrete event systems written by Markus Zgorzelski and published by Logos Verlag Berlin GmbH. This book was released on 2020-08-28 with total page 221 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Formal Methods in Manufacturing written by Javier Campos and published by CRC Press. This book was released on 2018-09-03 with total page 719 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Diagnosis and Fault Tolerant Control written by Mogens Blanke and published by Springer Science & Business Media. This book was released on 2006-09-24 with total page 685 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents 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 through the process, test fault detectability and reveal redundancies that can be used to ensure fault tolerance. Case studies demonstrate the methods presented. The second edition includes new material on reconfigurable control, diagnosis of nonlinear systems, and remote diagnosis, plus new examples and updated bibliography.
Download or read book Proceedings of the IASTED International Symposium Modelling and Simulation written by International Association of Science and Technology for Development and published by Anaheim, Calif. ; Calgary : ACTA Press. This book was released on 1985 with total page 478 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book The Theory of Timed I O Automata Second Edition written by Dilsun Kaynar and published by Springer Nature. This book was released on 2022-06-01 with total page 130 pages. Available in PDF, EPUB and Kindle. Book excerpt: This monograph presents the Timed Input/Output Automaton (TIOA) modeling framework, a basic mathematical framework to support description and analysis of timed (computing) systems. Timed systems are systems in which desirable correctness or performance properties of the system depend on the timing of events, not just on the order of their occurrence. Timed systems are employed in a wide range of domains including communications, embedded systems, real-time operating systems, and automated control. Many applications involving timed systems have strong safety, reliability, and predictability requirements, which make it important to have methods for systematic design of systems and rigorous analysis of timing-dependent behavior. The TIOA framework also supports description and analysis of timed distributed algorithms -- distributed algorithms whose correctness and performance depend on the relative speeds of processors, accuracy of local clocks, or communication delay bounds. Such algorithms arise, for example, in traditional and wireless communications, networks of mobile devices, and shared-memory multiprocessors. The need to prove rigorous theoretical results about timed distributed algorithms makes it important to have a suitable mathematical foundation. An important feature of the TIOA framework is its support for decomposing timed system descriptions. In particular, the framework includes a notion of external behavior for a timed I/O automaton, which captures its discrete interactions with its environment. The framework also defines what it means for one TIOA to implement another, based on an inclusion relationship between their external behavior sets, and defines notions of simulations, which provide sufficient conditions for demonstrating implementation relationships. The framework includes a composition operation for TIOAs, which respects external behavior, and a notion of receptiveness, which implies that a TIOA does not block the passage of time. The TIOA framework also defines the notion of a property and what it means for a property to be a safety or a liveness property. It includes results that capture common proof methods for showing that automata satisfy properties. Table of Contents: Introduction / Mathematical Preliminaries / Describing Timed System Behavior / Timed Automata / Operations on Timed Automata / Properties for Timed Automata / Timed I/O Automata / Operations on Timed I/O Automata / Conclusions and Future Work
Download or read book Formal Techniques in Real time and Fault tolerant Systems written by and published by . This book was released on 1991 with total page 640 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Computer Control Abstracts written by and published by . This book was released on 1996 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Fault Diagnosis and Fault Tolerant Control and Guidance for Aerospace Vehicles written by Ali Zolghadri and published by Springer Science & Business Media. This book was released on 2013-10-07 with total page 227 pages. Available in PDF, EPUB and Kindle. Book excerpt: Fault Diagnosis and Fault-Tolerant Control and Guidance for Aerospace demonstrates the attractive potential of recent developments in control for resolving such issues as flight performance, self protection and extended-life structures. Importantly, the text deals with a number of practically significant considerations: tuning, complexity of design, real-time capability, evaluation of worst-case performance, robustness in harsh environments, and extensibility when development or adaptation is required. Coverage of such issues helps to draw the advanced concepts arising from academic research back towards the technological concerns of industry. Initial coverage of basic definitions and ideas and a literature review gives way to a treatment of electrical flight control system failures: oscillatory failure, runaway, and jamming. Advanced fault detection and diagnosis for linear and linear-parameter-varying systems are described. Lastly recovery strategies appropriate to remaining actuator/sensor/communications resources are developed. The authors exploit experience gained in research collaboration with academic and major industrial partners to validate advanced fault diagnosis and fault-tolerant control techniques with realistic benchmarks or real-world aeronautical and space systems. Consequently, the results presented in Fault Diagnosis and Fault-Tolerant Control and Guidance for Aerospace, will be of interest in both academic and aerospatial-industrial milieux.
Download or read book Mathematical Reviews written by and published by . This book was released on 1985 with total page 544 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Fault tolerant Control Systems written by Hassan Noura and published by Springer Science & Business Media. This book was released on 2009-07-30 with total page 233 pages. Available in PDF, EPUB and Kindle. Book excerpt: The seriesAdvancesinIndustrialControl aims to report and encourage te- nologytransfer in controlengineering. The rapid development of controlte- nology has an impact on all areas of the control discipline. New theory, new controllers, actuators, sensors, new industrial processes, computer methods, new applications, new philosophies. . . , new challenges. Much of this devel- ment work resides in industrial reports, feasibility study papers, and the - ports of advanced collaborative projects. The series o?ers an opportunity for researchers to present an extended exposition of such new work in all aspects of industrial control for wider and rapid dissemination. Control system design and technology continues to develop in many d- ferent directions. One theme that the Advances in Industrial Control series is following is the application of nonlinear control design methods, and the series has some interesting new commissions in progress. However, another theme of interest is how to endow the industrial controller with the ability to overcome faults and process degradation. Fault detection and isolation is a broad ?eld with a research literature spanning several decades. This topic deals with three questions: • How is the presence of a fault detected? • What is the cause of the fault? • Where is it located? However, there has been less focus on the question of how to use the control system to accommodate and overcome the performance deterioration caused by the identi?ed sensor or actuator fault.
Download or read book International Aerospace Abstracts written by and published by . This book was released on 1966-05 with total page 1366 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Principles of Asynchronous Circuit Design written by Jens Sparsø and published by Springer Science & Business Media. This book was released on 2013-04-17 with total page 348 pages. Available in PDF, EPUB and Kindle. Book excerpt: Principles of Asynchronous Circuit Design - A Systems Perspective addresses the need for an introductory text on asynchronous circuit design. Part I is an 8-chapter tutorial which addresses the most important issues for the beginner, including how to think about asynchronous systems. Part II is a 4-chapter introduction to Balsa, a freely-available synthesis system for asynchronous circuits which will enable the reader to get hands-on experience of designing high-level asynchronous systems. Part III offers a number of examples of state-of-the-art asynchronous systems to illustrate what can be built using asynchronous techniques. The examples range from a complete commercial smart card chip to complex microprocessors. The objective in writing this book has been to enable industrial designers with a background in conventional (clocked) design to be able to understand asynchronous design sufficiently to assess what it has to offer and whether it might be advantageous in their next design task.
Download or read book Real Time Programming 1999 written by A.H. Frigeri and published by Pergamon. This book was released on 1999 with total page 258 pages. Available in PDF, EPUB and Kindle. Book excerpt: In 1999 the IFAC/IFIP Workshop on Real Time Programming (WRTP) joined forces with the Workshop on Active and Real-Time Database Systems (ARTDB). Both series of workshops provide an excellent forum for exchanging information on recent scientific and technological advances and practices in real time computing, a field that is becoming an essential enabling discipline of both control engineering and computer science and engineering. The annual Workshop on Real Time Programming and the bi-annual Workshop on Active and Real-time Databases Systems are intended as meetings of relatively small numbers of experts in their fields taking place as truly international events. The 1999 Workshop maintained the outstanding quality of both series, providing an opportunity to assess the state-of-the-art, to present new results, and to discuss possible lines of future developments. Primarily, it focused on software development for real time systems, real time operating systems and active and real time database systems. In particular, the technical programme of the Workshop covered latest research and developments in requirements engineering, software engineering, active and real time database systems, communication and clock synchronisation, embedded systems, formal methods, operating systems and scheduling. Out of 58 submissions from 19 countries, the International Programme Committee selected 26 regular papers and 8 reserve papers for presentation at the Workshop. Contributions come from Europe, North America, Australia, and the Far East. In addition to these, the programme also featured two world renowned keynote speakers, and a discussion panel about the state-of-the-art in the field of active real time database systems.
Download or read book World Congress on Neural Networks written by and published by . This book was released on 1993 with total page 868 pages. Available in PDF, EPUB and Kindle. Book excerpt:
