|
本研究の目的は、制御則設計と実時間計算制約との間のギャップを大規模で分散し効率的かつリアルタイムに縮むための、高信頼なサイバー物理システム（HiCoCPS）の新しいモデルを提案することです。その成果は、スマートホームおよび他のCPSベースのアプリケーションにおけるHiCoCPSの3つのモデルを設計および提案することを含む。以下の結果も含む：（1）Satisfiability Module Theoriesに基づく新規リアルタイムスケジューリング方法論フレームワークとタスクモデル、（2）2つのsafe-to-processスキームを用いた時間遅れモデル、（3）モデル予測制御を用いた最適化モデル。
|
