A Generalized Framework for Inference-Based Diagnosis of Discrete Event Systems Capturing Both Disjunctive and Conjunctive Decision-Making

Takai, Shigemasa; Kumar, Ratnesh

doi:https://doi.org/10.1109/TAC.2016.2624422

A Generalized Framework for Inference-Based Diagnosis of Discrete Event Systems Capturing Both Disjunctive and Conjunctive Decision-Making

Takai, Shigemasa; Kumar, Ratnesh

IEEE Transactions on Automatic Control, 2016, 62(6), 2778-2793

アクセス数:78件（2026-11-10 22:51 集計）

固定URL: https://hdl.handle.net/11094/106737

閲覧可能ファイル

ファイル	フォーマット	利用条件	サイズ	閲覧回数	利用開始日	説明	information
IEEE_TACON_62_6_2778	pdf	なし	1.76 MB	25	2026.10.14

論文情報

ファイル出力 EndNote Basic出力 Mendeley出力

タイトル	A Generalized Framework for Inference-Based Diagnosis of Discrete Event Systems Capturing Both Disjunctive and Conjunctive Decision-Making
著者	NRID 1000060243177 1000060243177 ORCID 0000-0003-0165-4623 0000-0003-0165-4623 researchmap permalink read0014096 read0014096 Scopus Author ID 7201470914 7201470914 著者名 Takai, Shigemasa
著者	著者名 Kumar, Ratnesh
キーワード等	Ambiguity
	decentralized diagnosis
	discrete-event system
	inference diagnosability
	inferencing
内容	Takai S., Kumar R.. A Generalized Framework for Inference-Based Diagnosis of Discrete Event Systems Capturing Both Disjunctive and Conjunctive Decision-Making. IEEE Transactions on Automatic Control 62(6), 2778-2793 (2017); https://doi.org/10.1109/TAC.2016.2624422.
抄録	We have previously introduced an inference-based framework for decentralized decision-making, comprising of multiple observers, each with its own partial observation, where inferencing over the ambiguities of the self and the others is used to issue local decisions, and a global decision is taken to be the one possessing the minimum ambiguity level. In this setting, we previously introduced the notion of N-inference \vee-diagnosability to characterize the existence of a disjunctive decentralized diagnosis scheme so that any fault can be detected within a bounded delay, using at most N-levels of inferencing, by one of the diagnosers. While the disjunctive scheme relies on one of the diagnosers making the failure decision, the dual conjunctive scheme relies on none of the diagnosers making the nonfailure decision. It is known that the two schemes are incomparable, and in this paper we extend our earlier work to provide a more general framework, introducing the notion of N-inference diagnosability, capturing both disjunctive and conjunctive schemes. We also develop a method for verifying N-inference diagnosability, as well as discuss several of its useful properties.
出版者	Institute of Electrical and Electronics Engineers Inc.
収録物名	IEEE Transactions on Automatic Control
巻(号)	62(6)
ページ	2778-2793
刊行年月	2016-11-02
言語	英語
ハンドルURL	https://hdl.handle.net/11094/106737
PISSN	00189286
関連情報 (isVersionOf)	DOI (出版社版) https://doi.org/10.1109/TAC.2016.2624422
アクセス権	open access
権利情報	© 2016 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
出版タイプ	Accepted Manuscript
カテゴリ	学術雑誌論文 Journal Article

資源タイプ	学術雑誌論文
ローカル資源タイプ	学術雑誌論文
DCMI資源タイプ	text
DCTERMS.bibliographicCitation	IEEE Transactions on Automatic Control. 2016, 62(6), p. 2778-2793
DC.title	A Generalized Framework for Inference-Based Diagnosis of Discrete Event Systems Capturing Both Disjunctive and Conjunctive Decision-Making
DC.creator	Takai, Shigemasa
DC.creator	Kumar, Ratnesh
DC.publisher	Institute of Electrical and Electronics Engineers Inc.
DC.language' scheme='DCTERMS.RFC1766	英語
DC.type' scheme='DCTERMS.DCMIType	text
DCTERMS.issued' scheme='DCTERMS.W3CDTF	2016-11-02
DC.identifier	https://doi.org/10.1109/TAC.2016.2624422
DC.subject	Ambiguity
	decentralized diagnosis
	discrete-event system
	inference diagnosability
	inferencing
DC.description	Takai S., Kumar R.. A Generalized Framework for Inference-Based Diagnosis of Discrete Event Systems Capturing Both Disjunctive and Conjunctive Decision-Making. IEEE Transactions on Automatic Control 62(6), 2778-2793 (2017); https://doi.org/10.1109/TAC.2016.2624422.
DCTERMS.abstract	We have previously introduced an inference-based framework for decentralized decision-making, comprising of multiple observers, each with its own partial observation, where inferencing over the ambiguities of the self and the others is used to issue local decisions, and a global decision is taken to be the one possessing the minimum ambiguity level. In this setting, we previously introduced the notion of N-inference \vee-diagnosability to characterize the existence of a disjunctive decentralized diagnosis scheme so that any fault can be detected within a bounded delay, using at most N-levels of inferencing, by one of the diagnosers. While the disjunctive scheme relies on one of the diagnosers making the failure decision, the dual conjunctive scheme relies on none of the diagnosers making the nonfailure decision. It is known that the two schemes are incomparable, and in this paper we extend our earlier work to provide a more general framework, introducing the notion of N-inference diagnosability, capturing both disjunctive and conjunctive schemes. We also develop a method for verifying N-inference diagnosability, as well as discuss several of its useful properties.
DC.rights	© 2016 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
DC.format	106737
citation_title	A Generalized Framework for Inference-Based Diagnosis of Discrete Event Systems Capturing Both Disjunctive and Conjunctive Decision-Making
citation_author	Takai, Shigemasa
citation_author	Kumar, Ratnesh
citation_publisher	Institute of Electrical and Electronics Engineers Inc.
citation_language	英語
citation_date	2016-11-02
citation_journal_title	IEEE Transactions on Automatic Control
citation_volume	62
citation_issue	6
citation_firstpage	2778
citation_lastpage	2793
citation_doi	https://doi.org/10.1109/TAC.2016.2624422
citation_public_url	https://hdl.handle.net/11094/106737

A Generalized Framework for Inference-Based Diagnosis of Discrete Event Systems Capturing Both Disjunctive and Conjunctive Decision-Making

閲覧可能ファイル

論文情報

論文詳細を表示