A protocol for Decentralized Synchronous Diagnosis with Coordination

Recently, a new architecture for decentralized diagnosis of Discrete Event Systems, called Decentralized Synchronous Diagnosis, has been proposed in the literature. In this scheme, local diagnosers are computed based on the fault-free behavior of the system components, which, in comparison with the...
Ausführliche Beschreibung

Gespeichert in:

Autor*in:	Mayer, Patricia C. [verfasserIn] Cabral, Felipe G. [verfasserIn] Moreira, Marcos V. [verfasserIn]

Format:	E-Artikel
Sprache:	Englisch

Erschienen:	2023

Schlagwörter:	Synchronous diagnosis Discrete Event Systems Fault diagnosis Automata

Übergeordnetes Werk:	Enthalten in: Control engineering practice - Amsterdam [u.a.] : Elsevier Science, 1993, 141
Übergeordnetes Werk:	volume:141

DOI / URN:	10.1016/j.conengprac.2023.105732

Katalog-ID:	ELV065289307

Internformat


LEADER	01000naa a22002652 4500
001	ELV065289307
003	DE-627
005	20231028093030.0
007	cr uuu---uuuuu
008	231028s2023 xx \|\|\|\|\|o 00\| \|\|eng c
024	7		\|a 10.1016/j.conengprac.2023.105732 \|2 doi
035			\|a (DE-627)ELV065289307
035			\|a (ELSEVIER)S0967-0661(23)00301-5
040			\|a DE-627 \|b ger \|c DE-627 \|e rda
041			\|a eng
082	0	4	\|a 620 \|q VZ
084			\|a 50.23 \|2 bkl
100	1		\|a Mayer, Patricia C. \|e verfasserin \|0 (orcid)0000-0003-3100-0815 \|4 aut
245	1	0	\|a A protocol for Decentralized Synchronous Diagnosis with Coordination
264		1	\|c 2023
336			\|a nicht spezifiziert \|b zzz \|2 rdacontent
337			\|a Computermedien \|b c \|2 rdamedia
338			\|a Online-Ressource \|b cr \|2 rdacarrier
520			\|a Recently, a new architecture for decentralized diagnosis of Discrete Event Systems, called Decentralized Synchronous Diagnosis, has been proposed in the literature. In this scheme, local diagnosers are computed based on the fault-free behavior of the system components, which, in comparison with the classical diagnosis approach, reduces the size of local diagnosers for implementation. Although this method has been successfully implemented, its main drawback is the emergence of an exceeding fault-free language of the system for diagnosis, which reduces the diagnosis efficiency. To circumvent this problem, in this paper, a protocol for Decentralized Synchronous Diagnosis with Coordination (DSDC), which refines the diagnosis status using cluster automata of the local component models, is proposed. The protocol is based on the implementation of local state estimators of the fault-free component models of the system which communicate cluster automata to a coordinator. The indication of the fault occurrence is carried out by the coordinator according to the observed behavior of the system. To do so, communication rules between local state estimators and the coordinator are proposed. The protocol prevents the emergence of an exceeding fault-free language for diagnosis, which guarantees the same diagnosis performance as the traditional monolithic approach. In addition, the implementation of the DSDC in a didactic manufacturing system is presented to illustrate the results.
650		4	\|a Synchronous diagnosis
650		4	\|a Discrete Event Systems
650		4	\|a Fault diagnosis
650		4	\|a Automata
700	1		\|a Cabral, Felipe G. \|e verfasserin \|0 (orcid)0000-0002-1676-9805 \|4 aut
700	1		\|a Moreira, Marcos V. \|e verfasserin \|0 (orcid)0000-0001-5661-2637 \|4 aut
773	0	8	\|i Enthalten in \|t Control engineering practice \|d Amsterdam [u.a.] : Elsevier Science, 1993 \|g 141 \|h Online-Ressource \|w (DE-627)306716119 \|w (DE-600)1501351-0 \|w (DE-576)259271012 \|x 1873-6939 \|7 nnns
773	1	8	\|g volume:141
912			\|a GBV_USEFLAG_U
912			\|a GBV_ELV
912			\|a SYSFLAG_U
912			\|a GBV_ILN_20
912			\|a GBV_ILN_22
912			\|a GBV_ILN_23
912			\|a GBV_ILN_24
912			\|a GBV_ILN_31
912			\|a GBV_ILN_32
912			\|a GBV_ILN_40
912			\|a GBV_ILN_60
912			\|a GBV_ILN_62
912			\|a GBV_ILN_65
912			\|a GBV_ILN_69
912			\|a GBV_ILN_70
912			\|a GBV_ILN_73
912			\|a GBV_ILN_74
912			\|a GBV_ILN_90
912			\|a GBV_ILN_95
912			\|a GBV_ILN_100
912			\|a GBV_ILN_105
912			\|a GBV_ILN_110
912			\|a GBV_ILN_150
912			\|a GBV_ILN_151
912			\|a GBV_ILN_187
912			\|a GBV_ILN_213
912			\|a GBV_ILN_224
912			\|a GBV_ILN_230
912			\|a GBV_ILN_370
912			\|a GBV_ILN_602
912			\|a GBV_ILN_702
912			\|a GBV_ILN_2001
912			\|a GBV_ILN_2003
912			\|a GBV_ILN_2004
912			\|a GBV_ILN_2005
912			\|a GBV_ILN_2007
912			\|a GBV_ILN_2008
912			\|a GBV_ILN_2009
912			\|a GBV_ILN_2010
912			\|a GBV_ILN_2011
912			\|a GBV_ILN_2014
912			\|a GBV_ILN_2015
912			\|a GBV_ILN_2020
912			\|a GBV_ILN_2021
912			\|a GBV_ILN_2025
912			\|a GBV_ILN_2026
912			\|a GBV_ILN_2027
912			\|a GBV_ILN_2034
912			\|a GBV_ILN_2044
912			\|a GBV_ILN_2048
912			\|a GBV_ILN_2049
912			\|a GBV_ILN_2050
912			\|a GBV_ILN_2055
912			\|a GBV_ILN_2056
912			\|a GBV_ILN_2059
912			\|a GBV_ILN_2061
912			\|a GBV_ILN_2064
912			\|a GBV_ILN_2088
912			\|a GBV_ILN_2106
912			\|a GBV_ILN_2110
912			\|a GBV_ILN_2111
912			\|a GBV_ILN_2112
912			\|a GBV_ILN_2122
912			\|a GBV_ILN_2129
912			\|a GBV_ILN_2143
912			\|a GBV_ILN_2152
912			\|a GBV_ILN_2153
912			\|a GBV_ILN_2190
912			\|a GBV_ILN_2232
912			\|a GBV_ILN_2336
912			\|a GBV_ILN_2470
912			\|a GBV_ILN_2507
912			\|a GBV_ILN_4035
912			\|a GBV_ILN_4037
912			\|a GBV_ILN_4112
912			\|a GBV_ILN_4125
912			\|a GBV_ILN_4242
912			\|a GBV_ILN_4249
912			\|a GBV_ILN_4251
912			\|a GBV_ILN_4305
912			\|a GBV_ILN_4306
912			\|a GBV_ILN_4307
912			\|a GBV_ILN_4313
912			\|a GBV_ILN_4322
912			\|a GBV_ILN_4323
912			\|a GBV_ILN_4324
912			\|a GBV_ILN_4325
912			\|a GBV_ILN_4326
912			\|a GBV_ILN_4333
912			\|a GBV_ILN_4334
912			\|a GBV_ILN_4338
912			\|a GBV_ILN_4393
912			\|a GBV_ILN_4700
936	b	k	\|a 50.23 \|j Regelungstechnik \|j Steuerungstechnik \|q VZ
951			\|a AR
952			\|d 141

