マイクログリッドに適用する障壁証明書ベースのシンプレックスアーキテクチャ【JST・京大機械翻訳】

Damare Amol; Roy Shouvik; Smolka Scott A.; Stoller Scott D.

プレプリント

J-GLOBAL ID：202202201563087730 整理番号：22P0292322

マイクログリッドに適用する障壁証明書ベースのシンプレックスアーキテクチャ【JST・京大機械翻訳】

A Barrier Certificate-based Simplex Architecture with Application to Microgrids

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (4件)： , , ,
資料名：
発行年： 2022年02月19日プレプリントサーバーでの情報更新日： 2022年06月02日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

著者らは,連続動的システムのランタイム保証のために,新規で証明可能な正しい設計である,バリアCertificateベースのシンプレックス(BC-Simplex)を提示した。BC-Simplexは,プラントの安全性を維持するのに保証されない高性能先進制御器,検証安全基準制御装置,および性能を犠牲にすることなく安全性を確保するための2つの制御装置間のプラントの制御を切り替える決定モジュールから成る,シンプレックス制御アーキテクチャの周りに中心がある。BC-Simplexにおいて,バリア証明書を用いて,基準制御装置が安全性を確実にすることを証明した。さらに,BC-Simplexは,障壁証明書から,制御装置間のスイッチングのための条件を導くための新しい自動化方法を特徴とする。この方法は,障壁証明書のTaylor展開に基づいており,計算的に安価なスイッチング条件を与える。強化学習を用いて訓練されたニューラルネットワークの形式において,先進制御器を特徴とするマイクログリッドへのBC-Simplexの重要な応用を考察した。マイクログリッドを,RTDS,産業標準高忠実度,リアルタイム電力システムシミュレータでモデル化した。その結果,BC-Simplexは,複雑なシステムのスイッチング条件を自動的に導出でき,スイッチング条件は,過度に保存されず,そして,BC-Simplexは,神経コントローラ上の敵対攻撃の存在下でさえ,安全性を確実にすることを示した。【JST・京大機械翻訳】

, , , , , , , , , , , ,
, , , 【Automatic Indexing@JST】

符号理論 , 光導波路,光ファイバ,繊維光学

, ,

前のページに戻る