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

高置信度信息物理系统多目标优化的高效进化算法

• 批准号: 15K00120
• 负责人: LIM Yuto
• 金额: $ 3万
• 依托单位: Japan Advanced Institute of Science and Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2015
• 资助国家: 日本
• 起止时间: 2015-04-01 至 2018-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-15K00120/
• 关键词: 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 I

项目成果

Design and evaluation of hybrid temperature control for cyber-physical home systems

网络物理家庭系统混合温度控制的设计与评估

• 发表时间: 2016
• 期刊: International Journal of Modelling, Identification and Control (IJMIC)
• 作者: Zhuo CHENG;Yasuo TAN;and Yuto LIM
• 通讯作者: and Yuto LIM

Study of predictive thermal comfort control for cyber-physical smart home system

信息物理智能家居系统预测热舒适控制研究

• 发表时间: 2018
• 期刊: IEICE Technical Committee on Ambient intelligence and Sensor Networks (ASN)
• 作者: Sian En OOI;Yoshiki MAKINO;Yuan FANG;Yuto LIM;and Yasuo TAN
• 通讯作者: and Yasuo TAN

Predictive thermal comfort control for cyber-physical home systems

网络物理家庭系统的预测热舒适控制

• 发表时间: 2018
• 期刊: IEEE 13th Annual Conference on System of Systems Engineering (SoSE)
• 作者: Sian En OOI;Yoshiki MAKINO;Yuto LIM;and Yasuo TAN
• 通讯作者: and Yasuo TAN

Towards a Cloud-based Platform Framework for Smart Homes

迈向基于云的智能家居平台框架

• DOI: 10.1541/ieejeiss.136.1699
• 发表时间: 2016
• 期刊: IEEJ Transactions on Electronics, Information and Systems
• 作者: S. Ba;B.C. Chatterjee;and E. Oki;Yuto LIM and Yasuo TAN
• 通讯作者: Yuto LIM and Yasuo TAN

A case study: SOFL + model checking for OSEK/VDX application

案例研究：OSEK/VDX 应用的 SOFL 模型检查

• DOI: 10.1007/978-3-319-31220-0_10
• 发表时间: 2016
• 期刊: Structured Object-Oriented Formal Language and Method, Lecture Notes in Computer Science (LNCS), Springer International Publishing
• 作者: Zhuo CHENG;Haitao ZHANG;Yasuo TAN and Yuto LIM
• 通讯作者: Yasuo TAN and Yuto LIM