Process algebra for dynamic system modeling
J. C. M. Baeten, D.A. van Beek, J.E. Rooda · TU/e Research Portal · 2006
Process algebra is the study of distributed or parallel systems by algebraic means.Originating in computer science, process algebra has been extended in recent years to encompass not just discrete event, reactive systems, but also continuously evolving phenomena, resulting in so-called hybrid process algebras.A hybrid process algebra can be used for the specification, simulation, control and verification of embedded systems in combination with their environment, and for any dynamic system in general.As the vehicle of our exposition, we use the hybrid process algebra χ (Chi).The syntax and semantics of χ are discussed, and it is explained how equational reasoning can simplify, among others, tool implementations for simulation and verification.Finally, a bottle filling line example is introduced to illustrate system analysis by means of equational reasoning.