Action and Predicate Safety of Hybrid Processes

  title={Action and Predicate Safety of Hybrid Processes},
  author={Pieter J. L. Cuijpers and Michel A. Reniers},
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… CONTINUE READING


Publications citing this paper.
Showing 1-2 of 2 extracted citations


Publications referenced by this paper.
Showing 1-10 of 24 references

Process Algebra, volume 18 of Cambridge Trancts in Theoretical Computer Science

  • J.C.M. Baeten, W. P. Weijland
  • 1990
Highly Influential
4 Excerpts

Hybrid transition systems

  • P.J.L. Cuijpers, M. A. Reniers, W.P.M.H. Heemels
  • Technical Report CS-Report 02-12,
  • 2002
1 Excerpt

Linearization in μCRL

  • Y. S. Usenko
  • PhD thesis, Technische Universiteit Eindhoven (TU…
  • 2002
3 Excerpts

Similar Papers

Loading similar papers…