非線形ハイブリッドシステムの可到達集合の精度保証

• 石井 大輔

  東京工業大学 大学院情報理工学研究科

• 上田 和紀

  早稲田大学 基幹理工学部 情報理工学科

書誌事項

タイトル別名

• Validated Interval Computation of Reachable Sets of Nonlinear Hybrid Systems
• ヒセンケイ ハイブリッド システム ノ カ トウタツ シュウゴウ ノ セイド ホショウ

収録刊行物

• 計測と制御

  計測と制御 53 (12), 1086-1092, 2014

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

キーワード

• サイバーフィジカルシステム
• ハイブリッドシステム
• 精度保証付き数値計算
• 区間解析
• 制約プログラミング

詳細情報

• CRID: 1390001206547807744
• NII論文ID: 130005626615
• NII書誌ID: AN00072406
• DOI: 10.11499/sicejl.53.1086
• ISSN: 18838170
• ISSN: 04534662
• NDL書誌ID: 025991883
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I025991883
• 本文言語コード: ja
• データソース種別:
  • JaLC
  • NDL
  • CiNii Articles
  • KAKEN