ハイブリッドシステムの最前線　　記号計算に基づくハイブリッドシステムの解析

• 平石 邦彦

  北陸先端科学技術大学院大学 情報科学研究科 社団法人 計測自動制御学会

書誌事項

タイトル別名

• Analysis of Hybrid Systems based on Symbolic Computation
• キゴウ ケイサン ニ モトヅク ハイブリッド システム ノ カイセキ

収録刊行物

• 計測と制御

  計測と制御 44 (7), 446-451, 2005

  公益社団法人 計測自動制御学会

キーワード

• ハイブリッドオートマトン
• 時間オートマトン
• 検証
• 記号計算

詳細情報

• CRID: 1390282681494704256
• NII論文ID: 10016589781
• NII書誌ID: AN00072406
• DOI: 10.11499/sicejl1962.44.446
• ISSN: 18838170
• ISSN: 04534662
• NDL書誌ID: 7422267
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I7422267
• 本文言語コード: ja
• データソース種別:
  • JaLC
  • NDL
  • CiNii Articles