|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b50. 科学研究費助成事業研究成果報告書 >
2017年度 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/15395
|
| タイトル: | Efficient Evolutionary Algorithm of Multi-objective Optimization for High-Confidence Cyber-Physical Systems |
| 著者: | Lim, Yuto |
| 著者（別表記）: | リム, 勇仁 |
| キーワード: | Cyber-Physical Systems
Real-time System
Internet of Things
SMT
Predictive Control
Smart Homes |
| 発行日: | 1-Jun-2018 |
| 抄録: | 本研究の目的は、制御則設計と実時間計算制約との間のギャップを大規模で分散し効率的かつリアルタイムに縮むための、高信頼なサイバー物理システム（HiCoCPS）の新しいモデルを提案することです。その成果は、スマートホームおよび他のCPSベースのアプリケーションにおけるHiCoCPSの3つのモデルを設計および提案することを含む。以下の結果も含む：（1）Satisfiability Module Theoriesに基づく新規リアルタイムスケジューリング方法論フレームワークとタスクモデル、（2）2つのsafe-to-processスキームを用いた時間遅れモデル、（3）モデル予測制御を用いた最適化モデル。：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. |
| 記述: | 基盤研究(C)（一般）
研究期間：2015～2017
課題番号：15K00120
研究者番号：90435793
研究分野：情報学 |
| 言語: | eng |
| URI: | http://hdl.handle.net/10119/15395 |
| 出現コレクション: | 2017年度 (FY 2017)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| 15K00120seika.pdf | | 505Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
