文献

J-GLOBAL ID：201802243498579058   整理番号：18A1415900

制約に基づいたパラメトリックハイブリッドシステムの精度保証シミュレーション

Validated Simulation of Parametric Hybrid Systems Based on Constraints

著者 (4件)： 松本翔太 (早稲田大 大学院基幹理工学研究科) ,  別納健市 (早稲田大 大学院基幹理工学研究科) ,  増田健太 (早稲田大 理工学術院) ,  上田和紀 (早稲田大 理工学術院)
資料名： 人工知能学会全国大会論文集(CD-ROM)  (人工知能学会全国大会(CD-ROM))
巻： 31st  ページ： ROMBUNNO.1M3-4  発行年： 2017年 
JST資料番号： X0580B  ISSN： 1347-9881  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 本研究では,離散時間動的システムと連続時間動的システムの混合系であるハイブリッド動的システムのうち,特にパラメタ化された系に対しての記号実行シミュレータの開発を行った。本シミュレータは記号実行と精度保証数値計算を組み合わせた制約処理手法を採用しており,システムの取りうる軌道のパラメタを用いた表現を計算することができる。(著者抄録)

シソーラス用語： *ハイブリッド系 ,  *パラメタリゼーション ,  *動的系 ,  シミュレータ ,  計算機シミュレーション ,  評価試験 ,  軌道
準シソーラス用語： パラメトリックハイブリッドシステム ,  離散時間動的系

分類 (3件)： システム・制御理論一般  (IA02010H) ,  その他の情報処理  (JE15050M) ,  制御工学一般  (IC01000V)

タイトルに関連する用語 (3件)： 制約 ,  精度保証 ,  シミュレーション