A process algebraic approach to hybrid systems
Tim A. C. Willemse · TU/e Research Portal · 2000
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].