環境許容性のあるリアクティブシステム合成法

上野篤史; 冨田尭; 島川昌也; 萩原茂樹; 米崎直樹

文献

J-GLOBAL ID：201502288341100421 整理番号：15A0582393

環境許容性のあるリアクティブシステム合成法

Reactive System Synthesis with Tolerance for Unexpected Environmental Behavior

出版者サイト複写サービスで全文入手 {{ this.onShowCLink("http://jdream3.com/copy/?sid=JGLOBAL&noSystem=1&documentNoArray=15A0582393&COPY=1") }}
高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=15A0582393&from=J-GLOBAL&jstjournalNo=S0532B") }}

著者 (5件)： , , , ,
資料名：
巻： 114 号： 510(SS2014 55-73) ページ： 7-12 発行年： 2015年03月02日
JST資料番号： S0532B ISSN： 0913-5685 資料種別：会議録 (C)
記事区分：原著論文発行国：日本 (JPN) 言語：日本語 (JA)

形式的に記述された仕様からリアクティブシステム(RS)を自動合成する手法では,仕様φ_sysを満たす振る舞いをするRSが制約φ_envに従う環境からの入力を想定する場合,φ_env→φ_sysの形で仕様が記述される。この仕様からは,環境からφ_envを満たさない想定外の入力に対してどのような振る舞いをしても良いシステムが合成されうる。しかし,現実世界での安全性を考えた場合は,想定外の入力に対しても,φ_sysをできるだけ満たすような環境許容性のあるRSが合成されることが望ましい。本稿ではこのような合成手法を提案する。一般的なRSの合成手法では,仕様の実現の集合である勝利領域から任意の戦略を選び,RSとして合成するが,本手法では,φ_sysをできるだけ満たす振る舞いに利得を割り当てた平均利得ゲームを構築し,平均利得ゲームの最適解をRSとして合成する。(著者抄録)

, , , , , , , , , , ,
, , , ,

計算機システム開発 , 人工知能

引用文献 (20件)：

A. Pnueli and R. Rosner, "On the synthesis of a reactive module," Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.179-190, POPL '89, ACM, New York, NY, USA, 1989. http://doi.acm.org/10.1145/75277.75293
M. Abadi, L. Lamport, and P. Wolper, "Realizable and unrealizable specifications of reactive systems," Automata, Languages and Programming, eds. by G. Ausiello, M. Dezani-Ciancaglini, and S. Della Rocca, vol.372, pp.1-17, Lecture Notes in Computer Science, Springer Berlin Heidelberg, 1989. http://dx.doi.org/10.1007/BFb0035748
O. Kupferman and M.Y. Vardi, "Safraless decision procedures," Foundations of Computer Science, 2005. FOCS 2005. 46th Annual IEEE Symposium on, pp.531-540, Oct. 2005.
A. Pnueli, "The temporal logic of programs," Foundations of Computer Science, 1977., 18th Annual Symposium onIEEE, pp.46-57 1977.
"Acacia+". http://lit2.ulb.ac.be/acaciaplus/

, , ,

前のページに戻る