Modeling and partially coordinated diagnosis of asynchronous discrete-event systems / Sebastian üppel.

Format:

Book

Author/Creator:

üppel, Sebastian, author.

Language:

English

Subjects (All):

Mechatronics.

Physical Description:

1 online resource (194 pages)

Edition:

1st ed.

Place of Publication:

Berlin : Logos Verlag Berlin, [2012]

Summary:

Long description: 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.

Contents:

Intro

1 Introduction

1.1 Diagnosis of complex engineering systems

1.2 Aim and tasks

1.3 Literature survey

1.3.1 Ways of modeling faults

1.3.2 Diagnoser approach

1.3.3 Multi-model approach

1.3.4 Literature evaluation

1.4 Main results of this thesis

1.5 Document structure

2 Consistency-based diagnosis

2.1 Basic concepts

2.2 Application to discrete-event systems

3 A new modeling formalism for asynchronous interconnected discreteevent systems

3.1 Basic concepts

3.2 Composite discrete-event systems

3.3 Component models

3.3.1 Deterministic I/O-automata

3.3.2 Nondeterministic I/O-automata

3.3.3 I/O-automata without coupling signals

3.3.4 Autonomous automata

3.3.5 Interconnection relation, state transition relation and output relation

3.3.6 Automaton table and graph

3.3.7 Properties of the component models

3.3.8 Extension to I/O-automata with multiple signals

3.4 Coupling model

3.4.1 I/O-automata with scalar interconnection signals

3.4.2 Generalized I/O-automata

3.5 Overall system model

3.5.1 Description of the network

3.5.2 Composition of I/O-automata networks

3.6 The notion of asynchrony

3.7 Unconnected signals of I/O-automata

3.8 Comparison of networks of I/O-automata with coupled standard automata

3.8.1 Modeling of discrete-event systems by standard automata

3.8.2 Interpretation of asynchronous networks of I/O-automata as networks of standard automata

3.8.3 Example

3.8.4 Discussion

4 Properties and simulation of asynchronous networks of I/O-automata

4.1 Well-posedness

4.1.1 Feedback in interconnected systems

4.1.2 Solution to the feedback problem for asynchronous networks of I/Oautomata

4.2 Autonomy of asynchronous networks of I/O-automata

4.2.1 Structural autonomy

4.2.2 State-dependent autonomy.

4.3 Simulation algorithms

4.3.1 Behavior of single nondeterministic I/O-automata

4.3.2 Behavior of nondeterministic asynchronous networks of I/Oautomata using online composition

4.4 Complexity considerations

5 Centralized diagnosis of nondeterministic processes

5.1 State observation of single nondeterministic I/O-automata

5.2 Diagnosis of single nondeterministic I/O-automata

5.3 Application of the centralized diagnostic algorithm to nondeterministic asynchronous networks of I/O-automata using online composition

5.4 Evaluation of results

6 Decentralized diagnosis of nondeterministic asynchronous networks of I/O-automata

6.1 Motivation for decentralized diagnosis

6.2 Solution of the decentralized diagnostic problem

6.3 Properties of the decentralized diagnostic method

6.3.1 General case

6.3.2 Lack of soundness

6.3.3 Simplifications resulting from state-dependent autonomy

6.4 Complexity considerations

6.5 Evaluation of results

7 Partially coordinated diagnosis of nondeterministic asynchronous networks of I/O-automata

7.1 Motivation for a new information structure

7.2 Solution of the partially coordinated diagnostic problem

7.3 Complexity considerations

7.4 Comparative example

7.5 Evaluation of the presented diagnostic approaches

8 Application examples

8.1 Partially coordinated diagnosis of a process plant

8.1.1 Modeling

8.1.2 Diagnosis

8.2 Simulation of a production facility

8.2.1 Modeling

8.2.2 Simulation

9 Conclusion and outlook

9.1 Conclusion

9.2 Outlook.

Notes:

PublicationDate: 20121031

Description based on print version record.

ISBN:

3-8325-9670-4

9783832596705

OCLC:

1021809781