文献

J-GLOBAL ID：202002234642315064   整理番号：20A2075767

ハイブリッドシステムにおけるUntil演算子による公式の満足のための十分条件【JST・京大機械翻訳】

Sufficient conditions for satisfaction of formulas with until operators in hybrid systems

著者 (3件)： Han Hyejin (University of California) ,  Maghenem Mohamed (University of California) ,  Sanfelice Ricardo G. (University of California)
資料名： ACM Proceedings  (ACM Proceedings)
号： HSCC ’20  ページ： 1-10  発行年： 2020年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 本論文では,ハイブリッド動的システムのためのオペレータを用いて,時間論理仕様の満足度を検証するツールを導入した。ハイブリッド動的システムを微分および差分介在物に関して与え,それぞれ連続および離散動力学(または事象)を捉えた。そのようなシステムに対して,条件付き不変性と最終的な条件付き不変性を用いて,オペレータまで関連する動的特性を特徴付けた。オペレータを含む時間論理仕様の満足のための十分条件を,システムを定義するデータの特性とバリア関数またはLyapunov様関数の存在を保証することによって提供した。用例は,本論文を通して結果を説明した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *オペレータ ,  動的系 ,  十分条件 ,  不変性 ,  時間論理 ,  介在物
準シソーラス用語： ハイブリッドシステム , 【Automatic Indexing@JST】

著者キーワード (5件)： 条件付き不変性 ,  前方不変性 ,  ハイブリッドシステム ,  線形時間論理 ,  無人運転員

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

タイトルに関連する用語 (4件)： ハイブリッドシステム ,  演算子 ,  満足 ,  十分条件