文献

J-GLOBAL ID：201702282673082935   整理番号：17A0667246

安全性仕様のための制御器合成の分解【Powered by NICT】

Decomposing controller synthesis for safety specifications

著者 (2件)： Dallal Eric (Department of Electrical Engineering, University of California, Los Angeles, 90095-1594, USA) ,  Tabuada Paulo (Department of Electrical Engineering, University of California, Los Angeles, 90095-1594, USA)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2016  号： CDC  ページ： 5720-5725  発行年： 2016年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 安全仕様小さい制御器合成問題へのコントローラの合成を分解する方法を示した。法は,分解と呼ぶシステム,それらの遷移関係を互いに素な入力の数遷移関係の肉として表すことができることを意味し適用した。ここで提案した方法はassume保証推論に基づいており,正確で完全であることが示されている:コントローラが,この方法によって得ることができる場合にのみ安全仕様を強化する。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： *安全性 ,  *制御装置

分類 (1件)： システム設計・解析  (IA02030D)

タイトルに関連する用語 (4件)： 安全性 ,  仕様 ,  制御器 ,  分解