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

Material type: 文書・図像類

Author: Lim, Yuto

Publisher: -

Publication date: 2018-06-01

Material Format: Digital

Capacity, size, etc.: -

NDC: -

View All

Notes on use

Note (General)：: 本研究の目的は、制御則設計と実時間計算制約との間のギャップを大規模で分散し効率的かつリアルタイムに縮むための、高信頼なサイバー物理システム（HiCoCPS）の新しいモデルを提案することです。その成果は、スマートホームおよび他のCPSベースのアプリケーションにおけるHiCoCPSの3つのモデルを設計お...

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

JAIST Repository
Digital
You can check the holdings of institutions and databases with which 学術機関リポジトリデータベース（IRDB）（機関リポジトリ） is linked at the site of 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）.
JAIST Repository

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Digital

Material Type: 文書・図像類
Title: Efficient Evolutionary Algorithm of Multi-objective Optimization for High-Confidence Cyber-Physical Systems
Author/Editor: Lim, Yuto
Author Heading: Lim, Yuto
Publication Date: 2018-06-01
Publication Date (W3CDTF): 2018-06-01
Periodical title: 科学研究費助成事業研究成果報告書
Pages: 1-6
Text Language Code: eng
Subject Heading: Cyber-Physical Systems
Real-time System
Internet of Things
SMT
Predictive Control
Smart Homes
Target Audience: 一般
Note (General): 本研究の目的は、制御則設計と実時間計算制約との間のギャップを大規模で分散し効率的かつリアルタイムに縮むための、高信頼なサイバー物理システム（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
研究分野：情報学
identifier:https://dspace.jaist.ac.jp/dspace/handle/10119/15395
Format (IMT): application/pdf
Source: https://dspace.jaist.ac.jp/dspace/bitstream/10119/15395/1/15K00120seika.pdf
https://dspace.jaist.ac.jp/dspace/bitstream/10119/15395/1/15K00120seika.pdf
Access Restrictions: 限定公開
Data Provider (Database): 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）
https://irdb.nii.ac.jp
Original Data Provider (Database): 北陸先端科学技術大学院大学 : JAIST学術研究成果リポジトリ