MISC

2008年

数式処理・quantifier eliminationを用いたハイブリッドシステムのZeno状態の導出手法

人工知能学会全国大会論文集
  • 大野 善之
  • ,
  • 石井 大輔
  • ,
  • 上田 和紀

8
0
開始ページ
15
終了ページ
15
記述言語
日本語
掲載種別
出版者・発行元
一般社団法人 人工知能学会

ハイブリッドシステムのモデルには,有限時間内に無限の離散変化が起こる性質Zenonessを持つものが存在する.本研究では,数式処理およびquantifier eliminationを用いてモデルが陥りうるZeno状態を導出できるようにする.

リンク情報
CiNii Articles
http://ci.nii.ac.jp/naid/130004654003
ID情報
  • CiNii Articles ID : 130004654003
  • identifiers.cinii_nr_id : 9000258631909

エクスポート
BibTeX RIS