"畑中健志,岡崎陽平,藤田政之","エネルギー管理のためのReceding Horizon Temporal Logicによるロジックの系統的設計","計測自動制御学会産業応用部門2012年度大会",,,,,"pp. 39-47",2012,Nov.