Non-Uniformly Bounded Inference Observability for Decentralized Supervisory Control of Discrete Event Systems

Takai, Shigemasa; Kumar, Ratnesh

doi:https://doi.org/10.1109/WODES69290.2026.11598452

Non-Uniformly Bounded Inference Observability for Decentralized Supervisory Control of Discrete Event Systems

Takai, Shigemasa; Kumar, Ratnesh

18th International Workshop on Discrete Event Systems (WODES), 2026, 115-120

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

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

閲覧可能ファイル

ファイル	フォーマット	利用条件	サイズ	閲覧回数	利用開始日	説明	information
WODES_2026_115	pdf	なし	98.6 KB	57	2026.09.11

論文情報

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

タイトル	Non-Uniformly Bounded Inference Observability for Decentralized Supervisory Control of Discrete Event Systems
著者	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
内容	Takai S., Kumar R. Non-Uniformly Bounded Inference Observability for Decentralized Supervisory Control of Discrete Event Systems. Proceedings of 18th International Workshop on Discrete Event Systems (WODES 2026). 2026, pp. 115-120, https://doi.org/10.1109/WODES69290.2026.11598452.
抄録	In the inference-based decentralized supervisory control framework for discrete event systems, multiple local supervisors perform multi-level inference against self-ambiguity and ambiguities of the others to jointly arrive at a correct control decision. For a chosen nonnegative integer N, the notion of N-inference observability together with controllability guarantees that the given specification language is enforced using N-level inference. The class of N-inference observable languages increases strictly monotonically as the parameter N is increased, i.e., there is no upper bound for the required level of inference. Informed by this fact, we introduce a notion of non-uniformly bounded inference observability, which does not involve an upper bound of inference level, and is weaker than N-inference observability for any nonnegative integer N. It together with controllability serves as a necessary and sufficient condition for the existence of a decentralized supervisor that uses inference with unbounded level.
会議情報	会議名 18th International Workshop on Discrete Event Systems (WODES 2026) 開催期間 8-10 June 2026 開催会場 Auditorium, Eindhoven University of Technology (TU/e) 開催地 Eindhoven, Noord-Brabant 開催国オランダ
出版者	Institute of Electrical and Electronics Engineers Inc.
収録物名	18th International Workshop on Discrete Event Systems (WODES)
ページ	115-120
刊行年月	2026-07-15
言語	英語
ハンドルURL	https://hdl.handle.net/11094/106399
関連情報 (isVersionOf)	DOI (出版社版) https://doi.org/10.1109/WODES69290.2026.11598452
アクセス権	open access
権利情報	© 2026 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	18th International Workshop on Discrete Event Systems (WODES). 2026, p. 115-120
DC.title	Non-Uniformly Bounded Inference Observability for Decentralized Supervisory Control of Discrete Event Systems
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	2026-07-15
DC.identifier	https://doi.org/10.1109/WODES69290.2026.11598452
DC.description	Takai S., Kumar R. Non-Uniformly Bounded Inference Observability for Decentralized Supervisory Control of Discrete Event Systems. Proceedings of 18th International Workshop on Discrete Event Systems (WODES 2026). 2026, pp. 115-120, https://doi.org/10.1109/WODES69290.2026.11598452.
DCTERMS.abstract	In the inference-based decentralized supervisory control framework for discrete event systems, multiple local supervisors perform multi-level inference against self-ambiguity and ambiguities of the others to jointly arrive at a correct control decision. For a chosen nonnegative integer N, the notion of N-inference observability together with controllability guarantees that the given specification language is enforced using N-level inference. The class of N-inference observable languages increases strictly monotonically as the parameter N is increased, i.e., there is no upper bound for the required level of inference. Informed by this fact, we introduce a notion of non-uniformly bounded inference observability, which does not involve an upper bound of inference level, and is weaker than N-inference observability for any nonnegative integer N. It together with controllability serves as a necessary and sufficient condition for the existence of a decentralized supervisor that uses inference with unbounded level.
DC.rights	© 2026 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	106399
citation_title	Non-Uniformly Bounded Inference Observability for Decentralized Supervisory Control of Discrete Event Systems
citation_author	Takai, Shigemasa
citation_author	Kumar, Ratnesh
citation_publisher	Institute of Electrical and Electronics Engineers Inc.
citation_language	英語
citation_date	2026-07-15
citation_journal_title	18th International Workshop on Discrete Event Systems (WODES)
citation_firstpage	115
citation_lastpage	120
citation_doi	https://doi.org/10.1109/WODES69290.2026.11598452
citation_public_url	https://hdl.handle.net/11094/106399

Non-Uniformly Bounded Inference Observability for Decentralized Supervisory Control of Discrete Event Systems

閲覧可能ファイル

論文情報

論文詳細を表示