Process algebraic simulation of concurrent hybrid systems

Abstract

Systems modeling and simulation allow gaining insight in dynamical systems behavior. Simulation results are helpful in evaluating performance, detecting potential errors and bottlenecks, and are handy in choosing adequate control strategies and parameters. Process algebras are classical computer science tool for compositional modeling, simulation and analysis of concurrent systems. We discuss and exemplify simulation techniques and prototype tool for Behavioural Hybrid Process Calculus, an extension of process algebra suitable for the modeling and analysis of hybrid systems, systems that combine continuous-time and discrete behaviors