Photo by tobiastu from unsplash
In discrete event simulations, the system is assumed to change of state when and only when an event occurs. This change of state can be more or less sophisticated depending… Click to show full abstract
In discrete event simulations, the system is assumed to change of state when and only when an event occurs. This change of state can be more or less sophisticated depending on the modeling formalism. In this article, we discuss the whys and wherefores of the fixpoint assertion mechanism introduced in AltaRica 3.0 to perform changes of states. We show how it can be used to handle complex phenomena such as change in flow directions depending on the states of components. We propose an efficient implementation of this mechanism, thanks to ideas stemmed in theoretical computer science and artificial intelligence. We compare the AltaRica 3.0 approach with alternative ones, including those of the previous versions of the language.
Journal Title: Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability
Year Published: 2017
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!