Dynamic structure multiparadigm modeling and simulation

This article presents the Heterogeneous Flow System Specification (HFSS), a formalism aimed to represent hierarchical and modular hybrid flow systems with dynamic structure. The concept of hybrid flow systems provides a generalization of the conventional concept of hybrid system and it can represent a whole plethora of systems, namely: discrete event systems, multicomponent and multirate numerical methods, multirate and multicomponent sampling systems, event locators and time-varying systems. The ability to join all these types of models makes HFSS an excellent framework for merging components built in different paradigms. We present several examples of model definition in the HFSS formalism and we also exploit the ability of the HFSS formalism to represent mutirate numerical integrators.

[1]  Bjj Orn Schieeer.  Simulation of Hybrid Systems , 2022 .

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

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

[4]  Fernando J. Barros.  Hierarchical testing of dynamic structure models: a practical approach , 1998 .

[5]  Pravin Varaiya,et al.  SHIFT: A Formalism and a Programming Language for Dynamic Networks of Hybrid Automata , 1996, Hybrid Systems.

[6]  Fernando J. Barros,et al.  Modeling and Simulation of Dynamic Structure Heterogeneous Flow Systems , 2002, Simul..

[7]  Fernando J. Barros,et al.  Towards a theory of continuous flow models , 2002, Int. J. Gen. Syst..

[8]  Panos J. Antsaklis,et al.  Special issue on hybrid systems: theory and applications a brief introduction to the theory and applications of hybrid systems , 2000, Proc. IEEE.

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

[10]  Bernard P. Zeigler,et al.  Theory of quantized systems: formal basis for DEVS/HLA distributed simulation environment , 1998, Defense, Security, and Sensing.

[11]  Insup Lee,et al.  Compositional Refinement for Hierarchical Hybrid Systems , 2001, HSCC.

[12]  Fernando J. Barros,et al.  Modeling formalisms for dynamic structure systems , 1997, TOMC.

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

[14]  Akash Deshpande,et al.  The SHIFT Programming Language and Run-time System for Dynamic Networks of Hybrid Automata , 1997 .

[15]  Robert M. Howe.  Real-time multirate synchronous simulation with single and multiple processors , 1998, Defense, Security, and Sensing.