文献

J-GLOBAL ID：202102288603398301   整理番号：21A0381863

不確定非線形ハイブリッドシステムの障壁証明書生成のための効率的フレームワーク【JST・京大機械翻訳】

An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems

著者 (4件)： Yang Zhengfeng (Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China) ,  Wu Min (Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China) ,  Lin Wang (School of Information Science and Technology, Zhejiang Sci-Tech University, Zhejiang 310018, China) ,  Lin Wang (State Key Laboratory for Novel Software Technology, Nanjing University, Jiangsu 210023, China)
資料名： Nonlinear Analysis: Hybrid Systems  (Nonlinear Analysis: Hybrid Systems)
巻： 36  ページ： Null  発行年： 2020年 
JST資料番号： A1179A  ISSN： 1751-570X  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 不確かな非線形ハイブリッドシステムを扱う能力のため,障壁証明書ベースの方法は,安全性検証問題において広範囲に使用した。本論文では,不確かな非線形ハイブリッドシステムのための障壁証明書を生成するために,区間解析による正方形プログラミングの合計を結合した効率的なフレームワークを提案した。それは,決定論的ハイブリッドシステムを得るために,有界不確実性の特徴を利用して,その障壁証明書を,正方形プログラミングの和を用いて効率的に計算することができた。計算されたバリア証明書は,元の不確実なハイブリッドシステムのための候補バリア証明書として選択され,区間解析ベースの方法を通して,関連するバリア証明条件の満足をチェックする必要がある。応用として,著者らのアプローチを用いて,非多項式ハイブリッドシステムの安全性特性を検証した。このアプローチの効率を示すためにいくつかの実験結果を与えた。Copyright 2021 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 多項式 ,  *不確実性
準シソーラス用語： *証明書 ,  有界 ,  区間解析 , 【Automatic Indexing@JST】

著者キーワード (5件)： 形式的検証 ,  不確実なハイブリッドシステム ,  バリア認証 ,  二乗プログラミングの和 ,  区間検証

分類 (2件)： データ保護  (JD01020V) ,  符号理論  (ND02030R)

タイトルに関連する用語 (6件)： 確定 ,  非線形 ,  ハイブリッドシステム ,  障壁 ,  証明書 ,  フレームワーク