文献

J-GLOBAL ID：202102215262010694   整理番号：21A1957360

障壁証明書による相互接続制御システムのための不透明性のモジュール検証【JST・京大機械翻訳】

Modular Verification of Opacity for Interconnected Control Systems via Barrier Certificates

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

抄録/ポイント： 本レターでは,離散時間制御システムのネットワークに対する初期状態不透明性を検証する問題を考察した。適切に構築した拡張システム上の安全性として不透明性を定式化し,適切な障壁証明書を見つけることにより,この後者の特性を検証することを目指した。大規模ネットワークに対する障壁証明書の計算に関連する計算量を減らすために,大規模相互接続システムのためのそのような障壁証明書を構築するための構成アプローチを提案した。これは,ネットワーク内のサブシステムに対する局所障壁証明書を導入し,それらの局所障壁証明書の利得にいくつかの小利得型条件を課すことによって達成される。また,拡張システム上のいくつかの可到達性を保証するバリア証明書を構築することにより,大規模ネットワークにおける不透明さの欠如を検証する十分条件を提供した。著者らの結果の有効性を説明するために,著者らは,車両のチームを用いて目標を追跡する問題を考察し,その初期位置が外部侵入者から可能かどうかを検証した。Copyright 2021 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： ネットワーク ,  制御系 ,  *相互接続 ,  計算量 ,  利得 ,  十分条件 ,  有効性 ,  定式化
準シソーラス用語： *証明書 ,  サブシステム ,  初期状態 ,  大規模ネットワーク , 【Automatic Indexing@JST】

分類 (3件)： システム設計・解析  (IA02030D) ,  その他のシステム・制御理論  (IA02060K) ,  数値解析,近似法  (AB04000F)

タイトルに関連する用語 (6件)： 障壁 ,  証明書 ,  相互接続 ,  制御システム ,  モジュール ,  検証