文献

J-GLOBAL ID：202002225550839058   整理番号：20A1103055

線形ハイブリッドシステムにおける安全性の破れによって誘起された反例の抽出【JST・京大機械翻訳】

Extracting counterexamples induced by safety violation in linear hybrid systems

著者 (2件)： Goyal Manish (Department of Computer Science, University of North Carolina at Chapel Hill, USA) ,  Duggirala Parasara Sridhar (Department of Computer Science, University of North Carolina at Chapel Hill, USA)
資料名： Automatica  (Automatica)
巻： 117  ページ： Null  発行年： 2020年 
JST資料番号： B0208A  ISSN： 0005-1098  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 線形システムのための制御設計は,典型的に極配置を含み,Lyapunov関数を計算する。これらのツールは安定性を確保するために有用であるが,それらは常に安全性を確保するのに役立つわけではない。制御設計者は,安全性を検査するツールとしてモデル検査を使用することができる。著者らは,安全仕様のための様々なタイプの反例を提供するためにモデルチェッカーを補完することが,制御開発プロセスにおける制御設計者を助けることを信じる。本論文では,線形ハイブリッドシステムにおける安全性違反のための種々の反例を得るための技術について述べた。より具体的には,最も長い隣接時間に対して安全でない集合にとどまる最長の反例を抽出するアルゴリズムを開発した。最も深い反例は,ユーザ指定方向における安全でない集合に最も多く,また,いくつかの有界摂動が新しい反例をもたらす安全でない実行である。反例を分類するためのこれらの対策は,制御装置の性能を定量化するのにさらに役立つことができる。Copyright 2020 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  線形系 ,  線形計画法 ,  制御装置 ,  動的計画法 ,  *Lyapunov関数 ,  線形性 ,  極零点配置 ,  摂動 ,  モデル検査
準シソーラス用語： *反例 ,  制御設計 ,  開発プロセス ,  ハイブリッドシステム ,  有界 , 【Automatic Indexing@JST】

著者キーワード (5件)： 安全性検証 ,  ハイブリッドシステム ,  反例 ,  動的計画法 ,  線形計画法

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

タイトルに関連する用語 (4件)： 線形 ,  ハイブリッドシステム ,  誘起 ,  反例