文献

J-GLOBAL ID：201702265570880732   整理番号：17A1347608

時間の同定Petriネットモデル【Powered by NICT】

Identification of Time Petri Net Models

著者 (3件)： Basile Francesco (Department of Electrical and Information Engineering and Applied Mathematics, University of Salerno, Fisciano, Italy) ,  Chiacchio Pasquale (Department of Electrical and Information Engineering and Applied Mathematics, University of Salerno, Fisciano, Italy) ,  Coppola Jolanda (Department of Electrical and Information Engineering and Applied Mathematics, University of Salerno, Fisciano, Italy)
資料名： IEEE Transactions on Systems, Man, and Cybernetics: Systems  (IEEE Transactions on Systems, Man, and Cybernetics: Systems)
巻： 47  号： 9  ページ： 2586-2600  発行年： 2017年 
JST資料番号： C0425D  ISSN： 2168-2216  CODEN： ITSMFE  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 本論文では,時間Petriネットシステムの同定を検討した。時間付きネットシステムのための同定アルゴリズムは遷移の発火を可能にする条件が満たされることを必要とすることを考慮しなければならない,時間なしネットシステムのようでなく,遷移の発火間隔は,観測される発火瞬間時間と一致することが求められる。アプローチの背後にある鍵となるアイデアは,線形混合整数不等式中へ直接変換することを論理命題の集合によりこれらの条件を表現することである。同定アルゴリズムは観察された挙動から論理命題の構築と混合整数線形計画問題を解くことである。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 線形性 ,  整数線形計画法 ,  不等式 ,  *Petriネット ,  アルゴリズム ,  命題
準シソーラス用語： 直接変換 , 【Automatic Indexing@JST】

分類 (3件)： システムモデル  (IB02000Z) ,  ネットワーク法  (KA03040X) ,  計算理論  (JB02000A)

タイトルに関連する用語 (3件)： 同定 ,  Petriネット ,  モデル