@inproceedings{33dac7a961dd41f9be76459be3a955ab,
title = "Discrete simulation of behavioural hybrid process calculus",
abstract = "Hybrid systems combine continuous-time and discrete behaviours. Simulation is one of the tools to obtain insight in dynamical systems behaviour. Simulation results provide information on performance of system and are helpful in detecting potential weaknesses and errors. Moreover, the results are handy in choosing adequate control strategies and parameters. In our contribution we report a work in progress, a technique for simulation of Behavioural Hybrid Process Calculus, an extension of process algebra that is suitable for the modelling and analysis of hybrid systems.",
keywords = "EC Grant Agreement nr.: FP6/511368, IR-54779, METIS-229268",
author = "T. Krilavicius and Helen Schonenberg",
note = "KriSch05 ; null ; Conference date: 29-11-2005 Through 02-12-2005",
year = "2005",
month = nov,
day = "29",
language = "Undefined",
publisher = "Technical University of Eindhoven, Department of Mathematics",
pages = "33--38",
editor = "J.M.T. Romijn and G.P. Smith and {van de Pol}, J.C.",
booktitle = "IFM2005 doctoral symposium on integrated formal methods. (CS-report, 05¿29)",
}