文献

J-GLOBAL ID：201802218923628234   整理番号：18A1909039

2つの局所管理者による離散事象システムの遅延共可観測性のチェック【JST・京大機械翻訳】

Checking Delay Co-Observability of Discrete Event Systems with Two Local Supervisors

著者 (3件)： Xu Pan (Tongji University, School of Electronics and Information Engineering, Shanghai, China) ,  Shu Shaolong (Tongji University, School of Electronics and Information Engineering, Shanghai, China) ,  Lin Feng (Wayne State University, Department of Electrical and Computer Engineering, Detroit, MI, 48202, USA)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2018  号： SICE  ページ： 1063-1068  発行年： 2018年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 本論文では,与えられた離散事象システムとその仕様言語に対して,著者らの以前の論文における非決定論的通信遅延の下で分散非ブロッキングネットワーク化制御問題を解決するために導入された遅延共可観測性をチェックする方法を提案した。遅延共可観測性のチェック問題を,非決定論的遅れの下で識別可能なストリング集合を追跡することに変換した。異なる決定論的遅れに対するこれらの収集を捉えるために,一連のオートマトンを構築した。これらの結果は,すべての構成されたオートマトンにおいて,「悪い」状態が存在しない場合のみ,仕様言語が遅延共観測可能であることを示している。この方法において,著者らは,2つの局所的監視装置を有するケースに対する遅延共可観測性の検証問題を首尾よく解決した。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *可観測性 ,  監視装置 ,  オートマトン ,  ブロッキング ,  *管理者 ,  仕様記述言語
準シソーラス用語： 決定論 ,  *離散事象系 , 【Automatic Indexing@JST】

分類 (1件)： 図形・画像処理一般  (JE04010I)

タイトルに関連する用語 (5件)： 管理者 ,  離散事象システム ,  遅延 ,  可観測性 ,  チェック