文献

J-GLOBAL ID：201302261701417480   整理番号：13A0307309

高次道路車両モデルの安全性証明のための低次モデルの可到達性の計算

Reachability Computation of Low-Order Models for the Safety Verification of High-Order Road Vehicle Models

著者 (2件)： ALTHOFF Matthias (Carnegie Mellon Univ., PA, USA) ,  DOLAN John M. (Carnegie Mellon Univ., PA, USA)
資料名： Proceedings of the American Control Conference  (Proceedings of the American Control Conference)
巻： 2012 Vol.5  ページ： 3559-3566  発行年： 2012年 
JST資料番号： B0982A  ISSN： 0743-1619  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 著者らは,達成可能セット計算の2つの版:不確実摩擦を直接考慮するものと,擾乱を与えることにより間接的にそれを考慮するもう1つのもの,を提供した。両方のケースで,セットは,擾乱を加えそして初期状態のセットを僅かに拡大した時の,高速探索ランダムツリーにより生成した高次車両モデルの全ての状態を含んだ。固定摩擦パラメータによる計算は,摩擦係数が高い不確実性を持たない場合,著しく速く,かくして望まれた。固定摩擦パラメータを用いた時MATLABプロトタイプは,操作の実行時間よりすでにもっと早かった。方式はまた,高次モデルのシミュレーションが,高次挙動を囲う,達成可能セットの計算のそれに類似な時間量を要する,ことを示した。

シソーラス用語： 自動車 ,  モデル ,  安全管理 ,  *可到達性 ,  計算 ,  摩擦 ,  不確実性 ,  擾乱 ,  パラメータ ,  摩擦係数 ,  プログラムパッケージ ,  計算機シミュレーション
準シソーラス用語： MATLAB ,  *安全性証明 ,  実行時間 ,  車両モデル ,  初期状態 ,  *道路車両

分類 (1件)： 電装品  (QG03070C)

タイトルに関連する用語 (5件)： 道路車両 ,  モデル ,  安全性証明 ,  可到達性 ,  計算