文献

J-GLOBAL ID：202102276959348446   整理番号：21A0006075

障壁証明書による近似的不透明度の検証【JST・京大機械翻訳】

Verification of Approximate Opacity via Barrier Certificates

著者 (2件)： Liu Siyuan (Department of Electrical and Computer Engineering, Technical University of Munich, Munich, Germany) ,  Zamani Majid (Computer Science Department, University of Colorado Boulder, CO, USA)
資料名： IEEE Control Systems Letters  (IEEE Control Systems Letters)
巻： 5  号： 4  ページ： 1369-1374  発行年： 2021年 
JST資料番号： W3481A  ISSN： 2475-1456  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： このレターはサイバー-物理システムのセキュリティの懸念の増大によって動機づけられる。ここでは,離散時間制御システムのクラスに対して,近似初期状態不透明と呼ばれる情報フローセキュリティ特性を標的とする離散化フリー検証スキームを開発した。システムの初期および秘密集合を捉える関心の指定領域と共に,いわゆる拡張制御障壁証明書の概念を提案した。離散時間制御システムの近似初期状態不透明度に対する十分条件を,提案した障壁証明書の存在に基づいて提案した。さらに,二乗プログラミング問題として障壁証明書に対する条件をキャスティングすることにより,効率的な計算法を示した。提案した結果の有効性を2つの数値例を通して例証した。Copyright 2021 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 制御系 ,  *近似法 ,  十分条件 ,  有効性 ,  セキュリティ
準シソーラス用語： *証明書 ,  *不透明度 ,  離散化 ,  情報フロー ,  初期状態 ,  システムセキュリティ , 【Automatic Indexing@JST】

分類 (1件)： システム設計・解析  (IA02030D)

タイトルに関連する用語 (5件)： 障壁 ,  証明書 ,  近似 ,  不透明度 ,  検証