This paper intends to fuel a thought about representing and extracting reasoning in System Dynamics models. A perspective on the flow of information as policies in the system and also flow of information as logic or reasoning in the model is discussed. It also discusses how influences in the model are implemented as rate equations and challenges the impossibility in deriving these rate equation...

Aggregate analysis in manufacturing system design is a useful approach to relegate the non-feasible alternatives at earlier stages. A reusable System Dynamics model and the Analytic Network Process is proposed for a rapid and strategically consistent decision-making. The SD model captures the causal relationships and interdependence of the factors that can be simulated while the ANP provides th...

This formalisation contains the proof that there is no anonymous and neutral Social Decision Scheme for at least four voters and alternatives that fulfils both SD-Efficiency and SD-Strategy-Proofness. The proof is a fully structured and quasi-human-redable one. It was derived from the (unstructured) SMT proof of the case for exactly four voters and alternatives by Brandl et al. [1]. Their proof...

Predicting and allocating water resources have become important tasks in resource management. System dynamics optimal planning models are widely applied to solve individual problems, but seldom combined studies. In this work, we developed a framework involving system dynamics-multiple objective optimization (SD-MOO) model, which integrated the functions of simulation, policy control, allocation...

Developing a valid model is of primary importance. Various verification and validation procedures are used to establish confidence in the model output. To establish confidence that a model produces right behaviour for right reasons it is essential to ensure that the structure of model represents real world system. Amongst the verification procedures employed, dimensional analysis is used to ver...

This thesis presents a novel set of guidelines to convert between simulation modelling approaches, namely, Ordinary Differential Equations (ODEs), System Dynamics (SD) and Agent-based Modelling and Simulation (ABMS). In our literature review we identify a gap in establishing translation techniques between these approaches. We therefore focus our research in developing these techniques and asses...