|
|
|
|
|
ハイブリッドシステムはアナログ動作とデジタル動作が混在するシステムであり，自動車や航空 機，プラント制御などの組み込みコントローラなどはその典型例である．このような組み込みシ ステムは，そのエラーや障害が人命に関わったり，莫大な損失を引き起こすため高度の信頼 性が要求されるため，高信頼組み込みシステムを設計するための方法論の構築が要望されて いる．本研究では，システム検証およびパラメータ設計について，数式処理アルゴリズムおよび 制約プログラミングを用いた新しいアプローチによる解法の開発を目的とする．また，定性シミ ュレーションの手法を利用した近似的検証の手法についても研究を行う． |
 |
|
|
ドキュメント
研究概要 ([pdf], 74k)
Keyed CLP Manual ([pdf], 44k)
Keyed CLP Features ([pdf], 136k)
ハイブリッドシステムの記号的計算による解析 ([pdf], 190k)
制約論理プログラミングによるハイブリッドシステムのパラメータ設計 ([pdf], 96k)
WODES'06 ([pdf], 130k)
[戻る]