文献

J-GLOBAL ID：202102252338807622   整理番号：21A0087929

離散事象システムのスーパバイザ削減のためのアプローチ【JST・京大機械翻訳】

An Approach for Supervisor Reduction of Discrete-Event Systems

著者 (5件)： Zhang Huimin (College of Computer Science and Information Engineering, Guangxi Normal University, Guilin, China) ,  Zhang Huimin (Guangxi Key Laboratory of Trusted Software, Guilin University of Electronic Technology, Guilin, China) ,  Feng Lei (Department of Machine Design, KTH Royal Institute of Technology, Stockholm, Sweden) ,  Xie Wu (Guangxi Key Laboratory of Trusted Software, Guilin University of Electronic Technology, Guilin, China) ,  Yu Feng (College of Computer Science and Information Engineering, Guangxi Normal University, Guilin, China)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 12519  ページ： 3-14  発行年： 2020年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 離散事象システムの監視制御理論において,仮定監督者は,プラントと仕様の両方の遷移制約を組み入れるので,監督者の状態サイズは,通常大きく,制御論理は,理解するのが難しい。したがって,小さなサイズの縮小監視装置の計算は,設計と実装の両方にとって意味がある。十分な条件が満足されるならば,削減された監督者をsupremal監督者から分離できるアルゴリズムを提案する。十分条件をチェックするためのアルゴリズムも提示した。十分条件が満足される場合,O(m.n)の計算量で,整数mとnが,それぞれ,仮定監視の状態数と,イベント集合の基数であると計算することができる。そして,縮小スーパバイザのステートサイズは,仕様のものと同等かそれ以下であった。いくつかの例を示し,提案した方法を説明した。Copyright Springer Nature Switzerland AG 2020 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  監督者 ,  *管理者 ,  プラント ,  監視装置 ,  計算量 ,  制御理論 ,  十分条件
準シソーラス用語： 基数 ,  *離散事象系 , 【Automatic Indexing@JST】

著者キーワード (3件)： 監視制御理論 ,  離散事象システム ,  監督者削減

分類 (2件)： システム設計・解析  (IA02030D) ,  システム・制御理論一般  (IA02010H)

タイトルに関連する用語 (2件)： 離散事象システム ,  スーパバイザ