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

計測と制御

Online ISSN : 1883-8170
Print ISSN : 0453-4662
ISSN-L : 0453-4662

解説

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

石井大輔, 上田和紀

著者情報

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

ジャーナルフリー

2014 年 53 巻 12 号 p. 1086-1092

DOI https://doi.org/10.11499/sicejl.53.1086

詳細

記事の1ページ目

著者関連情報

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

お気に入り & アラート

関連記事

閲覧履歴

前身誌

Top