Efficient Evolutionary Algorithm of Multi-objective Optimization for High-Confidence Cyber-Physical Systems

2017 Fiscal Year Final Research Report

• Project/Area Number: 15K00120
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Multi-year Fund
• Section: 一般
• Research Field: Information network
• Research Institution: Japan Advanced Institute of Science and Technology
• Principal Investigator: LIM Yuto 北陸先端科学技術大学院大学, 先端科学技術研究科, 准教授 (90435793)
• Co-Investigator(Kenkyū-buntansha): 丹 康雄 北陸先端科学技術大学院大学, 先端科学技術研究科, 教授 (90251967)
• Project Period (FY): 2015-04-01 – 2018-03-31
• Keywords: Cyber-Physical Systems / Real-time System / Internet of Things / SMT / Predictive Control / Smart Homes

Outline of Final Research Achievements

The goal of this project to propose a novel model of high-confidence cyber-physical systems (HiCoCPS) for bridging the gap between control law design and real-time computation constraints in a large-scale, distributed, efficient and real-time manner. The outcomes include designing and proposing three models, i.e., task model, time delay model, and optimization model for the HiCoCPS system in the smart home application and other CPS-based domain applications. In summary, the results are: (1) novel real-time scheduling methodology framework and its task models based on Satisfiability Module Theories; (2) time delay model with two safe-to-process schemes; and (3) optimization model with model predictive control.

Free Research Field

情報学