Detectability of Discrete Event Systems

In this note, we investigate the detectability problem in discrete event systems. We assume that we do not know initially which state the system is in. The problem is to determine the current and subsequent states of the system based on a sequence of observations. The observation includes partial ev...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	IEEE transactions on automatic control Ročník 52; číslo 12; s. 2356 - 2359
Hlavní autori:	Shu, Shaolong, Lin, Feng, Ying, Hao
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	New York, NY IEEE 01.12.2007 Institute of Electrical and Electronics Engineers The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Predmet:	Applied sciences Automatic control Biomedical equipment Computer science; control theory; systems Construction Control systems Control theory. Systems Detectability Diagnosis Discrete event systems Event detection Exact sciences and technology Failure Feedback control Medical services Modelling and identification Observability Observers State estimation Sufficient conditions Supervisory control Closed feedback discrete event systems Observer Detectability Feedback regulation System identification State estimation Observability Fault diagnostic Discrete event system
ISSN:	0018-9286, 1558-2523
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Abstract	In this note, we investigate the detectability problem in discrete event systems. We assume that we do not know initially which state the system is in. The problem is to determine the current and subsequent states of the system based on a sequence of observations. The observation includes partial event observation and/or partial state observation, which leads to four possible cases. We further define four types of detectabilities: strong detectability, (weak) detectability, strong periodic detectability, and (weak) periodic detectability. We derive necessary and sufficient conditions for these detectabilities. These conditions can be checked by constructing an observer, which models the estimation of states under different observations. The theory developed in this note can be used in feedback control and diagnosis. If the system is detectable, then the observer can be used as a diagnoser to diagnose the failure states of the system.
AbstractList	In this note, we investigate the detectability problem in discrete event systems. We assume that we do not know initially which state the system is in. The problem is to determine the current and subsequent states of the system based on a sequence of observations. The observation includes partial event observation and/or partial state observation, which leads to four possible cases. We further define four types of detectabilities: strong detectability, (weak) detectability, strong periodic detectability, and (weak) periodic detectability. We derive necessary and sufficient conditions for these detectabilities. These conditions can be checked by constructing an observer, which models the estimation of states under different observations. The theory developed in this note can be used in feedback control and diagnosis. If the system is detectable, then the observer can be used as a diagnoser to diagnose the failure states of the system.
Author	Hao Ying Feng Lin Shaolong Shu
Author_xml	– sequence: 1 givenname: Shaolong surname: Shu fullname: Shu, Shaolong – sequence: 2 givenname: Feng surname: Lin fullname: Lin, Feng – sequence: 3 givenname: Hao surname: Ying fullname: Ying, Hao
BackLink	http://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=19939635$$DView record in Pascal Francis
BookMark	eNqFkUtLAzEUhYMoWB9rF26KoK6m5uY1yVLqEwou1HVIZ-5AynSmJqnQf29KSxcFdRVu-M65j3NCDru-Q0IugI4AqLn7uB-PGKXlyAAtgR-QAUipCyYZPyQDSkEXhml1TE5inOVSCQEDcvuACavkpr71aTXsm-GDj1XIn8PHb-zS8H0VE87jGTlqXBvxfPueks-nx4_xSzF5e34d30-KSgBPhXC6rGtunKklFzgVQjlkqlauBNlQihJqUEaxsqKIU1pqytCBE45rKLPFKbnd-C5C_7XEmOw8z4Nt6zrsl9EayhVoIfi_pNaGZ3slM3nzJ8nzJSgwncGrPXDWL0OX97VaCa1Bapah6y3kYuXaJriu8tEugp-7sLJgDDeKr7vKDVeFPsaAja18csn3XQrOtxaoXedmc252nZvd5JZ1d3u6nfWvisuNwiPijhbcSNCa_wA_2KB7
CODEN	IETAA9
CitedBy_id	crossref_primary_10_1109_TASE_2020_3001356 crossref_primary_10_1109_TAC_2018_2828098 crossref_primary_10_1016_j_automatica_2019_03_003 crossref_primary_10_1016_j_tcs_2024_114743 crossref_primary_10_1109_LCSYS_2023_3273472 crossref_primary_10_1137_130914942 crossref_primary_10_1016_j_automatica_2019_02_058 crossref_primary_10_1016_j_ifacol_2021_04_025 crossref_primary_10_1109_TAC_2021_3069899 crossref_primary_10_1109_TASE_2022_3165382 crossref_primary_10_1016_j_automatica_2020_109291 crossref_primary_10_1007_s10626_015_0212_3 crossref_primary_10_1016_j_jfranklin_2023_12_047 crossref_primary_10_1080_01969722_2016_1187032 crossref_primary_10_1016_j_arcontrol_2023_100902 crossref_primary_10_1109_TAC_2015_2484359 crossref_primary_10_1109_TAC_2022_3225514 crossref_primary_10_1109_TAC_2013_2251796 crossref_primary_10_1109_TASE_2013_2264809 crossref_primary_10_1002_asjc_2513 crossref_primary_10_1016_j_sysconle_2009_11_001 crossref_primary_10_1016_j_sysconle_2011_02_001 crossref_primary_10_1016_j_automatica_2024_111644 crossref_primary_10_1016_j_ifacol_2021_04_002 crossref_primary_10_1016_j_nahs_2025_101633 crossref_primary_10_1016_j_automatica_2022_110756 crossref_primary_10_1007_s10626_021_00348_y crossref_primary_10_1109_TAC_2017_2749380 crossref_primary_10_1109_TASE_2023_3265846 crossref_primary_10_1109_TAC_2019_2912484 crossref_primary_10_1109_TSMC_2024_3441730 crossref_primary_10_1016_j_automatica_2019_04_001 crossref_primary_10_1109_TCSII_2020_2967062 crossref_primary_10_1016_j_automatica_2017_02_032 crossref_primary_10_1109_TASE_2014_2314331 crossref_primary_10_1109_TASE_2022_3193493 crossref_primary_10_1016_j_automatica_2008_05_025 crossref_primary_10_1177_1748006X14522221 crossref_primary_10_1016_j_nahs_2021_101087 crossref_primary_10_1109_TFUZZ_2020_3039683 crossref_primary_10_1109_TAC_2015_2440631 crossref_primary_10_1109_TAC_2020_2995173 crossref_primary_10_1007_s12652_020_02835_w crossref_primary_10_1016_j_automatica_2017_02_042 crossref_primary_10_1080_00207179_2017_1403049 crossref_primary_10_1016_j_ifacol_2022_10_333 crossref_primary_10_1109_JSEN_2024_3457497 crossref_primary_10_1109_TAC_2023_3239590 crossref_primary_10_1109_TASE_2012_2215959 crossref_primary_10_1016_j_ifacol_2024_07_036 crossref_primary_10_1016_j_sysconle_2015_07_005 crossref_primary_10_1016_j_ifacol_2018_06_296 crossref_primary_10_1016_j_automatica_2017_08_025 crossref_primary_10_1016_j_sysconle_2018_07_008 crossref_primary_10_1109_TSMC_2014_2311760 crossref_primary_10_1016_j_jfranklin_2022_11_023 crossref_primary_10_1109_TAC_2018_2843723 crossref_primary_10_1109_TAC_2012_2224255 crossref_primary_10_1016_j_automatica_2017_08_027 crossref_primary_10_1016_j_automatica_2017_06_013 crossref_primary_10_1109_TAC_2021_3126610 crossref_primary_10_1016_j_nahs_2025_101586 crossref_primary_10_1137_140991285 crossref_primary_10_1109_TCST_2013_2291069 crossref_primary_10_3390_math11081798 crossref_primary_10_1038_s41598_024_82083_6 crossref_primary_10_1109_TAC_2016_2553959 crossref_primary_10_1007_s10626_020_00311_3 crossref_primary_10_1109_TASE_2012_2230443 crossref_primary_10_1016_j_automatica_2018_12_019 crossref_primary_10_1016_j_ins_2024_120611 crossref_primary_10_3390_app12052562 crossref_primary_10_1016_j_automatica_2017_06_004 crossref_primary_10_1016_j_ifacol_2022_10_353 crossref_primary_10_1016_j_ins_2020_04_024 crossref_primary_10_1016_j_automatica_2021_109884 crossref_primary_10_1016_j_automatica_2018_03_077 crossref_primary_10_1007_s10626_018_0268_y crossref_primary_10_1016_j_automatica_2018_09_018 crossref_primary_10_1109_TAC_2021_3140111 crossref_primary_10_1016_j_automatica_2014_05_035 crossref_primary_10_1109_TAC_2024_3492955 crossref_primary_10_1016_j_automatica_2017_03_023 crossref_primary_10_1109_LCSYS_2022_3176531 crossref_primary_10_1109_ACCESS_2023_3298099 crossref_primary_10_1080_21642583_2020_1863280 crossref_primary_10_1109_LCSYS_2024_3376458 crossref_primary_10_1016_j_nahs_2020_100859 crossref_primary_10_3390_math11183862 crossref_primary_10_1016_j_automatica_2023_111139 crossref_primary_10_1109_TAC_2025_3543561 crossref_primary_10_1109_TCNS_2019_2915024 crossref_primary_10_1007_s10626_022_00362_8 crossref_primary_10_1016_j_arcontrol_2018_03_002 crossref_primary_10_1109_TNNLS_2021_3059795 crossref_primary_10_1007_s12555_021_0017_0 crossref_primary_10_1109_TAC_2024_3355378 crossref_primary_10_1016_j_automatica_2011_01_002 crossref_primary_10_1007_s11424_025_4348_4 crossref_primary_10_1016_j_ifacol_2020_12_2537 crossref_primary_10_1016_j_ins_2024_121404 crossref_primary_10_1016_j_jfranklin_2019_05_028 crossref_primary_10_1109_TAC_2016_2644640 crossref_primary_10_1109_ACCESS_2021_3108472
Cites_doi	10.1016/0020-0255(88)90001-1 10.1109/9.57018 10.1109/9.412626 10.1109/TSMCB.2002.1018761 10.1137/0325013 10.1016/j.ins.2007.03.011 10.1007/BF01441211 10.1109/CDC.1986.267551 10.1109/87.486338 10.1109/TSMC.1976.4309444 10.1109/TAC.2003.814099 10.1007/978-1-4757-4070-7
ContentType	Journal Article
Copyright	2008 INIST-CNRS Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2007
Copyright_xml	– notice: 2008 INIST-CNRS – notice: Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2007
DBID	97E RIA RIE AAYXX CITATION IQODW 7SC 7SP 7TB 8FD FR3 JQ2 L7M L~C L~D F28
DOI	10.1109/TAC.2007.910713
DatabaseName	IEEE All-Society Periodicals Package (ASPP) 2005-present IEEE All-Society Periodicals Package (ASPP) 1998-Present IEEE Electronic Library (IEL) CrossRef Pascal-Francis Computer and Information Systems Abstracts Electronics & Communications Abstracts Mechanical & Transportation Engineering Abstracts Technology Research Database Engineering Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional ANTE: Abstracts in New Technology & Engineering
DatabaseTitle	CrossRef 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 ANTE: Abstracts in New Technology & Engineering
DatabaseTitleList	Technology Research Database Technology Research Database Technology Research Database
Database_xml	– sequence: 1 dbid: RIE name: IEEE Electronic Library Online url: https://ieeexplore.ieee.org/ sourceTypes: Publisher
DeliveryMethod	fulltext_linktorsrc
Discipline	Engineering Applied Sciences
EISSN	1558-2523
EndPage	2359
ExternalDocumentID	2338098531 19939635 10_1109_TAC_2007_910713 4395188
Genre	orig-research
GroupedDBID	-~X .DC 0R~ 29I 3EH 4.4 5GY 5VS 6IK 97E AAJGR AARMG AASAJ AAWTH ABAZT ABQJQ ABVLG ACGFO ACGFS ACIWK ACNCT AENEX AETIX AGQYO AGSQL AHBIQ AI. AIBXA AKJIK AKQYR ALLEH ALMA_UNASSIGNED_HOLDINGS ASUFR ATWAV BEFXN BFFAM BGNUA BKEBE BPEOZ CS3 DU5 EBS EJD F5P HZ~ H~9 IAAWW IBMZZ ICLAB IDIHD IFIPE IFJZH IPLJI JAVBF LAI M43 MS~ O9- OCL P2P RIA RIE RNS TAE TN5 VH1 VJK ~02 AAYXX CITATION IQODW RIG 7SC 7SP 7TB 8FD FR3 JQ2 L7M L~C L~D F28
ID	FETCH-LOGICAL-c413t-4a87dd39a9d534eb446ae26d6a715f00e51d169627c0eeb07802ea1a4a3817413
IEDL.DBID	RIE
ISICitedReferencesCount	159
ISICitedReferencesURI	http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000251746000016&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN	0018-9286
IngestDate	Wed Oct 01 14:37:22 EDT 2025 Sun Sep 28 05:19:18 EDT 2025 Sun Sep 28 01:40:19 EDT 2025 Mon Jun 30 10:21:45 EDT 2025 Mon Jul 21 09:13:25 EDT 2025 Tue Nov 18 22:08:13 EST 2025 Sat Nov 29 02:25:49 EST 2025 Wed Aug 27 02:52:16 EDT 2025
IsPeerReviewed	true
IsScholarly	true
Issue	12
Keywords	Closed feedback discrete event systems Observer Detectability Feedback regulation System identification State estimation Observability Fault diagnostic Discrete event system
Language	English
License	https://ieeexplore.ieee.org/Xplorehelp/downloads/license-information/IEEE.html CC BY 4.0
LinkModel	DirectLink
MergedId	FETCHMERGED-LOGICAL-c413t-4a87dd39a9d534eb446ae26d6a715f00e51d169627c0eeb07802ea1a4a3817413
Notes	ObjectType-Article-2 SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 14 content type line 23
PQID	864881582
PQPubID	23500
PageCount	4
ParticipantIDs	proquest_journals_864881582 crossref_primary_10_1109_TAC_2007_910713 proquest_miscellaneous_903618443 pascalfrancis_primary_19939635 crossref_citationtrail_10_1109_TAC_2007_910713 proquest_miscellaneous_34410128 ieee_primary_4395188 proquest_miscellaneous_889378065
PublicationCentury	2000
PublicationDate	2007-12-01
PublicationDateYYYYMMDD	2007-12-01
PublicationDate_xml	– month: 12 year: 2007 text: 2007-12-01 day: 01
PublicationDecade	2000
PublicationPlace	New York, NY
PublicationPlace_xml	– name: New York, NY – name: New York
PublicationTitle	IEEE transactions on automatic control
PublicationTitleAbbrev	TAC
PublicationYear	2007
Publisher	IEEE Institute of Electrical and Electronics Engineers The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher_xml	– name: IEEE – name: Institute of Electrical and Electronics Engineers – name: The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
References	ref8 ref12 ref7 ref9 ref4 ref3 ref6 hashtrudi zad (ref11) 2003; 48 ref10 ref5 ref2 ref1
References_xml	– ident: ref3 doi: 10.1016/0020-0255(88)90001-1 – ident: ref6 doi: 10.1109/9.57018 – ident: ref9 doi: 10.1109/9.412626 – ident: ref4 doi: 10.1109/TSMCB.2002.1018761 – ident: ref8 doi: 10.1137/0325013 – ident: ref5 doi: 10.1016/j.ins.2007.03.011 – ident: ref2 doi: 10.1007/BF01441211 – ident: ref7 doi: 10.1109/CDC.1986.267551 – ident: ref10 doi: 10.1109/87.486338 – ident: ref12 doi: 10.1109/TSMC.1976.4309444 – volume: 48 start-page: 1199 year: 2003 ident: ref11 article-title: fault diagnosis in discrete-event systems: framework and model reduction publication-title: IEEE Trans Autom Control doi: 10.1109/TAC.2003.814099 – ident: ref1 doi: 10.1007/978-1-4757-4070-7
SSID	ssj0016441
Score	2.3571448
Snippet	In this note, we investigate the detectability problem in discrete event systems. We assume that we do not know initially which state the system is in. The...
SourceID	proquest pascalfrancis crossref ieee
SourceType	Aggregation Database Index Database Enrichment Source Publisher
StartPage	2356
SubjectTerms	Applied sciences Automatic control Biomedical equipment Computer science; control theory; systems Construction Control systems Control theory. Systems Detectability Diagnosis Discrete event systems Event detection Exact sciences and technology Failure Feedback control Medical services Modelling and identification Observability Observers State estimation Sufficient conditions Supervisory control
Title	Detectability of Discrete Event Systems
URI	https://ieeexplore.ieee.org/document/4395188 https://www.proquest.com/docview/864881582 https://www.proquest.com/docview/34410128 https://www.proquest.com/docview/889378065 https://www.proquest.com/docview/903618443
Volume	52
WOSCitedRecordID	wos000251746000016&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 Electronic Library Online customDbUrl: eissn: 1558-2523 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0016441 issn: 0018-9286 databaseCode: RIE dateStart: 19630101 isFulltext: true titleUrlDefault: https://ieeexplore.ieee.org/ providerName: IEEE
link	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LT8MwDLbYxAEOvBFlPHpAggPd-kia9og2ECfEYUi7VWnjSpPQhvZA4t9jp10BwQ7cqtaNIsfxI3Y-A1zFWnI-jKEQQ_SE8oWXq4hkWUuphKEgQxnbbEI9PSWjUfq8AbfNXRhEtMVn2OVHm8s302LJR2U9Mp6MH9aCllKquqvVZAzYrldalzZwmMQ1jE_gp73hXb_CKiTTqILohwWyLVW4IFLPiSdl1czil162xuZh93_T3IOd2ql07yop2IcNnBzA9jeowUO4HiCnCypU7g93WrqDMWkMeunec8mjW0OXH8HLw_2w_-jVTRK8guzPwhM6UcZEqU6NjATmFN5pDGMTaxXI0vdRBiaIucVO4SPm5BH4IepAC83YfDTEMbQn0wmegCtNKFFLUaAohEnjnC83FeTvBFHilyZxoLtiXFbUCOLcyOI1s5GEn2bEae5rqbKK0w7cND-8VeAZ60kPmZENWc1DBy5-rMzXMORXke6QDnRWS5XVu2-eJTGppUAmoQOXzVfaNpwL0ROcLudZROLCttkBdw1Fwp4cp53Xk6Rk_ilCFtHp37PvwJY9CrbVL2fQXsyWeA6bxftiPJ9dWPn9BAyT6nA
linkProvider	IEEE
linkToHtml	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LS8NAEB58gXrwLcZnDoIejGaT3WxylGqpqMVDhd7CNjsFQVqxreC_d2YTo6I9eAvJZFlmZ-exM_sNwHFiFOfDGAoxwkDqUAY9HZMsG6W0tBRkaOuaTeh2O-12s4cZOKvvwiCiKz7Dc350uXw7LCZ8VHZBxpPxw2ZhXkkZifK2Vp0zYMte6l3awlGaVEA-IswuOpeNEq2QjKMW8Q8b5JqqcEmkGRFX-mU7i1-a2Zmb5ur_JroGK5Vb6V-WcrAOMzjYgOVvYIObcHKFnDAocbnf_WHfv3oinUEv_WsuevQr8PIteGxedxqtoGqTEBRkgcaBNKm2Ns5MZlUssUcBnsEosYnRQvXDEJWwIuEmO0WI2COfIIzQCCMNo_PRENswNxgOcAd8ZSOFRskCZSFtlvT4elNBHo-I07BvUw_OPxmXFxWGOLeyeM5dLBFmOXGaO1vqvOS0B6f1Dy8lfMZ00k1mZE1W8dCDwx8r8zUMeVakPZQHe59LlVf7b5SnCSkmodLIg6P6K20czoaYAQ4nozwmcWHr7IE_hSJlX44Tz9NJMnIAKEaW8e7fsz-CxVbn_i6_u2nf7sGSOxh2tTD7MDd-neABLBRv46fR66GT5Q9iQ-23
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=Detectability+of+Discrete+Event+Systems&rft.jtitle=IEEE+transactions+on+automatic+control&rft.au=Shu%2C+Shaolong&rft.au=Feng%2C+Lin&rft.au=Hao%2C+Ying&rft.date=2007-12-01&rft.issn=0018-9286&rft.volume=52&rft.issue=12&rft.spage=2356&rft.epage=2359&rft_id=info:doi/10.1109%2FTAC.2007.910713&rft.externalDBID=NO_FULL_TEXT
thumbnail_l	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0018-9286&client=summon
thumbnail_m	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0018-9286&client=summon
thumbnail_s	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0018-9286&client=summon