Discrete simulation of behavioural hybrid process calculus

T. Krilavicius, Helen Schonenberg

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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 languageUndefined
    Title of host publicationIFM2005 doctoral symposium on integrated formal methods. (CS-report, 05¿29)
    EditorsJ.M.T. Romijn, G.P. Smith, J.C. van de Pol
    Place of PublicationEindhoven
    PublisherTechnical University of Eindhoven, Department of Mathematics
    Pages33-38
    Publication statusPublished - 29 Nov 2005
    Event5th International Conference, IFM 2005, Eindhoven, The Netherlands: IFM2005 doctoral symposium on integrated formal methods. (CS-report, 05¿29) - Eindhoven
    Duration: 29 Nov 20052 Dec 2005

    Publication series

    Name
    PublisherTechnical University of Eindhoven, Department of Mathematics

    Conference

    Conference5th International Conference, IFM 2005, Eindhoven, The Netherlands
    CityEindhoven
    Period29/11/052/12/05

    Keywords

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

    Cite this