/
プログラム
/
発表一覧
/
著者一覧
/
企業展示一覧
/
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ファイル