Indexfelder

author_variant	p c m pc pcm f g c fg fgc m v m mv mvm
matchkey_str	article:18736939:2023----::pooofreetaiesnhoosigoi
hierarchy_sort_str	2023
bklnumber	50.23
publishDate	2023
allfields	10.1016/j.conengprac.2023.105732 doi (DE-627)ELV065289307 (ELSEVIER)S0967-0661(23)00301-5 DE-627 ger DE-627 rda eng 620 VZ 50.23 bkl Mayer, Patricia C. verfasserin (orcid)0000-0003-3100-0815 aut A protocol for Decentralized Synchronous Diagnosis with Coordination 2023 nicht spezifiziert zzz rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Recently, a new architecture for decentralized diagnosis of Discrete Event Systems, called Decentralized Synchronous Diagnosis, has been proposed in the literature. In this scheme, local diagnosers are computed based on the fault-free behavior of the system components, which, in comparison with the classical diagnosis approach, reduces the size of local diagnosers for implementation. Although this method has been successfully implemented, its main drawback is the emergence of an exceeding fault-free language of the system for diagnosis, which reduces the diagnosis efficiency. To circumvent this problem, in this paper, a protocol for Decentralized Synchronous Diagnosis with Coordination (DSDC), which refines the diagnosis status using cluster automata of the local component models, is proposed. The protocol is based on the implementation of local state estimators of the fault-free component models of the system which communicate cluster automata to a coordinator. The indication of the fault occurrence is carried out by the coordinator according to the observed behavior of the system. To do so, communication rules between local state estimators and the coordinator are proposed. The protocol prevents the emergence of an exceeding fault-free language for diagnosis, which guarantees the same diagnosis performance as the traditional monolithic approach. In addition, the implementation of the DSDC in a didactic manufacturing system is presented to illustrate the results. Synchronous diagnosis Discrete Event Systems Fault diagnosis Automata Cabral, Felipe G. verfasserin (orcid)0000-0002-1676-9805 aut Moreira, Marcos V. verfasserin (orcid)0000-0001-5661-2637 aut Enthalten in Control engineering practice Amsterdam [u.a.] : Elsevier Science, 1993 141 Online-Ressource (DE-627)306716119 (DE-600)1501351-0 (DE-576)259271012 1873-6939 nnns volume:141 GBV_USEFLAG_U GBV_ELV SYSFLAG_U GBV_ILN_20 GBV_ILN_22 GBV_ILN_23 GBV_ILN_24 GBV_ILN_31 GBV_ILN_32 GBV_ILN_40 GBV_ILN_60 GBV_ILN_62 GBV_ILN_65 GBV_ILN_69 GBV_ILN_70 GBV_ILN_73 GBV_ILN_74 GBV_ILN_90 GBV_ILN_95 GBV_ILN_100 GBV_ILN_105 GBV_ILN_110 GBV_ILN_150 GBV_ILN_151 GBV_ILN_187 GBV_ILN_213 GBV_ILN_224 GBV_ILN_230 GBV_ILN_370 GBV_ILN_602 GBV_ILN_702 GBV_ILN_2001 GBV_ILN_2003 GBV_ILN_2004 GBV_ILN_2005 GBV_ILN_2007 GBV_ILN_2008 GBV_ILN_2009 GBV_ILN_2010 GBV_ILN_2011 GBV_ILN_2014 GBV_ILN_2015 GBV_ILN_2020 GBV_ILN_2021 GBV_ILN_2025 GBV_ILN_2026 GBV_ILN_2027 GBV_ILN_2034 GBV_ILN_2044 GBV_ILN_2048 GBV_ILN_2049 GBV_ILN_2050 GBV_ILN_2055 GBV_ILN_2056 GBV_ILN_2059 GBV_ILN_2061 GBV_ILN_2064 GBV_ILN_2088 GBV_ILN_2106 GBV_ILN_2110 GBV_ILN_2111 GBV_ILN_2112 GBV_ILN_2122 GBV_ILN_2129 GBV_ILN_2143 GBV_ILN_2152 GBV_ILN_2153 GBV_ILN_2190 GBV_ILN_2232 GBV_ILN_2336 GBV_ILN_2470 GBV_ILN_2507 GBV_ILN_4035 GBV_ILN_4037 GBV_ILN_4112 GBV_ILN_4125 GBV_ILN_4242 GBV_ILN_4249 GBV_ILN_4251 GBV_ILN_4305 GBV_ILN_4306 GBV_ILN_4307 GBV_ILN_4313 GBV_ILN_4322 GBV_ILN_4323 GBV_ILN_4324 GBV_ILN_4325 GBV_ILN_4326 GBV_ILN_4333 GBV_ILN_4334 GBV_ILN_4338 GBV_ILN_4393 GBV_ILN_4700 50.23 Regelungstechnik Steuerungstechnik VZ AR 141
spelling	10.1016/j.conengprac.2023.105732 doi (DE-627)ELV065289307 (ELSEVIER)S0967-0661(23)00301-5 DE-627 ger DE-627 rda eng 620 VZ 50.23 bkl Mayer, Patricia C. verfasserin (orcid)0000-0003-3100-0815 aut A protocol for Decentralized Synchronous Diagnosis with Coordination 2023 nicht spezifiziert zzz rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Recently, a new architecture for decentralized diagnosis of Discrete Event Systems, called Decentralized Synchronous Diagnosis, has been proposed in the literature. In this scheme, local diagnosers are computed based on the fault-free behavior of the system components, which, in comparison with the classical diagnosis approach, reduces the size of local diagnosers for implementation. Although this method has been successfully implemented, its main drawback is the emergence of an exceeding fault-free language of the system for diagnosis, which reduces the diagnosis efficiency. To circumvent this problem, in this paper, a protocol for Decentralized Synchronous Diagnosis with Coordination (DSDC), which refines the diagnosis status using cluster automata of the local component models, is proposed. The protocol is based on the implementation of local state estimators of the fault-free component models of the system which communicate cluster automata to a coordinator. The indication of the fault occurrence is carried out by the coordinator according to the observed behavior of the system. To do so, communication rules between local state estimators and the coordinator are proposed. The protocol prevents the emergence of an exceeding fault-free language for diagnosis, which guarantees the same diagnosis performance as the traditional monolithic approach. In addition, the implementation of the DSDC in a didactic manufacturing system is presented to illustrate the results. Synchronous diagnosis Discrete Event Systems Fault diagnosis Automata Cabral, Felipe G. verfasserin (orcid)0000-0002-1676-9805 aut Moreira, Marcos V. verfasserin (orcid)0000-0001-5661-2637 aut Enthalten in Control engineering practice Amsterdam [u.a.] : Elsevier Science, 1993 141 Online-Ressource (DE-627)306716119 (DE-600)1501351-0 (DE-576)259271012 1873-6939 nnns volume:141 GBV_USEFLAG_U GBV_ELV SYSFLAG_U GBV_ILN_20 GBV_ILN_22 GBV_ILN_23 GBV_ILN_24 GBV_ILN_31 GBV_ILN_32 GBV_ILN_40 GBV_ILN_60 GBV_ILN_62 GBV_ILN_65 GBV_ILN_69 GBV_ILN_70 GBV_ILN_73 GBV_ILN_74 GBV_ILN_90 GBV_ILN_95 GBV_ILN_100 GBV_ILN_105 GBV_ILN_110 GBV_ILN_150 GBV_ILN_151 GBV_ILN_187 GBV_ILN_213 GBV_ILN_224 GBV_ILN_230 GBV_ILN_370 GBV_ILN_602 GBV_ILN_702 GBV_ILN_2001 GBV_ILN_2003 GBV_ILN_2004 GBV_ILN_2005 GBV_ILN_2007 GBV_ILN_2008 GBV_ILN_2009 GBV_ILN_2010 GBV_ILN_2011 GBV_ILN_2014 GBV_ILN_2015 GBV_ILN_2020 GBV_ILN_2021 GBV_ILN_2025 GBV_ILN_2026 GBV_ILN_2027 GBV_ILN_2034 GBV_ILN_2044 GBV_ILN_2048 GBV_ILN_2049 GBV_ILN_2050 GBV_ILN_2055 GBV_ILN_2056 GBV_ILN_2059 GBV_ILN_2061 GBV_ILN_2064 GBV_ILN_2088 GBV_ILN_2106 GBV_ILN_2110 GBV_ILN_2111 GBV_ILN_2112 GBV_ILN_2122 GBV_ILN_2129 GBV_ILN_2143 GBV_ILN_2152 GBV_ILN_2153 GBV_ILN_2190 GBV_ILN_2232 GBV_ILN_2336 GBV_ILN_2470 GBV_ILN_2507 GBV_ILN_4035 GBV_ILN_4037 GBV_ILN_4112 GBV_ILN_4125 GBV_ILN_4242 GBV_ILN_4249 GBV_ILN_4251 GBV_ILN_4305 GBV_ILN_4306 GBV_ILN_4307 GBV_ILN_4313 GBV_ILN_4322 GBV_ILN_4323 GBV_ILN_4324 GBV_ILN_4325 GBV_ILN_4326 GBV_ILN_4333 GBV_ILN_4334 GBV_ILN_4338 GBV_ILN_4393 GBV_ILN_4700 50.23 Regelungstechnik Steuerungstechnik VZ AR 141
allfields_unstemmed	10.1016/j.conengprac.2023.105732 doi (DE-627)ELV065289307 (ELSEVIER)S0967-0661(23)00301-5 DE-627 ger DE-627 rda eng 620 VZ 50.23 bkl Mayer, Patricia C. verfasserin (orcid)0000-0003-3100-0815 aut A protocol for Decentralized Synchronous Diagnosis with Coordination 2023 nicht spezifiziert zzz rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Recently, a new architecture for decentralized diagnosis of Discrete Event Systems, called Decentralized Synchronous Diagnosis, has been proposed in the literature. In this scheme, local diagnosers are computed based on the fault-free behavior of the system components, which, in comparison with the classical diagnosis approach, reduces the size of local diagnosers for implementation. Although this method has been successfully implemented, its main drawback is the emergence of an exceeding fault-free language of the system for diagnosis, which reduces the diagnosis efficiency. To circumvent this problem, in this paper, a protocol for Decentralized Synchronous Diagnosis with Coordination (DSDC), which refines the diagnosis status using cluster automata of the local component models, is proposed. The protocol is based on the implementation of local state estimators of the fault-free component models of the system which communicate cluster automata to a coordinator. The indication of the fault occurrence is carried out by the coordinator according to the observed behavior of the system. To do so, communication rules between local state estimators and the coordinator are proposed. The protocol prevents the emergence of an exceeding fault-free language for diagnosis, which guarantees the same diagnosis performance as the traditional monolithic approach. In addition, the implementation of the DSDC in a didactic manufacturing system is presented to illustrate the results. Synchronous diagnosis Discrete Event Systems Fault diagnosis Automata Cabral, Felipe G. verfasserin (orcid)0000-0002-1676-9805 aut Moreira, Marcos V. verfasserin (orcid)0000-0001-5661-2637 aut Enthalten in Control engineering practice Amsterdam [u.a.] : Elsevier Science, 1993 141 Online-Ressource (DE-627)306716119 (DE-600)1501351-0 (DE-576)259271012 1873-6939 nnns volume:141 GBV_USEFLAG_U GBV_ELV SYSFLAG_U GBV_ILN_20 GBV_ILN_22 GBV_ILN_23 GBV_ILN_24 GBV_ILN_31 GBV_ILN_32 GBV_ILN_40 GBV_ILN_60 GBV_ILN_62 GBV_ILN_65 GBV_ILN_69 GBV_ILN_70 GBV_ILN_73 GBV_ILN_74 GBV_ILN_90 GBV_ILN_95 GBV_ILN_100 GBV_ILN_105 GBV_ILN_110 GBV_ILN_150 GBV_ILN_151 GBV_ILN_187 GBV_ILN_213 GBV_ILN_224 GBV_ILN_230 GBV_ILN_370 GBV_ILN_602 GBV_ILN_702 GBV_ILN_2001 GBV_ILN_2003 GBV_ILN_2004 GBV_ILN_2005 GBV_ILN_2007 GBV_ILN_2008 GBV_ILN_2009 GBV_ILN_2010 GBV_ILN_2011 GBV_ILN_2014 GBV_ILN_2015 GBV_ILN_2020 GBV_ILN_2021 GBV_ILN_2025 GBV_ILN_2026 GBV_ILN_2027 GBV_ILN_2034 GBV_ILN_2044 GBV_ILN_2048 GBV_ILN_2049 GBV_ILN_2050 GBV_ILN_2055 GBV_ILN_2056 GBV_ILN_2059 GBV_ILN_2061 GBV_ILN_2064 GBV_ILN_2088 GBV_ILN_2106 GBV_ILN_2110 GBV_ILN_2111 GBV_ILN_2112 GBV_ILN_2122 GBV_ILN_2129 GBV_ILN_2143 GBV_ILN_2152 GBV_ILN_2153 GBV_ILN_2190 GBV_ILN_2232 GBV_ILN_2336 GBV_ILN_2470 GBV_ILN_2507 GBV_ILN_4035 GBV_ILN_4037 GBV_ILN_4112 GBV_ILN_4125 GBV_ILN_4242 GBV_ILN_4249 GBV_ILN_4251 GBV_ILN_4305 GBV_ILN_4306 GBV_ILN_4307 GBV_ILN_4313 GBV_ILN_4322 GBV_ILN_4323 GBV_ILN_4324 GBV_ILN_4325 GBV_ILN_4326 GBV_ILN_4333 GBV_ILN_4334 GBV_ILN_4338 GBV_ILN_4393 GBV_ILN_4700 50.23 Regelungstechnik Steuerungstechnik VZ AR 141
allfieldsGer	10.1016/j.conengprac.2023.105732 doi (DE-627)ELV065289307 (ELSEVIER)S0967-0661(23)00301-5 DE-627 ger DE-627 rda eng 620 VZ 50.23 bkl Mayer, Patricia C. verfasserin (orcid)0000-0003-3100-0815 aut A protocol for Decentralized Synchronous Diagnosis with Coordination 2023 nicht spezifiziert zzz rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Recently, a new architecture for decentralized diagnosis of Discrete Event Systems, called Decentralized Synchronous Diagnosis, has been proposed in the literature. In this scheme, local diagnosers are computed based on the fault-free behavior of the system components, which, in comparison with the classical diagnosis approach, reduces the size of local diagnosers for implementation. Although this method has been successfully implemented, its main drawback is the emergence of an exceeding fault-free language of the system for diagnosis, which reduces the diagnosis efficiency. To circumvent this problem, in this paper, a protocol for Decentralized Synchronous Diagnosis with Coordination (DSDC), which refines the diagnosis status using cluster automata of the local component models, is proposed. The protocol is based on the implementation of local state estimators of the fault-free component models of the system which communicate cluster automata to a coordinator. The indication of the fault occurrence is carried out by the coordinator according to the observed behavior of the system. To do so, communication rules between local state estimators and the coordinator are proposed. The protocol prevents the emergence of an exceeding fault-free language for diagnosis, which guarantees the same diagnosis performance as the traditional monolithic approach. In addition, the implementation of the DSDC in a didactic manufacturing system is presented to illustrate the results. Synchronous diagnosis Discrete Event Systems Fault diagnosis Automata Cabral, Felipe G. verfasserin (orcid)0000-0002-1676-9805 aut Moreira, Marcos V. verfasserin (orcid)0000-0001-5661-2637 aut Enthalten in Control engineering practice Amsterdam [u.a.] : Elsevier Science, 1993 141 Online-Ressource (DE-627)306716119 (DE-600)1501351-0 (DE-576)259271012 1873-6939 nnns volume:141 GBV_USEFLAG_U GBV_ELV SYSFLAG_U GBV_ILN_20 GBV_ILN_22 GBV_ILN_23 GBV_ILN_24 GBV_ILN_31 GBV_ILN_32 GBV_ILN_40 GBV_ILN_60 GBV_ILN_62 GBV_ILN_65 GBV_ILN_69 GBV_ILN_70 GBV_ILN_73 GBV_ILN_74 GBV_ILN_90 GBV_ILN_95 GBV_ILN_100 GBV_ILN_105 GBV_ILN_110 GBV_ILN_150 GBV_ILN_151 GBV_ILN_187 GBV_ILN_213 GBV_ILN_224 GBV_ILN_230 GBV_ILN_370 GBV_ILN_602 GBV_ILN_702 GBV_ILN_2001 GBV_ILN_2003 GBV_ILN_2004 GBV_ILN_2005 GBV_ILN_2007 GBV_ILN_2008 GBV_ILN_2009 GBV_ILN_2010 GBV_ILN_2011 GBV_ILN_2014 GBV_ILN_2015 GBV_ILN_2020 GBV_ILN_2021 GBV_ILN_2025 GBV_ILN_2026 GBV_ILN_2027 GBV_ILN_2034 GBV_ILN_2044 GBV_ILN_2048 GBV_ILN_2049 GBV_ILN_2050 GBV_ILN_2055 GBV_ILN_2056 GBV_ILN_2059 GBV_ILN_2061 GBV_ILN_2064 GBV_ILN_2088 GBV_ILN_2106 GBV_ILN_2110 GBV_ILN_2111 GBV_ILN_2112 GBV_ILN_2122 GBV_ILN_2129 GBV_ILN_2143 GBV_ILN_2152 GBV_ILN_2153 GBV_ILN_2190 GBV_ILN_2232 GBV_ILN_2336 GBV_ILN_2470 GBV_ILN_2507 GBV_ILN_4035 GBV_ILN_4037 GBV_ILN_4112 GBV_ILN_4125 GBV_ILN_4242 GBV_ILN_4249 GBV_ILN_4251 GBV_ILN_4305 GBV_ILN_4306 GBV_ILN_4307 GBV_ILN_4313 GBV_ILN_4322 GBV_ILN_4323 GBV_ILN_4324 GBV_ILN_4325 GBV_ILN_4326 GBV_ILN_4333 GBV_ILN_4334 GBV_ILN_4338 GBV_ILN_4393 GBV_ILN_4700 50.23 Regelungstechnik Steuerungstechnik VZ AR 141
allfieldsSound	10.1016/j.conengprac.2023.105732 doi (DE-627)ELV065289307 (ELSEVIER)S0967-0661(23)00301-5 DE-627 ger DE-627 rda eng 620 VZ 50.23 bkl Mayer, Patricia C. verfasserin (orcid)0000-0003-3100-0815 aut A protocol for Decentralized Synchronous Diagnosis with Coordination 2023 nicht spezifiziert zzz rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Recently, a new architecture for decentralized diagnosis of Discrete Event Systems, called Decentralized Synchronous Diagnosis, has been proposed in the literature. In this scheme, local diagnosers are computed based on the fault-free behavior of the system components, which, in comparison with the classical diagnosis approach, reduces the size of local diagnosers for implementation. Although this method has been successfully implemented, its main drawback is the emergence of an exceeding fault-free language of the system for diagnosis, which reduces the diagnosis efficiency. To circumvent this problem, in this paper, a protocol for Decentralized Synchronous Diagnosis with Coordination (DSDC), which refines the diagnosis status using cluster automata of the local component models, is proposed. The protocol is based on the implementation of local state estimators of the fault-free component models of the system which communicate cluster automata to a coordinator. The indication of the fault occurrence is carried out by the coordinator according to the observed behavior of the system. To do so, communication rules between local state estimators and the coordinator are proposed. The protocol prevents the emergence of an exceeding fault-free language for diagnosis, which guarantees the same diagnosis performance as the traditional monolithic approach. In addition, the implementation of the DSDC in a didactic manufacturing system is presented to illustrate the results. Synchronous diagnosis Discrete Event Systems Fault diagnosis Automata Cabral, Felipe G. verfasserin (orcid)0000-0002-1676-9805 aut Moreira, Marcos V. verfasserin (orcid)0000-0001-5661-2637 aut Enthalten in Control engineering practice Amsterdam [u.a.] : Elsevier Science, 1993 141 Online-Ressource (DE-627)306716119 (DE-600)1501351-0 (DE-576)259271012 1873-6939 nnns volume:141 GBV_USEFLAG_U GBV_ELV SYSFLAG_U GBV_ILN_20 GBV_ILN_22 GBV_ILN_23 GBV_ILN_24 GBV_ILN_31 GBV_ILN_32 GBV_ILN_40 GBV_ILN_60 GBV_ILN_62 GBV_ILN_65 GBV_ILN_69 GBV_ILN_70 GBV_ILN_73 GBV_ILN_74 GBV_ILN_90 GBV_ILN_95 GBV_ILN_100 GBV_ILN_105 GBV_ILN_110 GBV_ILN_150 GBV_ILN_151 GBV_ILN_187 GBV_ILN_213 GBV_ILN_224 GBV_ILN_230 GBV_ILN_370 GBV_ILN_602 GBV_ILN_702 GBV_ILN_2001 GBV_ILN_2003 GBV_ILN_2004 GBV_ILN_2005 GBV_ILN_2007 GBV_ILN_2008 GBV_ILN_2009 GBV_ILN_2010 GBV_ILN_2011 GBV_ILN_2014 GBV_ILN_2015 GBV_ILN_2020 GBV_ILN_2021 GBV_ILN_2025 GBV_ILN_2026 GBV_ILN_2027 GBV_ILN_2034 GBV_ILN_2044 GBV_ILN_2048 GBV_ILN_2049 GBV_ILN_2050 GBV_ILN_2055 GBV_ILN_2056 GBV_ILN_2059 GBV_ILN_2061 GBV_ILN_2064 GBV_ILN_2088 GBV_ILN_2106 GBV_ILN_2110 GBV_ILN_2111 GBV_ILN_2112 GBV_ILN_2122 GBV_ILN_2129 GBV_ILN_2143 GBV_ILN_2152 GBV_ILN_2153 GBV_ILN_2190 GBV_ILN_2232 GBV_ILN_2336 GBV_ILN_2470 GBV_ILN_2507 GBV_ILN_4035 GBV_ILN_4037 GBV_ILN_4112 GBV_ILN_4125 GBV_ILN_4242 GBV_ILN_4249 GBV_ILN_4251 GBV_ILN_4305 GBV_ILN_4306 GBV_ILN_4307 GBV_ILN_4313 GBV_ILN_4322 GBV_ILN_4323 GBV_ILN_4324 GBV_ILN_4325 GBV_ILN_4326 GBV_ILN_4333 GBV_ILN_4334 GBV_ILN_4338 GBV_ILN_4393 GBV_ILN_4700 50.23 Regelungstechnik Steuerungstechnik VZ AR 141
language	English
source	Enthalten in Control engineering practice 141 volume:141
sourceStr	Enthalten in Control engineering practice 141 volume:141
format_phy_str_mv	Article
bklname	Regelungstechnik Steuerungstechnik
institution	findex.gbv.de
topic_facet	Synchronous diagnosis Discrete Event Systems Fault diagnosis Automata
dewey-raw	620
isfreeaccess_bool	false
container_title	Control engineering practice
authorswithroles_txt_mv	Mayer, Patricia C. @@aut@@ Cabral, Felipe G. @@aut@@ Moreira, Marcos V. @@aut@@
publishDateDaySort_date	2023-01-01T00:00:00Z
hierarchy_top_id	306716119
dewey-sort	3620
id	ELV065289307
language_de	englisch
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000naa a22002652 4500</leader><controlfield tag="001">ELV065289307</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20231028093030.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">231028s2023 xx \|\|\|\|\|o 00\| \|\|eng c</controlfield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1016/j.conengprac.2023.105732</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)ELV065289307</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ELSEVIER)S0967-0661(23)00301-5</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">620</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">50.23</subfield><subfield code="2">bkl</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Mayer, Patricia C.</subfield><subfield code="e">verfasserin</subfield><subfield code="0">(orcid)0000-0003-3100-0815</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A protocol for Decentralized Synchronous Diagnosis with Coordination</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2023</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">nicht spezifiziert</subfield><subfield code="b">zzz</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">Computermedien</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Online-Ressource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Recently, a new architecture for decentralized diagnosis of Discrete Event Systems, called Decentralized Synchronous Diagnosis, has been proposed in the literature. In this scheme, local diagnosers are computed based on the fault-free behavior of the system components, which, in comparison with the classical diagnosis approach, reduces the size of local diagnosers for implementation. Although this method has been successfully implemented, its main drawback is the emergence of an exceeding fault-free language of the system for diagnosis, which reduces the diagnosis efficiency. To circumvent this problem, in this paper, a protocol for Decentralized Synchronous Diagnosis with Coordination (DSDC), which refines the diagnosis status using cluster automata of the local component models, is proposed. The protocol is based on the implementation of local state estimators of the fault-free component models of the system which communicate cluster automata to a coordinator. The indication of the fault occurrence is carried out by the coordinator according to the observed behavior of the system. To do so, communication rules between local state estimators and the coordinator are proposed. The protocol prevents the emergence of an exceeding fault-free language for diagnosis, which guarantees the same diagnosis performance as the traditional monolithic approach. In addition, the implementation of the DSDC in a didactic manufacturing system is presented to illustrate the results.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Synchronous diagnosis</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Discrete Event Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Fault diagnosis</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automata</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Cabral, Felipe G.</subfield><subfield code="e">verfasserin</subfield><subfield code="0">(orcid)0000-0002-1676-9805</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Moreira, Marcos V.</subfield><subfield code="e">verfasserin</subfield><subfield code="0">(orcid)0000-0001-5661-2637</subfield><subfield code="4">aut</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">Control engineering practice</subfield><subfield code="d">Amsterdam [u.a.] : Elsevier Science, 1993</subfield><subfield code="g">141</subfield><subfield code="h">Online-Ressource</subfield><subfield code="w">(DE-627)306716119</subfield><subfield code="w">(DE-600)1501351-0</subfield><subfield code="w">(DE-576)259271012</subfield><subfield code="x">1873-6939</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:141</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_U</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ELV</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_U</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_20</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_22</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_23</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_24</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_31</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_32</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_40</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_60</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_62</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_65</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_69</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_70</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_73</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_74</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_90</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_95</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_100</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_105</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_110</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_150</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_151</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_187</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_213</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_224</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_230</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_370</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_602</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_702</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2001</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2003</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2004</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2005</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2007</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2008</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2009</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2010</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2011</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2014</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2015</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2020</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2021</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2025</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2026</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2027</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2034</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2044</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2048</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2049</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2050</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2055</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2056</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2059</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2061</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2064</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2088</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2106</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2110</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2111</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2112</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2122</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2129</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2143</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2152</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2153</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2190</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2232</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2336</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2470</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2507</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4035</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4037</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4112</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4125</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4242</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4249</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4251</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4305</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4306</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4307</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4313</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4322</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4323</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4324</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4325</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4326</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4333</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4334</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4338</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4393</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4700</subfield></datafield><datafield tag="936" ind1="b" ind2="k"><subfield code="a">50.23</subfield><subfield code="j">Regelungstechnik</subfield><subfield code="j">Steuerungstechnik</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">141</subfield></datafield></record></collection>
author	Mayer, Patricia C.
spellingShingle	Mayer, Patricia C. ddc 620 bkl 50.23 misc Synchronous diagnosis misc Discrete Event Systems misc Fault diagnosis misc Automata A protocol for Decentralized Synchronous Diagnosis with Coordination
authorStr	Mayer, Patricia C.
ppnlink_with_tag_str_mv	@@773@@(DE-627)306716119
format	electronic Article
dewey-ones	620 - Engineering & allied operations
delete_txt_mv	keep
author_role	aut aut aut
collection	elsevier
remote_str	true
illustrated	Not Illustrated
issn	1873-6939
topic_title	620 VZ 50.23 bkl A protocol for Decentralized Synchronous Diagnosis with Coordination Synchronous diagnosis Discrete Event Systems Fault diagnosis Automata
topic	ddc 620 bkl 50.23 misc Synchronous diagnosis misc Discrete Event Systems misc Fault diagnosis misc Automata
topic_unstemmed	ddc 620 bkl 50.23 misc Synchronous diagnosis misc Discrete Event Systems misc Fault diagnosis misc Automata
topic_browse	ddc 620 bkl 50.23 misc Synchronous diagnosis misc Discrete Event Systems misc Fault diagnosis misc Automata
format_facet	Elektronische Aufsätze Aufsätze Elektronische Ressource
format_main_str_mv	Text Zeitschrift/Artikel
carriertype_str_mv	cr
hierarchy_parent_title	Control engineering practice
hierarchy_parent_id	306716119
dewey-tens	620 - Engineering
hierarchy_top_title	Control engineering practice
isfreeaccess_txt	false
familylinks_str_mv	(DE-627)306716119 (DE-600)1501351-0 (DE-576)259271012
title	A protocol for Decentralized Synchronous Diagnosis with Coordination
ctrlnum	(DE-627)ELV065289307 (ELSEVIER)S0967-0661(23)00301-5
title_full	A protocol for Decentralized Synchronous Diagnosis with Coordination
author_sort	Mayer, Patricia C.
journal	Control engineering practice
journalStr	Control engineering practice
lang_code	eng
isOA_bool	false
dewey-hundreds	600 - Technology
recordtype	marc
publishDateSort	2023
contenttype_str_mv	zzz
author_browse	Mayer, Patricia C. Cabral, Felipe G. Moreira, Marcos V.
container_volume	141
class	620 VZ 50.23 bkl
format_se	Elektronische Aufsätze
author-letter	Mayer, Patricia C.
doi_str_mv	10.1016/j.conengprac.2023.105732
normlink	(ORCID)0000-0003-3100-0815 (ORCID)0000-0002-1676-9805 (ORCID)0000-0001-5661-2637
normlink_prefix_str_mv	(orcid)0000-0003-3100-0815 (orcid)0000-0002-1676-9805 (orcid)0000-0001-5661-2637
dewey-full	620
author2-role	verfasserin
title_sort	a protocol for decentralized synchronous diagnosis with coordination
title_auth	A protocol for Decentralized Synchronous Diagnosis with Coordination
abstract	Recently, a new architecture for decentralized diagnosis of Discrete Event Systems, called Decentralized Synchronous Diagnosis, has been proposed in the literature. In this scheme, local diagnosers are computed based on the fault-free behavior of the system components, which, in comparison with the classical diagnosis approach, reduces the size of local diagnosers for implementation. Although this method has been successfully implemented, its main drawback is the emergence of an exceeding fault-free language of the system for diagnosis, which reduces the diagnosis efficiency. To circumvent this problem, in this paper, a protocol for Decentralized Synchronous Diagnosis with Coordination (DSDC), which refines the diagnosis status using cluster automata of the local component models, is proposed. The protocol is based on the implementation of local state estimators of the fault-free component models of the system which communicate cluster automata to a coordinator. The indication of the fault occurrence is carried out by the coordinator according to the observed behavior of the system. To do so, communication rules between local state estimators and the coordinator are proposed. The protocol prevents the emergence of an exceeding fault-free language for diagnosis, which guarantees the same diagnosis performance as the traditional monolithic approach. In addition, the implementation of the DSDC in a didactic manufacturing system is presented to illustrate the results.
abstractGer	Recently, a new architecture for decentralized diagnosis of Discrete Event Systems, called Decentralized Synchronous Diagnosis, has been proposed in the literature. In this scheme, local diagnosers are computed based on the fault-free behavior of the system components, which, in comparison with the classical diagnosis approach, reduces the size of local diagnosers for implementation. Although this method has been successfully implemented, its main drawback is the emergence of an exceeding fault-free language of the system for diagnosis, which reduces the diagnosis efficiency. To circumvent this problem, in this paper, a protocol for Decentralized Synchronous Diagnosis with Coordination (DSDC), which refines the diagnosis status using cluster automata of the local component models, is proposed. The protocol is based on the implementation of local state estimators of the fault-free component models of the system which communicate cluster automata to a coordinator. The indication of the fault occurrence is carried out by the coordinator according to the observed behavior of the system. To do so, communication rules between local state estimators and the coordinator are proposed. The protocol prevents the emergence of an exceeding fault-free language for diagnosis, which guarantees the same diagnosis performance as the traditional monolithic approach. In addition, the implementation of the DSDC in a didactic manufacturing system is presented to illustrate the results.
abstract_unstemmed	Recently, a new architecture for decentralized diagnosis of Discrete Event Systems, called Decentralized Synchronous Diagnosis, has been proposed in the literature. In this scheme, local diagnosers are computed based on the fault-free behavior of the system components, which, in comparison with the classical diagnosis approach, reduces the size of local diagnosers for implementation. Although this method has been successfully implemented, its main drawback is the emergence of an exceeding fault-free language of the system for diagnosis, which reduces the diagnosis efficiency. To circumvent this problem, in this paper, a protocol for Decentralized Synchronous Diagnosis with Coordination (DSDC), which refines the diagnosis status using cluster automata of the local component models, is proposed. The protocol is based on the implementation of local state estimators of the fault-free component models of the system which communicate cluster automata to a coordinator. The indication of the fault occurrence is carried out by the coordinator according to the observed behavior of the system. To do so, communication rules between local state estimators and the coordinator are proposed. The protocol prevents the emergence of an exceeding fault-free language for diagnosis, which guarantees the same diagnosis performance as the traditional monolithic approach. In addition, the implementation of the DSDC in a didactic manufacturing system is presented to illustrate the results.
collection_details	GBV_USEFLAG_U GBV_ELV SYSFLAG_U GBV_ILN_20 GBV_ILN_22 GBV_ILN_23 GBV_ILN_24 GBV_ILN_31 GBV_ILN_32 GBV_ILN_40 GBV_ILN_60 GBV_ILN_62 GBV_ILN_65 GBV_ILN_69 GBV_ILN_70 GBV_ILN_73 GBV_ILN_74 GBV_ILN_90 GBV_ILN_95 GBV_ILN_100 GBV_ILN_105 GBV_ILN_110 GBV_ILN_150 GBV_ILN_151 GBV_ILN_187 GBV_ILN_213 GBV_ILN_224 GBV_ILN_230 GBV_ILN_370 GBV_ILN_602 GBV_ILN_702 GBV_ILN_2001 GBV_ILN_2003 GBV_ILN_2004 GBV_ILN_2005 GBV_ILN_2007 GBV_ILN_2008 GBV_ILN_2009 GBV_ILN_2010 GBV_ILN_2011 GBV_ILN_2014 GBV_ILN_2015 GBV_ILN_2020 GBV_ILN_2021 GBV_ILN_2025 GBV_ILN_2026 GBV_ILN_2027 GBV_ILN_2034 GBV_ILN_2044 GBV_ILN_2048 GBV_ILN_2049 GBV_ILN_2050 GBV_ILN_2055 GBV_ILN_2056 GBV_ILN_2059 GBV_ILN_2061 GBV_ILN_2064 GBV_ILN_2088 GBV_ILN_2106 GBV_ILN_2110 GBV_ILN_2111 GBV_ILN_2112 GBV_ILN_2122 GBV_ILN_2129 GBV_ILN_2143 GBV_ILN_2152 GBV_ILN_2153 GBV_ILN_2190 GBV_ILN_2232 GBV_ILN_2336 GBV_ILN_2470 GBV_ILN_2507 GBV_ILN_4035 GBV_ILN_4037 GBV_ILN_4112 GBV_ILN_4125 GBV_ILN_4242 GBV_ILN_4249 GBV_ILN_4251 GBV_ILN_4305 GBV_ILN_4306 GBV_ILN_4307 GBV_ILN_4313 GBV_ILN_4322 GBV_ILN_4323 GBV_ILN_4324 GBV_ILN_4325 GBV_ILN_4326 GBV_ILN_4333 GBV_ILN_4334 GBV_ILN_4338 GBV_ILN_4393 GBV_ILN_4700
title_short	A protocol for Decentralized Synchronous Diagnosis with Coordination
remote_bool	true
author2	Cabral, Felipe G. Moreira, Marcos V.
author2Str	Cabral, Felipe G. Moreira, Marcos V.
ppnlink	306716119
mediatype_str_mv	c
isOA_txt	false
hochschulschrift_bool	false
doi_str	10.1016/j.conengprac.2023.105732
up_date	2024-07-06T22:30:36.048Z
_version_	1803870573482213376
fullrecord_marcxml	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000naa a22002652 4500</leader><controlfield tag="001">ELV065289307</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20231028093030.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">231028s2023 xx \|\|\|\|\|o 00\| \|\|eng c</controlfield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1016/j.conengprac.2023.105732</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)ELV065289307</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ELSEVIER)S0967-0661(23)00301-5</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">620</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">50.23</subfield><subfield code="2">bkl</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Mayer, Patricia C.</subfield><subfield code="e">verfasserin</subfield><subfield code="0">(orcid)0000-0003-3100-0815</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A protocol for Decentralized Synchronous Diagnosis with Coordination</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2023</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">nicht spezifiziert</subfield><subfield code="b">zzz</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">Computermedien</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Online-Ressource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Recently, a new architecture for decentralized diagnosis of Discrete Event Systems, called Decentralized Synchronous Diagnosis, has been proposed in the literature. In this scheme, local diagnosers are computed based on the fault-free behavior of the system components, which, in comparison with the classical diagnosis approach, reduces the size of local diagnosers for implementation. Although this method has been successfully implemented, its main drawback is the emergence of an exceeding fault-free language of the system for diagnosis, which reduces the diagnosis efficiency. To circumvent this problem, in this paper, a protocol for Decentralized Synchronous Diagnosis with Coordination (DSDC), which refines the diagnosis status using cluster automata of the local component models, is proposed. The protocol is based on the implementation of local state estimators of the fault-free component models of the system which communicate cluster automata to a coordinator. The indication of the fault occurrence is carried out by the coordinator according to the observed behavior of the system. To do so, communication rules between local state estimators and the coordinator are proposed. The protocol prevents the emergence of an exceeding fault-free language for diagnosis, which guarantees the same diagnosis performance as the traditional monolithic approach. In addition, the implementation of the DSDC in a didactic manufacturing system is presented to illustrate the results.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Synchronous diagnosis</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Discrete Event Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Fault diagnosis</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automata</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Cabral, Felipe G.</subfield><subfield code="e">verfasserin</subfield><subfield code="0">(orcid)0000-0002-1676-9805</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Moreira, Marcos V.</subfield><subfield code="e">verfasserin</subfield><subfield code="0">(orcid)0000-0001-5661-2637</subfield><subfield code="4">aut</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">Control engineering practice</subfield><subfield code="d">Amsterdam [u.a.] : Elsevier Science, 1993</subfield><subfield code="g">141</subfield><subfield code="h">Online-Ressource</subfield><subfield code="w">(DE-627)306716119</subfield><subfield code="w">(DE-600)1501351-0</subfield><subfield code="w">(DE-576)259271012</subfield><subfield code="x">1873-6939</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:141</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_U</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ELV</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_U</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_20</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_22</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_23</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_24</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_31</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_32</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_40</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_60</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_62</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_65</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_69</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_70</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_73</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_74</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_90</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_95</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_100</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_105</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_110</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_150</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_151</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_187</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_213</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_224</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_230</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_370</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_602</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_702</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2001</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2003</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2004</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2005</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2007</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2008</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2009</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2010</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2011</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2014</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2015</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2020</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2021</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2025</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2026</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2027</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2034</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2044</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2048</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2049</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2050</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2055</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2056</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2059</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2061</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2064</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2088</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2106</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2110</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2111</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2112</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2122</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2129</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2143</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2152</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2153</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2190</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2232</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2336</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2470</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2507</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4035</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4037</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4112</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4125</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4242</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4249</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4251</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4305</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4306</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4307</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4313</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4322</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4323</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4324</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4325</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4326</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4333</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4334</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4338</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4393</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4700</subfield></datafield><datafield tag="936" ind1="b" ind2="k"><subfield code="a">50.23</subfield><subfield code="j">Regelungstechnik</subfield><subfield code="j">Steuerungstechnik</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">141</subfield></datafield></record></collection>
score	7.4008074

Nicht das Richtige dabei?

Schreiben Sie uns!

A protocol for Decentralized Synchronous Diagnosis with Coordination

Nicht das Richtige dabei?

Zugang & Verfügbarkeit

Vorhandene Bände

Nicht das Richtige dabei?