文献

J-GLOBAL ID：201702268685323329   整理番号：17A1394169

非線形連続系の安全性検証のためのヒューリスティックな方法【Powered by NICT】

A heuristical method for safety verification of nonlinear continuous systems

著者 (3件)： Li Wang (School of Computer Science, Zhaoqing University, Zhaoqing 526061, P. R. China) ,  Yang Lu (Chengdu Institute of computer application, Chinese Academy of Sciences, Chengdu 610041, P. R. China) ,  Yu Wensheng (School of Electronic Engineering, Beijing University of Posts and Telecommunications, Beijing 100876, P. R. China)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： CCC  ページ： 2409-2414  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： ハイブリッドシステムはサイバー-物理システム,多くの物理的過程微分方程式によりモデル化された常にの重要な数学的モデルである。これらのシステムの安全性検証が緊急の課題となっている。本論文では,非線形微分方程式により定義されたシステムを決定するための発見的方法は安全であるかどうかは,この方法を例証するための事例研究としてのVan der Pol方程式を考察し提案した。さらに,バリア機能を探索する問題を考察した対応する不安全領域が拡大すると,不安全領域の半径が1.2082の場合,システムは安全,把握した。他方,reachablity解析の点から,不安全領域の半径は1.209に拡大すると,システムは,不安全ななるが証明された。この方法を用いて,著者らは,不安全な領域の半径で指定された精度で安全性検証問題を考察した。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】

分類 (1件)： 発振回路  (NC05020Y)

タイトルに関連する用語 (5件)： 非線形 ,  連続系 ,  安全性 ,  検証 ,  ヒューリスティック