/ プログラム/ 発表一覧/ 著者一覧企業展示一覧/ jsai2016ホーム /

1F3-4 多数の離散変化をともなうハイブリッドシステムに対するループ検出を用いた解析

*セッションの無断動画配信はご遠慮下さい。

Tweet #jsai30th このエントリーをはてなブックマークに追加

06月06日(Mon) 13:20〜15:00 F会場(36名-国際会議場 31会議室)
1F3 基礎・理論「制約充足」

演題番号1F3-4
題目多数の離散変化をともなうハイブリッドシステムに対するループ検出を用いた解析
著者別納 健市(早稲田大学基幹理工学部情報理工学科)
松本 翔太(早稲田大学大学院基幹理工学研究科情報理工学専攻)
若槻 祐彰(早稲田大学大学院基幹理工学研究科情報理工・情報通信専攻)
上田 和紀(早稲田大学理工学術院)
時間06月06日(Mon) 14:20〜14:40
論文PDFファイル