Decentralized Diagnosis by Petri Nets and Integer Linear Programming

This paper proposes a novel decentralized on-line fault diagnosis approach based on the solution of some integer linear programming problems for discrete event systems in a Petri net framework. The decentralized architecture consists of a set of local sites communicating with a coordinator that deci...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE transactions on systems, man, and cybernetics. Systems Jg. 48; H. 10; S. 1689 - 1700
Hauptverfasser:	Cong, Xuya, Fanti, Maria Pia, Mangini, Agostino Marcello, Li, Zhiwu
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York IEEE 01.10.2018 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Schlagworte:	Architecture Automata Communication Computer architecture Diagnostic systems Discrete event systems Discrete event systems (DESs) Fault detection Fault diagnosis Integer linear programming integer linear programming (ILP) Integer programming Linear programming Petri nets Petri nets (PNs) Protocols
ISSN:	2168-2216, 2168-2232
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Abstract	This paper proposes a novel decentralized on-line fault diagnosis approach based on the solution of some integer linear programming problems for discrete event systems in a Petri net framework. The decentralized architecture consists of a set of local sites communicating with a coordinator that decides whether the system behavior is normal or subject to some possible faults. To this aim, some results allow defining the rules applied by the coordinator and the local sites to provide the global diagnosis results. Moreover, two protocols for the detection and diagnosis of faults are proposed: they differ for the information exchanged between local sites and coordinator and the diagnostic capability. In addition, a sufficient and necessary condition under which the second presented protocol can successfully diagnose a fault in the decentralized architecture is proved. Finally, some examples are presented to show the efficiency of the proposed approach.
AbstractList	This paper proposes a novel decentralized on-line fault diagnosis approach based on the solution of some integer linear programming problems for discrete event systems in a Petri net framework. The decentralized architecture consists of a set of local sites communicating with a coordinator that decides whether the system behavior is normal or subject to some possible faults. To this aim, some results allow defining the rules applied by the coordinator and the local sites to provide the global diagnosis results. Moreover, two protocols for the detection and diagnosis of faults are proposed: they differ for the information exchanged between local sites and coordinator and the diagnostic capability. In addition, a sufficient and necessary condition under which the second presented protocol can successfully diagnose a fault in the decentralized architecture is proved. Finally, some examples are presented to show the efficiency of the proposed approach.
Author	Li, Zhiwu Fanti, Maria Pia Cong, Xuya Mangini, Agostino Marcello
Author_xml	– sequence: 1 givenname: Xuya orcidid: 0000-0003-2851-8111 surname: Cong fullname: Cong, Xuya email: congxuya@163.com organization: School of Electro-Mechanical Engineering, Xidian University, Xi'an, China – sequence: 2 givenname: Maria Pia orcidid: 0000-0002-8612-1852 surname: Fanti fullname: Fanti, Maria Pia email: mariapia.fanti@poliba.it organization: Department of Electrical and Information Engineering, Polytechnic of Bari, Bari, Italy – sequence: 3 givenname: Agostino Marcello surname: Mangini fullname: Mangini, Agostino Marcello email: agostinomarcello.mangini@poliba.it organization: Department of Electrical and Information Engineering, Polytechnic of Bari, Bari, Italy – sequence: 4 givenname: Zhiwu orcidid: 0000-0003-1547-5503 surname: Li fullname: Li, Zhiwu email: zhwli@must.edu.mo organization: School of Electro-Mechanical Engineering, Xidian University, Xi'an, China
BookMark	eNp9kE1PwkAQhjcGExH5AcZLE8_Fmd222x4N-EGCSiKeN9t22iyBLe6WA_5620A4ePA0c3ifeTPPNRvYxhJjtwgTRMgeVp9v0wkHlBMueYKQXrAhxyQNORd8cN4xuWJj79cAgDxNBCRDNptRQbZ1emN-qAxmRte28cYH-SFYUutM8E6tD7Qtg7ltqSYXLIwl7YKla2qnt1tj6xt2WemNp_FpjtjX89Nq-houPl7m08dFWPBMtGEOKaRlnHPUPBIZAlZQZkUORRRVMoaoKkUkiipOU4lQCclJVwQRcQ0izkoxYvfHuzvXfO_Jt2rd7J3tKhVHlJjIrqFL4TFVuMZ7R5XaObPV7qAQVO9L9b5U70udfHWM_MMUptWtaXo1ZvMveXckDRGdm2SWZd2P4heY1HhW
CODEN	ITSMFE
CitedBy_id	crossref_primary_10_1016_j_jfranklin_2022_09_014 crossref_primary_10_3390_pr11051501 crossref_primary_10_1109_ACCESS_2018_2845942 crossref_primary_10_1109_ACCESS_2019_2945132 crossref_primary_10_1109_TSMC_2019_2924144 crossref_primary_10_1109_ACCESS_2018_2840539 crossref_primary_10_1016_j_procs_2025_07_103 crossref_primary_10_1016_j_procs_2024_09_466 crossref_primary_10_1109_ACCESS_2023_3312542 crossref_primary_10_1109_TSMC_2021_3056693 crossref_primary_10_1109_TSMC_2019_2930736 crossref_primary_10_1007_s10626_025_00412_x crossref_primary_10_1016_j_procs_2020_08_054 crossref_primary_10_1109_ACCESS_2019_2906324 crossref_primary_10_1109_TSMC_2018_2854158 crossref_primary_10_1109_TSMC_2018_2855209 crossref_primary_10_1109_LCSYS_2025_3538737 crossref_primary_10_3390_sym14051052 crossref_primary_10_1109_JSEN_2023_3259524 crossref_primary_10_1109_TCST_2019_2894566 crossref_primary_10_1016_j_isatra_2019_02_003 crossref_primary_10_1109_TCSI_2019_2894441 crossref_primary_10_1109_ACCESS_2024_3486338 crossref_primary_10_3390_s25051452 crossref_primary_10_1109_ACCESS_2018_2796640 crossref_primary_10_1109_ACCESS_2018_2797213 crossref_primary_10_1109_TSMC_2021_3051096 crossref_primary_10_1109_ACCESS_2019_2924021 crossref_primary_10_1109_TSMC_2022_3176045 crossref_primary_10_1109_TSMC_2019_2919940 crossref_primary_10_1109_TSMC_2017_2762823 crossref_primary_10_1109_TSMC_2022_3156539 crossref_primary_10_1109_TSMC_2025_3573565 crossref_primary_10_1177_1687814019833866 crossref_primary_10_1016_j_procs_2021_08_042 crossref_primary_10_1177_09596518251334860 crossref_primary_10_1080_00207179_2022_2121764 crossref_primary_10_1109_TSMC_2022_3170489 crossref_primary_10_1016_j_ins_2020_04_027 crossref_primary_10_1177_1687814018808170 crossref_primary_10_1109_TSMC_2018_2815618 crossref_primary_10_3390_s24144445 crossref_primary_10_1016_j_isatra_2018_11_025 crossref_primary_10_1109_ACCESS_2019_2907199 crossref_primary_10_1109_ACCESS_2019_2897753 crossref_primary_10_1002_eng2_12060 crossref_primary_10_1109_ACCESS_2018_2889305 crossref_primary_10_1177_00368504221075466 crossref_primary_10_1109_TIM_2024_3442849 crossref_primary_10_1109_ACCESS_2018_2867901 crossref_primary_10_1109_ACCESS_2019_2936052 crossref_primary_10_1109_JAS_2024_124680 crossref_primary_10_1109_ACCESS_2019_2952056 crossref_primary_10_3390_math11040943 crossref_primary_10_1109_ACCESS_2018_2872572 crossref_primary_10_1109_ACCESS_2020_2989346 crossref_primary_10_1109_ACCESS_2019_2896254 crossref_primary_10_1109_TSMC_2017_2781460 crossref_primary_10_1177_16878132231197163 crossref_primary_10_1177_1687814017750707 crossref_primary_10_1109_ACCESS_2018_2880460 crossref_primary_10_3390_app10217662 crossref_primary_10_3390_math11010047 crossref_primary_10_1109_ACCESS_2018_2883774 crossref_primary_10_1109_TSMC_2018_2856763 crossref_primary_10_1016_j_ins_2019_01_029 crossref_primary_10_1177_1687814019825962
Cites_doi	10.1007/BFb0042308 10.1109/9.412626 10.1109/TSMC.2016.2645797 10.1109/9.280750 10.1109/TASE.2012.2203596 10.1016/j.conengprac.2010.12.010 10.1109/TSMC.2013.2244208 10.1109/TAC.2003.811249 10.1109/TASE.2006.872120 10.1016/j.automatica.2009.07.021 10.1109/TSMC.2015.2479192 10.1109/TASE.2006.879916 10.1109/TSMCA.2008.918627 10.1016/j.arcontrol.2013.09.009 10.1109/TAC.2012.2183169 10.1109/TASE.2013.2289360 10.1109/WODES.2002.1167685 10.1109/TAC.2012.2185881 10.1016/j.automatica.2010.06.013 10.1016/j.matcom.2005.11.003 10.1109/TSMCA.2012.2183358 10.1016/j.automatica.2015.08.023 10.1109/TAC.2009.2014932 10.1007/s10626-006-0006-8 10.1109/TSMCA.2005.853503 10.1109/TSMCA.2012.2199307 10.1109/TSMC.2014.2373316 10.1007/s10626-016-0229-2 10.1023/A:1008335115538
ContentType	Journal Article
Copyright	Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2018
Copyright_xml	– notice: Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2018
DBID	97E RIA RIE AAYXX CITATION 7SC 7SP 7TB 8FD FR3 H8D JQ2 L7M L~C L~D
DOI	10.1109/TSMC.2017.2726108
DatabaseName	IEEE All-Society Periodicals Package (ASPP) 2005–Present IEEE All-Society Periodicals Package (ASPP) 1998–Present IEEE Xplore CrossRef Computer and Information Systems Abstracts Electronics & Communications Abstracts Mechanical & Transportation Engineering Abstracts Technology Research Database Engineering Research Database Aerospace Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional
DatabaseTitle	CrossRef Aerospace Database Technology Research Database Computer and Information Systems Abstracts – Academic Mechanical & Transportation Engineering Abstracts Electronics & Communications Abstracts ProQuest Computer Science Collection Computer and Information Systems Abstracts Engineering Research Database Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Professional
DatabaseTitleList	Aerospace Database
Database_xml	– sequence: 1 dbid: RIE name: IEEE Xplore url: https://ieeexplore.ieee.org/ sourceTypes: Publisher
DeliveryMethod	fulltext_linktorsrc
Discipline	Engineering Architecture
EISSN	2168-2232
EndPage	1700
ExternalDocumentID	10_1109_TSMC_2017_2726108 7999243
Genre	orig-research
GroupedDBID	0R~ 6IK 97E AAJGR AARMG AASAJ AAWTH ABAZT ABQJQ ABVLG ACGFS ACIWK AGQYO AGSQL AHBIQ AKJIK AKQYR ALMA_UNASSIGNED_HOLDINGS BEFXN BFFAM BGNUA BKEBE BPEOZ EBS EJD HZ~ IFIPE IPLJI JAVBF M43 O9- OCL PQQKQ RIA RIE RNS AAYXX CITATION 7SC 7SP 7TB 8FD FR3 H8D JQ2 L7M L~C L~D RIG
ID	FETCH-LOGICAL-c293t-b0808d5b21a2439101f0d9cb0c44f7504fd343cf588710f372eafe04e2a0359d3
IEDL.DBID	RIE
ISICitedReferencesCount	83
ISICitedReferencesURI	http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000444825500004&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN	2168-2216
IngestDate	Mon Jun 30 04:20:04 EDT 2025 Sat Nov 29 03:45:29 EST 2025 Tue Nov 18 20:53:11 EST 2025 Wed Aug 27 02:54:34 EDT 2025
IsPeerReviewed	true
IsScholarly	true
Issue	10
Language	English
License	https://ieeexplore.ieee.org/Xplorehelp/downloads/license-information/IEEE.html
LinkModel	DirectLink
MergedId	FETCHMERGED-LOGICAL-c293t-b0808d5b21a2439101f0d9cb0c44f7504fd343cf588710f372eafe04e2a0359d3
Notes	ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14
ORCID	0000-0003-1547-5503 0000-0003-2851-8111 0000-0002-8612-1852
PQID	2117167080
PQPubID	75739
PageCount	12
ParticipantIDs	crossref_primary_10_1109_TSMC_2017_2726108 ieee_primary_7999243 proquest_journals_2117167080 crossref_citationtrail_10_1109_TSMC_2017_2726108
PublicationCentury	2000
PublicationDate	2018-10-01
PublicationDateYYYYMMDD	2018-10-01
PublicationDate_xml	– month: 10 year: 2018 text: 2018-10-01 day: 01
PublicationDecade	2010
PublicationPlace	New York
PublicationPlace_xml	– name: New York
PublicationTitle	IEEE transactions on systems, man, and cybernetics. Systems
PublicationTitleAbbrev	TSMC
PublicationYear	2018
Publisher	IEEE The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher_xml	– name: IEEE – name: The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
References	ref13 ref12 ref15 peterson (ref31) 1981 ref14 su (ref16) 2002 ref30 ref33 ref11 ref32 ref10 ref2 ref1 ref17 ref18 qiu (ref19) 2008; 38 arámburo-lizárraga (ref25) 2011 ref24 ref23 ref20 ref22 ref21 ref28 ref27 ref29 ref8 ref7 ref9 ref4 ref3 ref6 ref5 basile (ref26) 2012; 45
References_xml	– ident: ref32 doi: 10.1007/BFb0042308 – ident: ref10 doi: 10.1109/9.412626 – ident: ref2 doi: 10.1109/TSMC.2016.2645797 – volume: 45 start-page: 214 year: 2012 ident: ref26 article-title: Decentralized K-diagnosability of Petri nets publication-title: Proc Workshop Discr Event Syst – ident: ref33 doi: 10.1109/9.280750 – ident: ref23 doi: 10.1109/TASE.2012.2203596 – ident: ref6 doi: 10.1016/j.conengprac.2010.12.010 – start-page: 1 year: 2011 ident: ref25 article-title: Optimal communication distributed Petri net based diagnosers of discrete event systems publication-title: Proc 8th Int Conf Elect Eng Comput Sci Autom Control – start-page: 169 year: 2002 ident: ref16 article-title: Distributed diagnosis for qualitative systems publication-title: Proc 6th Int Workshop Discrete Event Systems – ident: ref21 doi: 10.1109/TSMC.2013.2244208 – ident: ref20 doi: 10.1109/TAC.2003.811249 – ident: ref11 doi: 10.1109/TASE.2006.872120 – ident: ref7 doi: 10.1016/j.automatica.2009.07.021 – ident: ref3 doi: 10.1109/TSMC.2015.2479192 – ident: ref24 doi: 10.1109/TASE.2006.879916 – volume: 38 start-page: 628 year: 2008 ident: ref19 article-title: Distributed diagnosis under bounded-delay communication of immediately forwarded local observations publication-title: IEEE Trans Syst Man Cybern A Syst Humans doi: 10.1109/TSMCA.2008.918627 – ident: ref1 doi: 10.1016/j.arcontrol.2013.09.009 – ident: ref29 doi: 10.1109/TAC.2012.2183169 – ident: ref9 doi: 10.1109/TASE.2013.2289360 – ident: ref14 doi: 10.1109/WODES.2002.1167685 – ident: ref28 doi: 10.1109/TAC.2012.2185881 – ident: ref5 doi: 10.1016/j.automatica.2010.06.013 – ident: ref22 doi: 10.1016/j.matcom.2005.11.003 – ident: ref12 doi: 10.1109/TSMCA.2012.2183358 – ident: ref30 doi: 10.1016/j.automatica.2015.08.023 – ident: ref4 doi: 10.1109/TAC.2009.2014932 – ident: ref17 doi: 10.1007/s10626-006-0006-8 – ident: ref27 doi: 10.1109/TSMCA.2005.853503 – ident: ref8 doi: 10.1109/TSMCA.2012.2199307 – ident: ref13 doi: 10.1109/TSMC.2014.2373316 – ident: ref18 doi: 10.1007/s10626-016-0229-2 – year: 1981 ident: ref31 publication-title: Petri Net Theory and the Modeling of Systems – ident: ref15 doi: 10.1023/A:1008335115538
SSID	ssj0001286306
Score	2.3850842
Snippet	This paper proposes a novel decentralized on-line fault diagnosis approach based on the solution of some integer linear programming problems for discrete event...
SourceID	proquest crossref ieee
SourceType	Aggregation Database Enrichment Source Index Database Publisher
StartPage	1689
SubjectTerms	Architecture Automata Communication Computer architecture Diagnostic systems Discrete event systems Discrete event systems (DESs) Fault detection Fault diagnosis Integer linear programming integer linear programming (ILP) Integer programming Linear programming Petri nets Petri nets (PNs) Protocols
Title	Decentralized Diagnosis by Petri Nets and Integer Linear Programming
URI	https://ieeexplore.ieee.org/document/7999243 https://www.proquest.com/docview/2117167080
Volume	48
WOSCitedRecordID	wos000444825500004&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText	1
inHoldings	1
isFullTextHit
isPrint
journalDatabaseRights	– providerCode: PRVIEE databaseName: IEEE Xplore customDbUrl: eissn: 2168-2232 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0001286306 issn: 2168-2216 databaseCode: RIE dateStart: 20130101 isFulltext: true titleUrlDefault: https://ieeexplore.ieee.org/ providerName: IEEE
link	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LSwMxEB5q8aAH32K1Sg6exNXsJt3sHsVavFgKKnhb8phIQVvpQ9Bf72R3LQVF8LLsIQm7M0nmkcn3AZwqTxEaCh5lmKaRtCgi0_FpRJYqUc52nMoqsgnV72dPT_mgAeeLuzCIWBaf4UV4Lc_y3djOQ6rsUpE3k0ixAitKqequ1lI-JUtFSaWZxCkpn571IWbM88uH-7vrUMelLhJFMUMgk1wyQyWvyo_NuLQwvc3_fdsWbNSeJLuqVL8NDRztwPoSvuAudLtYF18OP9GxblVWN5wy88FKKi3Wx9mU6ZFjITP4jBNGsSnNfTaoyrZeaZg9eOzdPFzfRjVtQmTJds8iQ05g5jomiXUS7tXy2HOXW8OtlD6guXsnpLC-Q_tLzL1QCWqPXGKiA56fE_vQHI1HeAAs1QEvTmsTo5bkOuTCW8lRGq6NNFa0gH9LsbA1pnigtngpytiC50UQfBEEX9SCb8HZostbBajxV-PdIOlFw1rILWh_q6qol9y0oEiWYj9FP3_4e68jWKOxKzDbuA3N2WSOx7Bq32fD6eSknE1fIUnFrg
linkProvider	IEEE
linkToHtml	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1bS-QwFD64Kuz64GXdxfGy5sEn2WqapE37KI6irA6CI_hWcjlZBnSUmXFh_fWetHUYUARfSh-StjlJcy455_sA9nQgDw0lTwrM80Q5lInNQp6QphLau8zroiGb0L1ecXtbXs3B72ktDCLWyWd4EG_rs3z_4J5iqOxQkzUjlPwCC5lSIm2qtWYiKkUuazJNkeY0_XRtjzFTXh72ry-PYyaXPhCavIZIJzmjiGpmlTfbca1jTlc-93WrsNzakuyomfw1mMPhd1iaQRhch24X2_TLwTN61m0S6wZjZv-zmkyL9XAyZmboWYwN_sURI--UVj-7ahK37ukxP-Dm9KR_fJa0xAmJI-09SSyZgYXPrEiNiJW1PA3cl85yp1SIeO7BSyVdyGiHSXmQWqAJyBUKExH9vPwJ88OHIW4Ay01EjDPGpmgUGQ-lDE5xVJYbq6yTHeCvUqxciyoeyS3uqtq74GUVBV9FwVet4DuwP-3y2EBqfNR4PUp62rAVcge2X6eqan-6cUW-LHl_mga_-X6vXfh61r-8qC7Oe3-24Bu9p4G2TbdhfjJ6wh1YdP8mg_HoV72yXgCW0cj1
openUrl	ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Decentralized+Diagnosis+by+Petri+Nets+and+Integer+Linear+Programming&rft.jtitle=IEEE+transactions+on+systems%2C+man%2C+and+cybernetics.+Systems&rft.au=Cong%2C+Xuya&rft.au=Fanti%2C+Maria+Pia&rft.au=Mangini%2C+Agostino+Marcello&rft.au=Li%2C+Zhiwu&rft.date=2018-10-01&rft.pub=IEEE&rft.issn=2168-2216&rft.volume=48&rft.issue=10&rft.spage=1689&rft.epage=1700&rft_id=info:doi/10.1109%2FTSMC.2017.2726108&rft.externalDocID=7999243
thumbnail_l	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2168-2216&client=summon
thumbnail_m	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2168-2216&client=summon
thumbnail_s	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2168-2216&client=summon