Higher-Order Non-Causal Modelling and Simulation of.pdfVIP

Proceedings 7th Modelica Conference, Como, Italy, Sep. 20-22, 2009 Higher-Order Non-Causal Modelling and Simulation of Structurally Dynamic Systems George Giorgidze Henrik Nilsson Functional Programming Laboratory School of Computer Science University of Nottingham United Kingdom ggg,nhn@cs.nott.ac.uk Abstract turally dynamic systems are an example of the more general notion of hybrid systems, systems that exhibit both contin- This paper explores a novel approach to the implementation uous and discrete behaviour. of non-causal modelling and simulation languages support- Unfortunately, the support offered by current modelling ing highly structurally dynamic systems. One reason the languages for expressing structurally dynamic systems (as support for structural dynamics is limited in present main- well as hybrid systems in general) is somewhat limited stream non-causal modelling and simulation languages is [13, 20, 22]. This is true in particular for non-causal mod- that they are designed and implemented on the assumption elling languages, which is the class of modelling languages that symbolic processing of models and ultimately compila- with which we are concerned in this paper. There are a num- tion of simulation code takes place prior to simulation. We ber of reasons for this limited support, many of them re- seek to lift that restriction, without sac