マルチカーエレベータ群管理制御器の形式手法に基づく開発システムの実現

2013 年度 研究成果報告書

• 研究課題/領域番号: 23560532
• 研究種目: 基盤研究(C)
• 配分区分: 基金
• 応募区分: 一般
• 研究分野: 制御工学
• 研究機関: 山口大学
• 研究代表者: 山口 真悟 山口大学, 理工学研究科, 准教授 (00294653)
• 研究分担者: 宮本 俊幸 大阪大学, 大学院工学研究科, 准教授 (00294041)
• 研究期間 (年度): 2011 – 2013
• キーワード: エレベータ / 形式手法 / モデル化 / ペトリネット / モデル検査 / 数理計画問題 / 群管理 / 制御工学

研究概要

１．マルチカーエレベータシステムのペトリネットモデル、状態遷移モデル及び数理計画モデルと、その解析法を開発した。２．群管理制御器の仕様を時相論理により記述する方法を確立した。３．群管理制御器の基本動作を状態遷移で形式化し、それらを組み合わせて新たな動作を構築する方法を開発した。４．状態遷移モデルに対し、モデル検査ツールSPINを適用する方法を開発した。５．数理計画モデルに対し、制約プログラミングと混合整数計画問題のハイブリッド解法を開発した。そして１．～５．の成果を組み合わせて、マルチカーエレベータシステムの群管理制御器を形式手法に基づいて開発するシステムを実現した。

研究成果

• [雑誌論文] An Efficient Translation Method from Timed Petri Nets to Timed Automata (2012)
  • 著者名/発表者名: Shota Nakano, Shingo Yamaguchi
  • 雑誌名: IEICE Transactions Fundamentals 巻: vol.E95-A, no.8 ページ: 1402–1411
  • DOI: 10.1587/transfun.E95.A.1402
  • 査読あり
• [雑誌論文] Knowledge Reuse Method to Improve the Learning of Interference- Preventive Allocation Policies in Multi- Car Elevators (2012)
  • 著者名/発表者名: Alex Valdivielso Chian, Toshiyuki Miyamoto
  • 雑誌名: IEICE Transactions on Fundamentals 巻: vol.E95-A, no.5 ページ: 990–995
  • DOI: 10.1587/transfun.E95.A.990
  • 査読あり
• [雑誌論文] Performance Evaluation of an Option-Based Learning Algorithm in Multi-Car Elevator Systems (2012)
  • 著者名/発表者名: Alex Valdivielso Chian, Toshiyuki Miyamoto
  • 雑誌名: IEICE Transactions on Fundamentals 巻: vol.E95-A, no.4 ページ: 835–839
  • DOI: 10.1587/transfun.E95.A.835
  • 査読あり
• [雑誌論文] Multicar-Elevator Group Control Algorithm for Interference Prevention and Optimal Call Allocation (2011)
  • 著者名/発表者名: Alex Valdivielso Chian, Toshiyuki Miyamoto
  • 雑誌名: IEEE Transactions on Systems, Man, Cybernetics 巻: Part A, vol.41, no.2 ページ: 311–322
  • DOI: 10.1109/TSMCA.2010.2064766
  • 査読あり
• [雑誌論文] Multi-Car Multi-Shaft Elevator System Design Problem and a Solution Method Using CPN Tools
  • 著者名/発表者名: Shingo Yamaguchi, Norihide Ishida
  • 雑誌名: International Interdisciplinary Journal INFORMATION 巻: (掲載決定)
  • 査読あり
• [学会発表] マルチカーマルチ昇降路エレベータシステムの設置問題に対するCPN Toolsを用いた解法と考察 (2014)
  • 著者名/発表者名: 石田憲秀,山口真悟
  • 学会等名: 電子情報通信学会システム数理と応用研究会
  • 発表場所: 愛媛大学(松山市)
  • 年月日: 2014-03-06
• [学会発表] マルチカーシングル昇降路エレベータの群管理制御アルゴリズムを性能評価するための簡易的な数理モデルの提案 (2014)
  • 著者名/発表者名: 石丸隼也,山口真悟
  • 学会等名: 電子情報通信学会システム数理と応用研究会
  • 発表場所: 愛媛大学(松山市)
  • 年月日: 2014-03-06
• [学会発表] S-ringとSPINに基づくエレベータ群管理制御器モデル検査システムE^´ clairの実現と検査能力について (2014)
  • 著者名/発表者名: 長藤和也,山口真悟
  • 学会等名: 電子情報通信学会システム数理と応用研究会
  • 発表場所: 愛媛大学(松山市)
  • 年月日: 2014-03-06
• [学会発表] マルチカーエレベータのかご制御と割り当て問題に対するCP/MIPハイブリッド手法 (2013)
  • 著者名/発表者名: 峰岸達也,宮本俊幸
  • 学会等名: 電子情報通信学会システム数理と応用研究会
  • 発表場所: 花巻南温泉峡渡り温泉さつき(花巻市)
  • 年月日: 2013-11-07
• [学会発表] A formal method of developing eleva- tor group controllers based on S-ring and SPIN (2013)
  • 著者名/発表者名: Shingo Yamaguchi, Kazuya Nagafuji
  • 学会等名: Proc. of IEEE GCCE 2013
  • 発表場所: 幕張メッセ(千葉市,査読有)
  • 年月日: 2013-10-04
• [学会発表] Multi-car multi-shaft elevator system design problem and a solution method based on CPN Tools (2013)
  • 著者名/発表者名: Ishida Norihide, Shingo Yamaguchi
  • 学会等名: Proc. of IEEE GCCE 2013
  • 発表場所: 幕張メッセ(千葉市)
  • 年月日: 2013-10-04
• [学会発表] A Study of Car Control and Assignment Problem in MCE Systems Using Hybrid Method (2013)
  • 著者名/発表者名: Tatsuya Minegishi, Toshiyuki Miyamoto
  • 学会等名: Proc. of IEEE GCCE 2013
  • 発表場所: 幕張メッセ(千葉市,査読有)
  • 年月日: 2013-10-04
• [学会発表] Modeling and Model Checking of Single-Car Multi-Shaft Elevator Systems on CPN Tools (2012)
  • 著者名/発表者名: Shingo Yamaguchi, Norihide Ishida, Ryohei Ueda
  • 学会等名: Proc. of ITC-CSCC 2012
  • 発表場所: 北海道大学(札幌市,査読有)
  • 年月日: 2012-07-18
• [学会発表] 混合整数計画問題を用いたマルチカーエレベータのかご制御と割り当て問題に関する研究 (2012)
  • 著者名/発表者名: 峰岸達也,宮本俊幸
  • 学会等名: 電子情報通信学会システム数理と応用研究会
  • 発表場所: 京都リサーチパーク(京都市)
  • 年月日: 2012-07-03