Quantitative Supervisory Control of Discrete Event Systems and Its Applications

• Project/Area Number: 24656262
• Research Category: Grant-in-Aid for Challenging Exploratory Research
• Allocation Type: Multi-year Fund
• Research Field: Control engineering
• Research Institution: Osaka University
• Principal Investigator: Ushio Toshimitsu 大阪大学, 基礎工学研究科, 教授 (30184998)
• Project Period (FY): 2012-04-01 – 2016-03-31
• Project Status: Completed (Fiscal Year 2015)
• Budget Amount: ¥3,900,000 (Direct Cost: ¥3,000,000、Indirect Cost: ¥900,000); Fiscal Year 2014: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000); Fiscal Year 2013: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000); Fiscal Year 2012: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
• Keywords: システム制御 / 離散事象システム / スーパバイザ制御 / 最適制御 / 安定化 / オートマトン / システム制御工学 / 制御工学 / システム工学 / ゲームオートマトン / 線形時相論理 / 人間機械系 / オートメーションサプライズ

Outline of Final Research Achievements

We consider discrete event systems modeled by weighted automata where costs are assigned to state transitions. We proposed a design method of an optimal supervisor by which the worst mean pay-off of controlled behaviors of the system is optimized. We proposed a design method of stabilizing controller by which the worst accumulate cost of the controlled behavior from the initial state to a target state is optimized. Moreover, we considered an optimal controller that satisfies a qualitative constraint given by a temporal logic formula.
We also proposed an approximated simulation based detection method of automation surprises observed in human-machine systems modeled by hybrid automata. We derived event triggering conditions by which controlled distributed systems are stabilized.

Research Products

• [Journal Article] Optimal Stabilizing Supervisor of Quantitative Discrete Event Systems under Partial Observation (2016)
  • Author(s): Sasinee Pruekprasert and Toshimitsu Ushio
  • Journal Title: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences Volume: E99.A Issue: 2 Pages: 475-482
  • DOI: 10.1587/transfun.E99.A.475
  • NAID: 130005121535
  • ISSN: 0916-8508, 1745-1337
  • Peer Reviewed / Acknowledgement Compliant
• [Journal Article] Optimal Stabilizing Controller for the Region of Weak Attraction under the Influence of Disturbances (2016)
  • Author(s): Sasinee Pruekprasert and Toshimitsu Ushio
  • Journal Title: IEICE Transactions on Information and Systems Volume: E99-A
  • NAID: 130005154740
  • Peer Reviewed / Acknowledgement Compliant
• [Journal Article] Quantitative Supervisory Control Game for Discrete Event Systems (2016)
  • Author(s): Sasinee Pruekprasert, Toshimitsu Ushio, Takafumi Kanazawa
  • Journal Title: IEEE Transactions on Automatic Control Volume: 61 Issue: 10 Pages: 2987-3000
  • DOI: 10.1109/tac.2015.2513901
  • Peer Reviewed / Acknowledgement Compliant
• [Presentation] LTL制約の下での定量的離散事象システムの最適制御器設計 (2016)
  • Author(s): 榊原 愛海，Sasinee Pruekprasert, 潮俊光
  • Organizer: 電子情報通信学会総合大会
  • Place of Presentation: 九州大学伊都キャンパス （福岡市・福岡県）
  • Year and Date: 2016-03-15
• [Presentation] LTL制約の下でのMDPに対するスーパバイザの強化学習 (2016)
  • Author(s): 広本 将基，潮 俊光
  • Organizer: 電子情報通信学会総合大会
  • Place of Presentation: 九州大学伊都キャンパス （福岡市・福岡県）
  • Year and Date: 2016-03-15
• [Presentation] 重み付きオートマトンに対する線形時相論理制約の下での最適制御 (2016)
  • Author(s): 榊原 愛海，Sasinee Pruekprasert, 潮俊光
  • Organizer: 電子情報通信学会システムと数理応用研究会
  • Place of Presentation: しいのき迎賓館 （金沢市・石川県）
  • Year and Date: 2016-01-25
• [Presentation] SMT-based Scheduling of Distributed Mediator for Web Service Composition (2015)
  • Author(s): Yoshiki Maeda and Toshimitsu Ushio
  • Organizer: the 4th IEEE Global Conference on Consumer Electronics
  • Place of Presentation: グランキューブ大阪 (大阪市・大阪府)
  • Year and Date: 2015-10-27
  • Int'l Joint Research
• [Presentation] Optimal Directed Control of Discrete Event Systems with Linear Temporal Logic Constraints (2015)
  • Author(s): Ami Sakakibara, Sasinee Pruekprasert, and Toshimitsu Ushio
  • Organizer: the 20th IEEE International Conference on Emerging Technologies and Factory Automation
  • Place of Presentation: Luxembourg （Luxembourg）
  • Year and Date: 2015-09-08
  • Int'l Joint Research
• [Presentation] Distributed Event-Triggered Output Feedback Control with Cloud-Assisted Observer (2015)
  • Author(s): Kohei Fujita and Toshimitsu Ushio
  • Organizer: the First IEEE International Conference on Event-Based Control, Communication, and Signal Processing
  • Place of Presentation: Krakov （Poland）
  • Year and Date: 2015-06-17
  • Int'l Joint Research
• [Presentation] 近似模倣を利用した人間機械系に存在するオートメーションサプライズの検出 (2015)
  • Author(s): 石井大貴，潮俊光
  • Organizer: 電子情報通信学会システム数理と応用研究会
  • Place of Presentation: ブランナールみささ（鳥取県，三朝郡）
  • Year and Date: 2015-01-26 – 2015-01-27
• [Presentation] Formal Framework for Detection of Automation Surprises in Human-machine Systems Modeled by Hybrid Automata (2014)
  • Author(s): Daiki Ishii and Toshimitsu Ushio
  • Organizer: 2014 IEEE 3rd Global Conference on Consumer Electronics
  • Place of Presentation: 幕張メッセ(千葉県，千葉市)
  • Year and Date: 2014-10-07 – 2014-10-10
• [Presentation] An Application of Game Automaton to Quantitative Supervisory Control (2013)
  • Author(s): Sasinee Pruekprasert, Tosimitsu Ushio, Takafumi Kanazawa
  • Organizer: 電子情報通信学会 システム数理と応用研究会
  • Place of Presentation: 福岡市志賀島
• [Presentation] On Computation for Prestabilizing Controllers in Discrete Event Systems
  • Author(s): Sasinee Pruekprasert, Toshimitsu Ushio
  • Organizer: 電子情報通信学会システム数理と応用研究会
  • Place of Presentation: 愛媛大学
• [Presentation] A Game Theoretic Approach to Supervisory Control of Quantitative Discrete Event Systems
  • Author(s): Sasinee Pruekprasert, Tosimitsu Ushio, Takafumi Kanazawa
  • Organizer: 4th Workshop on Games for Design, Verification and Synthesis
  • Place of Presentation: ニューキャッスル，イギリス