ゲノム情報科学研究教育機構  アブストラクト
Date June 2, 2011
Speaker Assoc. Prof. Frantisek Capkovic, Institute of Informatics, Slovak Academy of Sciences
Title Modularity and Supervision in Agents Cooperation
Abstract The agents and agent systems are viewed here as Discrete Event Systems (DES). The modelling, analyzing and control of DES by means of Petri nets (PN) are presented. Two principle approaches to agent cooperation are introduced, namely, the modularity and supervision. Three kinds of modularity are mentioned in dependency on the structure of cooperation of PN models of autonomous agents - the cooperation by means of PN transitions, by means of PN places and by means of PN modules. Two kinds of supervision are presented - the supervision based on PN place invariants and the more general case based on PN places, on PN transitions and on the PN Parikh's vector. Hybrid agents modelled by hybrid Petri nets, more precisely by FOHPN (First Order Hybrid Petri Nets) are presented and the cooperation of them is synthesized.
「セミナー」に戻る      
 ホーム