文献

J-GLOBAL ID：202202281950008026   整理番号：22A0940833

STL仕様の下での非線形連続時間システムのための閉形式サンプル値コントローラの形式的合成【JST・京大機械翻訳】

Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications

著者 (4件)： Verdier Cees Ferdinand (Hardt Hyperloop, Paardenmarkt 1, 2611 PA, Delft, The Netherlands) ,  Kochdumper Niklas (Department of Informatics, Technical University of Munich, 85748 Garching, Germany) ,  Althoff Matthias (Department of Informatics, Technical University of Munich, 85748 Garching, Germany) ,  Mazo Manuel (Delft Center of Systems and Control, Delft University of Technology, 2628 CD Delft, The Netherlands)
資料名： Automatica  (Automatica)
巻： 139  ページ： Null  発行年： 2022年 
JST資料番号： B0208A  ISSN： 0005-1098  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 有限時間軌道上のSTL仕様を満たすための非線形系に対する閉形式サンプリングデータ制御器の形式的合成に対する反例誘導合成フレームワークを提案した。単一初期条件に対するSTL仕様を,初期条件の(無限および有界)集合を考察した。候補解は,有限数のシミュレーションに基づくコントローラを進化させる遺伝的プログラミングを用いて提案した。続いて,最良の候補を到達可能性分析を使用して検証した。候補解が仕様を満足しないならば,仕様を違反する初期条件を反例として抽出する。この反例に基づいて,候補解を最終的に解が見つかるまで精密化した(または,反復のユーザ指定数)。得られたサンプリングデータコントローラを閉形式表現として表現し,限られたメモリと計算電力で組込みハードウェアにおける解釈性と実装の両方を可能にした。本アプローチの有効性を多重システムに対して実証した。Copyright 2022 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 記憶装置 ,  非線形系 ,  制御装置 ,  電力 ,  不確実性 ,  多重化 ,  ハードウェア ,  精密化 ,  初期条件 ,  有効性 ,  *連続時間系 ,  遺伝的プログラミング
準シソーラス用語： 反例 ,  *閉形式 ,  有界 , 【Automatic Indexing@JST】

著者キーワード (5件)： 達成可能なコントローラの性能 ,  不確実性を有するシステムのための最適コントローラ合成 ,  形式的コントローラ合成 ,  時相論理 ,  到達可能性解析

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

タイトルに関連する用語 (6件)： 仕様 ,  非線形 ,  連続時間システム ,  閉形式 ,  サンプル値 ,  コントローラ