文献

J-GLOBAL ID：201702277802738032   整理番号：17A1632434

時間付き離散事象システムへの増分モデル修復アプローチ【Powered by NICT】

An incremental model repair approach to timed discrete event systems

著者 (3件)： F. Basile (DIEM, Universita di Salerno, Italy) ,  P. Chiacchio (DIEM, Universita di Salerno, Italy) ,  J. Coppola (DIEM, Universita di Salerno, Italy)
資料名： IFAC PapersOnLine  (IFAC PapersOnLine)
巻： 50  号： 1  ページ： 13636-13641  発行年： 2017年 
JST資料番号： W3101A  ISSN： 2405-8963  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 時間Petriネットシステムとしてモデル化された離散時間システムのためのモデル修復の新結果を,本稿で提示した。,観察されたが,予期しない事象と事象の観察を導いた,公称モデルにおける予期しないと見逃された挙動は線形混合整数不等式中へ直接変換することを論理的条件として定式化した。修復モデル提案アルゴリズムはインクリメンタル,公称挙動からの複数の偏差は時間で観測された場合に。一連のロジック条件は観察された挙動から構築された予備的にし,混合整数線形計画法問題を解くモデルを修復することである。Copyright 2017 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【Powered by NICT】

シソーラス用語： 定式化 ,  線形性 ,  *離散時間系 ,  アルゴリズム ,  モデリング ,  Petriネット ,  不等式
準シソーラス用語： 混合整数線形計画法 ,  直接変換 ,  *離散事象系 , 【Automatic Indexing@JST】

著者キーワード (4件)： 離散事象システム ,  システム同定 ,  モデル修復 ,  時間Petriネット

分類 (4件)： システムモデル  (IB02000Z) ,  システム設計・解析  (IA02030D) ,  システム・制御理論一般  (IA02010H) ,  制御工学一般  (IC01000V)

タイトルに関連する用語 (4件)： 離散事象システム ,  増分 ,  モデル ,  修復