piHyFlow Operational Semantics
Abstract: Simulation models have been described using different perspectives, or worldviews. In the process interaction world view (PI), every entity is modeled by a sequence of actions describing its life cycle, offering a comprehensive model that groups the events involving each entity. In this paper we describe piHyFlow, a formalism for representing hybrid models using a set of communicating processes. This set is dynamic, enabling processes to be created and destroyed at runtime. Processes are encapsulated into piHyFlow base models and communicate through shared memory. piHyFlow, however, can guarantee modularity by enforcing that models can only communicate by input and output interfaces. piHyFlow extends current PI approaches by providing support for HyFlow concepts of sampling and dense (continuous) outputs, in addition to the more traditional event-based communication. In this paper we present piHyFlow operational semantics using the concepts of simulator and component.
- F. Barros. Towards a theory of continuous flow models. International Journal of General Systems, 31(1):29–39, 2002.
- F. Barros. Chattering avoidance in hybrid simulation models: A modular approach based on the HyFlow formalism. In Symposium on Theory of Modeling and Simulation, 2017.
- Master for co-simulation using FMI. In Proceedings of the 8th Modelica Conference, 2011.
- G. Berry and E. Sentovich. Multiclock Esterel. In Correct Hardware Design and Verification Methods, volume 2144 of LNCS, pages 110–125, 2001.
- B. Cota and R. Sargent. A modification of the process interaction world view. ACM Transactions on Modeling and Computer Simulation, 2(2):109–129, 1992.
- P. Fritzson. Principles of Object-Oriented Modeling and Simulation with Modelica 2.1. Wiley, 2003.
- G. Gordon. System Simulation. Prentice-Hall, Englewood Cliffs, New Jersey, 2nd edition, 1978.
- J. Henriksen. GPSS - finding the apropriate world-view. In Winter Simulation Conference, pages 505–516, 1981.
- T. Henzinger. The theory of hybrid automata. In 11th Annual IEEE Symposium on Logic in Computer Science, pages 278–292, 1996.
- E. Lee and H. Zheng. Operational semantics of hybrid systems. In Hybrid Systems Computation and Control, volume 3414 of LNCS, pages 392–406, 2005.
- Systems of systems engineering: Basic concepts, model-based techniques, and research directions. ACM Computing Surveys, 48(2):1–41, 2015.
- H. Praehofer. Systems theoretic formalisms for combined discrete-continuous system simulation. International Journal of General Systems, 19(3):219–240, 1991.
- L. Schruben. Simulation modeling with event graphs. Communications of the ACM, 26(11):957–963, 1983.
- B. Zeigler. Theory of Modelling and Simulation. Wiley, 1976.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.
