組込みシステムにおけるハイブリッドオートマトンの形式的手法

計測と制御

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

解説

組込みシステムにおけるハイブリッドオートマトンの形式的手法

山根智

著者情報

キーワード: 組込みシステム, ハイブリッドシステム, ハイブリッドオートマトン, 確率時間オートマトン, CEGAR

ジャーナルフリー

2009 年 48 巻 11 号 p. 810-815

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

詳細

記事の1ページ目

著者関連情報

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

お気に入り & アラート

関連記事

閲覧履歴

前身誌

Top