Modelling and Simulation of a Switched Power Converter

In our earlier work dealing with switched systems we have focused on the conceptual and formal side of the modelling process. In this paper we go one step further and illustrate the practical generation of simulation code from a switched bond graph. The principles are illustrated by means of an industrial switched power converter used to control the power of electric rotary machines. We describe an implementation of the formal Mode Transition System (MTS) presented earlier. The format proposed is referred to as Mode Transition File (MTF) format. We present an algorithm to generate the mode transition file from a switched bond graph. Finally we illustrate how this file format can be converted to code for the well known DASSRT solver