文献

J-GLOBAL ID：201702267063838648   整理番号：17A0115266

予期せぬ環境挙動に対する許容度を持つ反応系の簡単な合成【Powered by NICT】

Simple Synthesis of Reactive Systems with Tolerance for Unexpected Environmental Behavior

著者 (5件)： Hagihara Shigeki ,  Ueno Atsushi ,  Tomita Takashi ,  Shimakawa Masaya ,  Yonezaki Naoki
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2016  号： FormaliSE  ページ： 15-21  発行年： 2016年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： リアクティブシステムの合成の際には,環境のいくつかの行動特性を仮定すると,仕様は,それらの条件における環境制約を含まなければならない。一般的に,このような仕様のみから合成された反応系の挙動は環境挙動をこれらの条件に従った場合の仕様を満足する傾向がある;が,実世界状況では,これは反応系の挙動は仕様を満足し,予想外の環境挙動の場合でもことが望ましい。ような場合環境耐性に対する耐性と呼ぶ。本論文では,環境耐性の簡単な定義を与え,環境耐性を持つ反応系を合成するための方法を提案した。著者らの方法では,安全性ゲームの勝利領域はSafraless合成法を用いて計算し,仕様が満たされると,利得が得であることをこのは平均支払ゲームに変換される。ゲームのための最適戦略を計算し,得られた反応系を合成した。法を実装し,実験として仕様に適用し,得られた反応系は,環境耐性を有することを確認した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： *反応系 ,  安全性 ,  ゲーム ,  利得 ,  *許容量
準シソーラス用語： 最適戦略 ,  行動特性 ,  リアクティブシステム , 【Automatic Indexing@JST】

分類 (2件)： 計算理論  (JB02000A) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (5件)： 予期 ,  環境 ,  挙動 ,  許容度 ,  反応系