Modeling and Partially Coordinated Diagnosis of Asynchronous Discrete-Event Systems.

Annotation

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Üppel, Sebastian
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin : Logos Verlag Berlin, 2012.
Temas:
Mechatronics.
Mécatronique.
Mechatronics
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000 4500
001 EBOOKCENTRAL_on1021809781
003 OCoLC
005 20240329122006.0
006 m o d
007 cr |n|---|||||
008 180203s2012 gw o 000 0 eng d
040 |a EBLCP  |b eng  |e pn  |c EBLCP  |d MERUC  |d YDX  |d COCUF  |d STF  |d LOA  |d CUY  |d ZCU  |d EZ9  |d ICG  |d K6U  |d VT2  |d U3W  |d OCLCQ  |d WYU  |d LVT  |d TKN  |d DKC  |d AU@  |d OCLCO  |d OCLCF  |d OCLCO  |d OCLCQ  |d OCLCO 
019 |a 1022079098 
020 |a 9783832596705 
020 |a 3832596704 
020 |a 3832532595 
020 |a 9783832532598 
020 |z 9783832532598 
020 |z 3832532595 
024 3 |a 9783832532598 
035 |a (OCoLC)1021809781  |z (OCoLC)1022079098 
037 |b 01426427 
050 4 |a TJ163.12  |b .U6745 2012 
082 0 4 |a 621  |2 23 
049 |a UAMI 
100 1 |a Üppel, Sebastian. 
245 1 0 |a Modeling and Partially Coordinated Diagnosis of Asynchronous Discrete-Event Systems. 
260 |a Berlin :  |b Logos Verlag Berlin,  |c 2012. 
300 |a 1 online resource (194 pages) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
588 0 |a Print version record. 
505 0 |a 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. 
505 8 |a 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. 
505 8 |a 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. 
505 8 |a 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. 
505 8 |a 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. 
500 |a 7.2 Solution of the partially coordinated diagnostic problem. 
520 8 |a Annotation  |b 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. 
590 |a ProQuest Ebook Central  |b Ebook Central Academic Complete 
650 0 |a Mechatronics. 
650 6 |a Mécatronique. 
650 7 |a Mechatronics  |2 fast 
776 0 8 |i Print version:  |a Üppel, Sebastian.  |t Modeling and Partially Coordinated Diagnosis of Asynchronous Discrete-Event Systems.  |d Berlin : Logos Verlag Berlin, ©2012  |z 9783832532598 
856 4 0 |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=5223956  |z Texto completo 
936 |a BATCHLOAD 
938 |a EBL - Ebook Library  |b EBLB  |n EBL5223956 
938 |a YBP Library Services  |b YANK  |n 15139088 
994 |a 92  |b IZTAP 

Ejemplares similares