@techreport{weko_163650_1, author = "池田,良裕 and 枝廣,正人", title = "Simulinkモデルから状態方程式・出力方程式の抽出", year = "2016", institution = "名古屋大学大学院情報科学研究科, 名古屋大学大学院情報科学研究科", number = "16", month = "may" }