Modeling and partially coordinated diagnosis of asynchronous discrete-event systems
Sebastian Drüppel
Diese Publikation zitieren
Sebastian Drüppel, Modeling and partially coordinated diagnosis of asynchronous discrete-event systems (2012), Logos Verlag, Berlin, ISBN: 9783832596705
Beschreibung / Abstract
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.
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.
Inhaltsverzeichnis
- BEGINN
- 1 Introduction
- 1.1 Diagnosis of complex engineering systems
- 1.2 Aim and tasks
- 1.3 Literature survey
- 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.4 Coupling model
- 3.5 Overall system model
- 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
- 4 Properties and simulation of asynchronous networks of I/O-automata
- 4.1 Well-posedness
- 4.2 Autonomy of asynchronous networks of I/O-automata
- 4.3 Simulation algorithms
- 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.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.2 Simulation of a production facility
- 9 Conclusion and outlook
- 9.1 Conclusion
- 9.2 Outlook