Modeling formalisms for dynamic structure systems

We present a new concept for a system network to represent systems that are able to undergo structural change. Change in structure is defined in general terms, and includes the addition and deletion of systems and the modification of the relations among components. The structure of a system network is stored in the network executive. Any change in structure-related information is mapped into modifications in the network structure. Based on these concepts, we derive three new system specifications that provide a shorthand notation to specify classes of dynamic structure systems. These new formalisms are: dynamic structure discrete time system, dynamic structure differential equation specified systems, and dynamic structure discrete event system specification. We demonstrate that these formalisms are closed under coupling, making hierarchical model construction possible. formalisms are described using set theoretic notation and general systems theory concepts.

[1]  Bernard P. Zeigler,et al.  Theory of Modelling and Simulation , 1979, IEEE Transactions on Systems, Man, and Cybernetics.

[2]  A.M. Uhrmacher,et al.  Distributing and maintaining knowledge: agents in variable structure environments , 1994, Fifth Annual Conference on AI, and Planning in High Autonomy Systems.

[3]  M. Vasconcelos,et al.  Modeling spatial dynamic ecological processes with DEVS-Scheme and geographic information systems. , 1993 .

[4]  A. Wayne Wymore,et al.  A mathematical theory of systems engineering--the elements , 1967 .

[5]  C. Thomas,et al.  Interface-oriented classification of DEVS models , 1994, Fifth Annual Conference on AI, and Planning in High Autonomy Systems.

[6]  Fernando J. Barros.  Dynamic structure discrete event system specification: a new formalism for dynamic structure modeling and simulation , 1995, WSC '95.

[7]  Bernard P. Zeigler,et al.  Systems Theory Challenges in the Simulation of Variable Structure and Intelligent Systems , 1989, International Conference/Workshop on Computer Aided Systems Theory.

[8]  Michael A. Arbib,et al.  A mathematical theory of systems engineering: The elements , 1970 .

[9]  Herbert Praehofer,et al.  SYSTEM THEORETIC FORMALISMS FOR COMBINED DISCRETE-CONTINUOUS SYSTEM SIMULATION , 1991 .

[10]  Bernard P. Zeigler,et al.  Theory of Modelling and Simulation , 1979, IEEE Transactions on Systems, Man and Cybernetics.

[11]  Fernando J. Barros,et al.  Dynamic-structure discrete event systems: a comparison of methodologies and environments , 1997, Defense, Security, and Sensing.

[12]  Bernard P. Zeigler,et al.  Multifacetted Modelling and Discrete Event Simulation , 1984 .

[13]  Robert G. Reynolds,et al.  Towards a Theory of Adaptive Computer Architectures , 1985, ICDCS.

[14]  Fernando J. Barros,et al.  The dynamic structure discrete event system specification formalism , 1996 .

[15]  B.P. Zeigler,et al.  Abstract simulator for the parallel DEVS formalism , 1994, Fifth Annual Conference on AI, and Planning in High Autonomy Systems.

[16]  Bernard P. Zeigler,et al.  Variable structure modelling methodology: an adaptive computer architecture example , 1990 .