TY - BOOK
T1 - Action and predicate safety of hybrid processes
AU - Cuijpers, P.J.L.
AU - Reniers, M.A.
PY - 2004
Y1 - 2004
N2 - Abstract
In this paper, we study two kinds of safety properties for hybrid processes, namely safety for actions and safety for predicates on model variables. We give an algebraic specification of these safety properties using the process algebra HyPA, and show how to reduce the question of safety of a linear process specification to the question of safety of its sub-processes. As an example, we study a variant of Fischer¿s protocol, in which there can be a relative error between the clocks that are used.
AB - Abstract
In this paper, we study two kinds of safety properties for hybrid processes, namely safety for actions and safety for predicates on model variables. We give an algebraic specification of these safety properties using the process algebra HyPA, and show how to reduce the question of safety of a linear process specification to the question of safety of its sub-processes. As an example, we study a variant of Fischer¿s protocol, in which there can be a relative error between the clocks that are used.
M3 - Report
T3 - Computer science reports
BT - Action and predicate safety of hybrid processes
PB - Technische Universiteit Eindhoven
CY - Eindhoven
ER -