IoTのためのハイブリッドコントローラ合成【JST・京大機械翻訳】

Gatouillat Arthur; Badr Youakim; Massot Bertrand

文献

J-GLOBAL ID：202002276462755046 整理番号：20A1866249

IoTのためのハイブリッドコントローラ合成【JST・京大機械翻訳】

Hybrid controller synthesis for the IoT

出版者サイト複写サービスで全文入手
高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=20A1866249&from=J-GLOBAL&jstjournalNo=D0698C") }}

著者 (3件)： , ,
資料名：
号： SAC ’18 ページ： 783-790 発行年： 2018年
JST資料番号： D0698C 資料種別：会議録 (C)
記事区分：原著論文発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

モノのインターネットは様々な通信可能物理物体の相互接続を指定する。IoTシステムとデバイスは決定論的挙動で動作し,任意の状況においてユーザ定義システム目標を尊重する。したがって,非同期および同期事象処理を伴う状況を扱うための規則の集合に依存する分散および臨界IoTシステムのためのハイブリッドコントローラ合成を定義した。このフレームワークは,システム全体のQoS要求の満足に対する形式的保証とIoTシステムのハイブリッド制御を可能にする,局所同期サブシステムの宣言的ルール駆動ガバナンスメカニズムを定義する。本フレームワークの実用性を証明するために,臨界医療用モノのインターネット使用事例に適用し,安全臨界IoT応用に対する有用性を実証した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

, ,
, , , , , 【Automatic Indexing@JST】

著者キーワード (3件)： , ,

計算機網

前のページに戻る