文献

J-GLOBAL ID：202202257153413669   整理番号：22A0848051

計量遷移システムにおける近似安全性特性【JST・京大機械翻訳】

Approximate Safety Properties in Metric Transition Systems

著者 (4件)： Qian Junyan (Guangxi Key Laboratory of Multi-Source Information Mining and Security, Guangxi Normal University, Guilin, China) ,  Shi Fan (Nanjing University of Aeronautics and Astronautics, Nanjing, China) ,  Cai Yong (Guangxi Road and Bridge Engineering Group Company, Ltd., Nanning, China) ,  Pan Haiyu (Guangxi Key Laboratory of Trusted Software, Guilin University of Electronic Technology, Guilin, China)
資料名： IEEE Transactions on Reliability  (IEEE Transactions on Reliability)
巻： 71  号： 1  ページ： 221-234  発行年： 2022年 
JST資料番号： C0448A  ISSN： 0018-9529  CODEN： IERQAD  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 反応性系の定量的検証のために,計量遷移システム(MTS)を提案した。MTSに基づくシステムの挙動を定量的に解析するための多くの論文がある。本論文では,この研究ラインに沿って,安全特性を高めることにより,さらに進歩し,それは,MTSに対するシステムの実行中に,何も「bad」が生じないことを主張した。最初に,著者らは,システムがどのようにその仕様を満たすかを解析するために使用する[0,1]から距離閾値α_takeを導入した。次に,α-安全特性と呼ばれる安全特性の定量的拡張を示した。さらに,著者らは,それらの閉鎖によるα-安全性特性の代替特性化を与えた。さらに,システムがα-安全特性のサブクラスを満たすかどうかを検証するためのアルゴリズムを開発し,通常のα-安全特性を等価メトリック有限オートマトンに変換する方法を与えた。最後に,著者らのアプローチを説明する例を示した。Copyright 2022 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  *安全性 ,  有限オートマトン ,  *近似法 ,  性徴 ,  キャラクタリゼーション ,  検証 ,  *遷移システム
準シソーラス用語： ホップ数 , 【Automatic Indexing@JST】

分類 (2件)： 電力系統一般  (NB02000E) ,  システム設計・解析  (IA02030D)

タイトルに関連する用語 (4件)： 計量 ,  遷移システム ,  近似 ,  性特性