Agent-DEVS: An extended DEVS formalism for intelligent modeling and simulation

Qi Cao,Zhongshi He,Lei Yu
2009-01-01
Abstract:DEVS (Discrete EVent systems Specification) formalism has the advantages of standardization, hierarchy and modularity, but it is incapable of intelligent modeling and simulation. So Agent-DEVS, an extended DEVS formalism, is proposed. The modeling theory based on Agent is introduced into DEVS formalism, which enables it to describe the inner intelligent behavior and the mutual intelligent collaboration of system modules directly. The formal specifications of Agent-DEVS atomic model and coupled model are analyzed in detail. And the closure of Agent-DEVS under coupling is proved.
What problem does this paper attempt to address?