Modelling, State Observation and Diagnosis of Quantised Systems

Modelling, State Observation and Diagnosis of Quantised Systems

Author: Jochen Schröder

Publisher: Springer

Published: 2003-07-01

Total Pages: 354

ISBN-13: 3540460861

DOWNLOAD EBOOK

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.


Diagnosis and Fault-Tolerant Control

Diagnosis and Fault-Tolerant Control

Author: Mogens Blanke

Publisher: Springer Science & Business Media

Published: 2013-03-14

Total Pages: 583

ISBN-13: 3662053446

DOWNLOAD EBOOK

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.


Modeling and Partially Coordinated Diagnosis of Asynchronous Discrete-Event Systems

Modeling and Partially Coordinated Diagnosis of Asynchronous Discrete-Event Systems

Author: Sebastian Drüppel

Publisher: Logos Verlag Berlin GmbH

Published: 2012

Total Pages: 191

ISBN-13: 3832532595

DOWNLOAD EBOOK

This work presents a novel approach to modeling, analysis and diagnosis of coupled mechatronical systems with partially autonomous behavior and asynchronous state transitions. The systems under consideration are assumed to have the following properties: The internal interactions are immeasurable but reliable and the measurements relevant for diagnosis are given as a sequence of events. Asynchronous networks of input/output automata (I/O-automata) are developed to cope with partial coupling between components and to reduce the computational complexity of the diagnostic algorithms. I/O-automata are used to model those components. Their measurable inputs and outputs are modeled as control signals. Interconnection signals are used to model the internal dependencies among the components. They are linked via an interaction block to one another. The criterion known from synchronous networks of I/O-automata is extended to ensure the well-posedness of this modeling formalism. To check for partially autonomous behavior, two types of autonomy are introduced and discussed: Structural autonomy and state-dependent autonomy. To carry out the diagnosis, three different information structures are investigated: Centralized, decentralized and partially coordinated. The centralized approach yields the ideal diagnostic result, but reduction of the computational complexity by using online composition is rather small. Further reduction of the computational complexity is accomplished by decentralized diagnosis. It yields only in the case of state-dependent autonomy a complete and sound diagnostic result. In general, the lack of soundness arises. Both, obtaining an ideal diagnostic result and reducing the computational complexity, is obtained by the partially coordinated diagnostic algorithm.


Hybrid Systems: Computation and Control

Hybrid Systems: Computation and Control

Author: Alberto Bemporad

Publisher: Springer

Published: 2007-05-31

Total Pages: 812

ISBN-13: 3540714936

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 10th International Conference on Hybrid Systems: Computation and Control, HSCC 2007, held in Pisa, Italy in April 2007. Among the topics addressed are models of heterogeneous systems, computability and complexity issues, real-time computing and control, embedded and resource-aware control, control and estimation over wireless networks, and programming languages support and implementation.


Applications and Innovations in Intelligent Systems XII

Applications and Innovations in Intelligent Systems XII

Author: Ann Macintosh

Publisher: Springer Science & Business Media

Published: 2007-12-31

Total Pages: 282

ISBN-13: 1846281032

DOWNLOAD EBOOK

A. L. Macintosh, Napier University, UK The papers in this volume are the refereed application papers presented at ES2004, the Twenty-fourth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, held in Cambridge in December 2004. The conference was organised by SGAI, the British Computer Society Specialist Group on Artificial Intelligence. This volume contains twenty refereed papers which present the innovative application of a range of AI techniques in a number of subject domains. This year, the papers are divided into sections on Synthesis and Prediction, Scheduling and Search, Diagnosis and Monitoring, Classification and Design, and Analysis and Evaluation This year's prize for the best refereed application paper, which is being sponsored by the Department of Trade and Industry, was won by a paper entitled "A Case-Based Technique for Tracking Concept Drift in Spam Filtering". The authors are Sarah Jane Delany, from the Dublin Institute of Technology, Ireland, and Padraig Cunningham, Alexey Tsymbal, and Lorcan Coyle from Trinity College Dublin, Ireland. This is the twelfth volume in the Applications and Innovations series. The Technical Stream papers are published as a companion volume under the title Research and Development in Intelligent Systems XXI. On behalf of the conference organising committee I should like to thank all those who contributed to the organisation of this year's application programme, in particular the programme committee members, the executive programme committee and our administrators Linsay Turbert and Collette Jackson.


Unsolved Problems in Mathematical Systems and Control Theory

Unsolved Problems in Mathematical Systems and Control Theory

Author: Vincent D. Blondel

Publisher: Princeton University Press

Published: 2009-04-11

Total Pages: 351

ISBN-13: 1400826152

DOWNLOAD EBOOK

This book provides clear presentations of more than sixty important unsolved problems in mathematical systems and control theory. Each of the problems included here is proposed by a leading expert and set forth in an accessible manner. Covering a wide range of areas, the book will be an ideal reference for anyone interested in the latest developments in the field, including specialists in applied mathematics, engineering, and computer science. The book consists of ten parts representing various problem areas, and each chapter sets forth a different problem presented by a researcher in the particular area and in the same way: description of the problem, motivation and history, available results, and bibliography. It aims not only to encourage work on the included problems but also to suggest new ones and generate fresh research. The reader will be able to submit solutions for possible inclusion on an online version of the book to be updated quarterly on the Princeton University Press website, and thus also be able to access solutions, updated information, and partial solutions as they are developed.


Identification and Fault Diagnosis of Industrial Closed-loop Discrete Event Systems

Identification and Fault Diagnosis of Industrial Closed-loop Discrete Event Systems

Author: Matthias Roth

Publisher: Logos Verlag Berlin GmbH

Published: 2010

Total Pages: 184

ISBN-13: 3832527095

DOWNLOAD EBOOK

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.


Guaranteed Verification of Dynamic Systems

Guaranteed Verification of Dynamic Systems

Author: Schwab, Stefan

Publisher: KIT Scientific Publishing

Published: 2022-03-15

Total Pages: 216

ISBN-13: 3731509652

DOWNLOAD EBOOK

This work introduces a new specification and verification approach for dynamic systems. The introduced approach is able to provide type II error free results by definition, i.e. there are no hidden faults in the verification result. The approach is based on Kaucher interval arithmetic to enclose the measurement in a bounded error sense. The developed methods are proven mathematically to provide a reliable verification for a wide class of safety critical systems.


Identification of Nonlinear Systems Using Neural Networks and Polynomial Models

Identification of Nonlinear Systems Using Neural Networks and Polynomial Models

Author: Andrzej Janczak

Publisher: Springer Science & Business Media

Published: 2004-11-18

Total Pages: 220

ISBN-13: 9783540231851

DOWNLOAD EBOOK

This monograph systematically presents the existing identification methods of nonlinear systems using the block-oriented approach It surveys various known approaches to the identification of Wiener and Hammerstein systems which are applicable to both neural network and polynomial models. The book gives a comparative study of their gradient approximation accuracy, computational complexity, and convergence rates and furthermore presents some new and original methods concerning the model parameter adjusting with gradient-based techniques. "Identification of Nonlinear Systems Using Neural Networks and Polynomal Models" is useful for researchers, engineers and graduate students in nonlinear systems and neural network theory.