文献

J-GLOBAL ID：202102233911737731   整理番号：21A2638015

安全臨界埋込みシステムのための抽象化ベース記号制御バリア関数【JST・京大機械翻訳】

Abstraction-Based Symbolic Control Barrier Functions for Safety-Critical Embedded Systems

著者 (2件)： Mizoguchi Masashi (Graduate School of Engineering Science, Osaka University, Toyonaka, Japan) ,  Ushio Toshimitsu (Graduate School of Engineering Science, Osaka University, Toyonaka, Japan)
資料名： IEEE Control Systems Letters  (IEEE Control Systems Letters)
巻： 6  ページ： 1436-1441  発行年： 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】

分類 (5件)： 安全管理  (KB06000D) ,  走行装置  (QG03040V) ,  システム工学一般  (IB01000S) ,  信頼性  (KB04040H) ,  走行性能  (QG02020S)

タイトルに関連する用語 (6件)： 臨界 ,  埋込みシステム ,  抽象化 ,  記号 ,  バリア ,  関数