Cargando…
Modeling and Partially Coordinated Diagnosis of Asynchronous Discrete-Event Systems.
Annotation
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin :
Logos Verlag Berlin,
2012.
|
| Temas: | |
| Acceso en línea: | Texto completo |
Tabla de Contenidos:
- 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-automata3.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 automata3.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 algorithms4.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-automata6.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.