Discrete simulation of behavioural hybrid process calculus

T. Krilavicius; Helen Schonenberg

Discrete simulation of behavioural hybrid process calculus

T. Krilavicius, Helen Schonenberg

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

16 Downloads (Pure)

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.

Original language	Undefined
Title of host publication	IFM2005 doctoral symposium on integrated formal methods. (CS-report, 05¿29)
Editors	J.M.T. Romijn, G.P. Smith, J.C. van de Pol
Place of Publication	Eindhoven
Publisher	Technical University of Eindhoven, Department of Mathematics
Pages	33-38
Publication status	Published - 29 Nov 2005
Event	5th International Conference, IFM 2005, Eindhoven, The Netherlands: IFM2005 doctoral symposium on integrated formal methods. (CS-report, 05¿29) - Eindhoven Duration: 29 Nov 2005 → 2 Dec 2005

Publication series

Name
Publisher	Technical University of Eindhoven, Department of Mathematics

Conference

Conference	5th International Conference, IFM 2005, Eindhoven, The Netherlands
City	Eindhoven
Period	29/11/05 → 2/12/05

Keywords

EC Grant Agreement nr.: FP6/511368
IR-54779
METIS-229268

Access to Document

Krilavicius05discrete

Cite this

@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)",

}

Krilavicius, T & Schonenberg, H 2005, Discrete simulation of behavioural hybrid process calculus. in JMT Romijn, GP Smith & JC van de Pol (eds), IFM2005 doctoral symposium on integrated formal methods. (CS-report, 05¿29). Technical University of Eindhoven, Department of Mathematics, Eindhoven, pp. 33-38, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, Eindhoven, 29/11/05.

Discrete simulation of behavioural hybrid process calculus. / Krilavicius, T.; Schonenberg, Helen.

IFM2005 doctoral symposium on integrated formal methods. (CS-report, 05¿29). ed. / J.M.T. Romijn; G.P. Smith; J.C. van de Pol. Eindhoven : Technical University of Eindhoven, Department of Mathematics, 2005. p. 33-38.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Discrete simulation of behavioural hybrid process calculus

AU - Krilavicius, T.

AU - Schonenberg, Helen

N1 - KriSch05

PY - 2005/11/29

Y1 - 2005/11/29

N2 - 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.

AB - 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.

KW - EC Grant Agreement nr.: FP6/511368

KW - IR-54779

KW - METIS-229268

M3 - Conference contribution

SP - 33

EP - 38

BT - IFM2005 doctoral symposium on integrated formal methods. (CS-report, 05¿29)

A2 - Romijn, J.M.T.

A2 - Smith, G.P.

A2 - van de Pol, J.C.

PB - Technical University of Eindhoven, Department of Mathematics

CY - Eindhoven

Y2 - 29 November 2005 through 2 December 2005

ER -