University of Twente Student Theses


Behavioural hybrid process calculus translation to modelica

Putten, Ing. A.E. van (2007) Behavioural hybrid process calculus translation to modelica.

[img] PDF
Abstract:Simulation is a well-established technique for development and analysis of dynamical systems and is widely used in industry and academia. Simulation is frequently used for development of models for designing existing systems. Of- ten such systems exhibit discrete behaviour as well as continuous behaviour. Hybrid systems combine discrete events and continuous behaviour. Discrete events are caused by the evolution of continuous dynamics or external stimuli. The continuous behaviour can change in response to the discrete events or the °ow of time. Often such systems behaviour can be observed in embedded sys- tems. Such systems usually observe and react on a continuous time process but the controller itself is of discrete nature. Behavioural Hybrid Process Calculus (BHPC) is an extension of classical process algebra, based on behavioural theory that is suitable for the modelling and analysis of hybrid dynamical systems [BK05, BKU05]. It provides a natural framework for the concurrent composition of such systems, and can deal with non-determinism. The language is recently developed and no simulation tools are currently available for this language. One of the various ways to simulate a BHPC model is to translate the model to the simulation language Modelica. This thesis describes an algorithm which translates a BHPC speci¯cation into a hybrid automaton. This hybrid automaton can be simulated by Modelica by using Modelicas StateGraph library and some additional code.
Item Type:Essay (Master)
Faculty:EEMCS: Electrical Engineering, Mathematics and Computer Science
Subject:54 computer science
Programme:Computer Science MSc (60300)
Link to this item:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page