Efficient Evolutionary Algorithm of Multi-objective Optimization for High-Confidence Cyber-Physical Systems
| 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
|
| Project Status |
Completed (Fiscal Year 2017)
|
| Budget Amount *help |
¥4,680,000 (Direct Cost: ¥3,600,000、Indirect Cost: ¥1,080,000)
Fiscal Year 2017: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2016: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2015: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
|
|---|
| Keywords | Cyber-Physical Systems / Real-time System / Internet of Things / SMT / Predictive Control / Smart Homes / Model Predictive Control / Optimization / Evolutionary Algorithm / Time Delay Model / Task Dependency Method / Safe-to-process / Concurrent Arrival Issue / Task Dependency Graph / Satisfaction Problem / Scheduling Algorithm |
|---|
| 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.
|
Report
(4 results)
Research Products
(29 results)
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Journal Article] A case study: SOFL + model checking for OSEK/VDX application2016
Author(s)
Zhuo CHENG, Haitao ZHANG, Yasuo TAN and Yuto LIM
-
Journal Title
Structured Object-Oriented Formal Language and Method, Lecture Notes in Computer Science (LNCS), Springer International Publishing
Volume: vol.9559
Pages: 132-146
DOI
NAID
ISBN
9783319312194, 9783319312200
Related Report
Peer Reviewed / Open Access / Int'l Joint Research
-
-
-
-
-
-
-
-
-
-
-
-
-
-
