文献

J-GLOBAL ID：201802235906041292   整理番号：18A0243406

遅延情報を用いたほぼ正しいフォールトトレラント制御【Powered by NICT】

Provably-correct fault tolerant control with delayed information

著者 (2件)： Yang Liren (Dept. of EECS, Univ. of Michigan, Ann Arbor, MI 48109, USA) ,  Ozay Necmiye (Dept. of EECS, Univ. of Michigan, Ann Arbor, MI 48109, USA)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： CDC  ページ： 542-549  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 本論文では,セット故障配置の階層的有限遷移システムのクラスを研究し,著者らは,故障が起きたとしてグレースフルデグラデーションをもたらすこのようなシステムのためのフォールトトレラントコントローラを合成する考察した。以前の研究では,問題は,(i)各断層構成の仕様を「リーチアボイド滞在」型であり,(ii)故障発生の知識は即時という仮定の下で解いた。は二つの側面で以前の研究を拡張した。まず,線形時間論理のより一般的なフラグメントにおける与えられた仕様のアルゴリズムを提案した。第二に,提案したアルゴリズムは,故障検出遅延の存在下でも仕様の満足度を保証するコントローラを合成する改良されたできるかを示した。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 故障検出 ,  制御装置 ,  アルゴリズム ,  遷移システム ,  *故障
準シソーラス用語： 線形時間論理 ,  階調 ,  *フォールトトレラント制御 , 【Automatic Indexing@JST】

分類 (1件)： システム設計・解析  (IA02030D)

タイトルに関連する用語 (2件)： 遅延 ,  フォールトトレラント制御