A process algebraic approach to hybrid systems

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

34 Downloads (Pure)


Many hybrid systems are safety critical systems, i.e. the incorrect functioning of the system can have severe consequences. Being able to model and analyse such systems prior to their implementation is viat. Usting thee process algebra µCRLt a case study on a conveyor belt system has been conducted (see[12]). The great complexity allowed for a thorough identification of gaps in the formalism for applications in the area of hybrid systems. The models in this paper are slightly simplified versions of the models in [12].
Original languageEnglish
Title of host publicationProceedings of the 1st PROGRESS Workshop on Embedded Systems (Utrecht, The Netherlands, October 13, 2000)
EditorsJ. P. Veen
Place of PublicationUtrecht
PublisherSTW Technology Foundation
ISBN (Print)90-73461-25-1
Publication statusPublished - 2000


Dive into the research topics of 'A process algebraic approach to hybrid systems'. Together they form a unique fingerprint.

Cite this