文献

J-GLOBAL ID：201802275827513782   整理番号：18A0260465

一般化可能性測度に基づく線形時間特性の定量的モデル検査【Powered by NICT】

Quantitative model checking of linear-time properties based on generalized possibility measures

著者 (1件)： Li Yongming (College of Computer Science, Shaanxi Normal University, Xi’an, 710062, China)
資料名： Fuzzy Sets and Systems  (Fuzzy Sets and Systems)
巻： 320  ページ： 17-39  発行年： 2017年 
JST資料番号： H0731A  ISSN： 0165-0114  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 可能性測度に基づく線形時間特性のモデル検査は,以前の研究(LiとLi(2013))で研究した。しかし,以前の研究で考察した線形時間特性は定性的であり,Boole論理に基づいた,システムの可能性情報(,ファジィ線形時間特性,ファジィ論理に基づくと呼ぶ)を含む線形時間特性は従来の方法を用いて提示されると共に,取り組むことができなかった。論文で一般化可能性測度に基づくファジィ線形時間特性の定量的モデル検査を調べた。システムはに付着する必要がある特性だけでなく,システムの両モデルはモデル/特性における不確実性を同定するための可能性情報を用いて記述した。システムは一般化された確率的Kripke構造(GPKS,)によりモデル化し,特性をファジィ線形時間特性により記述した。具体的には,GPKSsにおける可到達性,可到達性,制約可到達性,可到達性と持続性についてのファジィ線形時間特性を導入し,研究した。GPKSsにおけるファジィ規則的安全性とファジィω正規特性を紹介し,ファジィ規則的安全性特性の検証とファジィ有限オートマトンを用いたファジィω正規特性を徹底的に研究した。ファジィ正規安全性特性の検証と有限GPKSにおけるファジィω正規特性を本論文で導入した製品GPKSで(常に)到達可能性特性と繰り返し到達可能性(持続性)特性の検証に変換できることを示した。いくつかの例を本論文で提示した方法を説明した。Copyright 2018 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【Powered by NICT】

シソーラス用語： *線形性 ,  モデリング ,  有限オートマトン ,  ファジィ論理 ,  曖昧さ ,  *モデル検査 ,  リチウム ,  安全性 ,  不確実性 ,  *測度
準シソーラス用語： ファジィルール ,  持続性 , 【Automatic Indexing@JST】

著者キーワード (6件)： モデル検査 ,  可能性理論 ,  線形時相論理 ,  ファジィ有限オートマトン ,  ファジィ正規言語 ,  一般化された確率的Kripke構造

分類 (1件)： システム・制御理論一般  (IA02010H)

タイトルに関連する用語 (6件)： 一般化 ,  可能性 ,  測度 ,  線形 ,  定量 ,  モデル検査