Action and predicate safety of hybrid processes

Research output: Book/ReportReportAcademic

51 Downloads (Pure)


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.
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages32
Publication statusPublished - 2004

Publication series

NameComputer science reports
ISSN (Print)0926-4515


Dive into the research topics of 'Action and predicate safety of hybrid processes'. Together they form a unique fingerprint.

Cite this