We develop an algebraic theory, called hybrid process algebra (HyPA), for the description
and analysis of hybrid systems. HyPA is an extension of the process algebra ACP, with the …

The hybrid χ (Chi) formalism integrates concepts from dynamics and control theory with
concepts from computer science, in particular from process algebra and hybrid automata. It …

We study a component-based approach to simplify the challenges of verifying large-scale
hybrid systems. Component-based modeling can be used to split large models into partial …

This thesis is a result of four years of intensive cooperation between the Systems
Engineering Group of the Mechanical Engineering Department and the Formal Methods …

In this paper, we present reasoning techniques for a component-based modeling and
verification approach for hybrid systems comprising discrete dynamics as well as continuous …

Nowadays, due to increasing system complexity and growing competition and costs,
industry makes high demands on powerful techniques used to design and analyze …

Computer controlled systems are almost omnipresent nowadays. We expect such systems to
function properly at any time we need them. The malfunctioning of home electronics just …

The article reviews the various ways sequential composition is defined in traditional process
calculi, and shows that such definitions are not optimal, thus limiting the dissemination of …

SystemC/sup FL/: formalization of SystemC Page 1 IEEE MELECON 2004, May 12-1 5,2004,
Dubrovnik, Croatia SzptemC'" : Formalization of SystemC KL Man* *Formal Methods Group …

Process algebra is a theoretical framework for the modelling and analysis of the behaviour
of concurrent discrete event systems that has been developed within computer science in …