Action and predicate safety of hybrid processes

Research output: Book/ReportReportAcademic

Abstract

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.
LanguageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages32
StatePublished - 2004

Publication series

NameComputer science reports
Volume0410
ISSN (Print)0926-4515

Fingerprint

Specifications
Algebra
Clocks

Cite this

Cuijpers, P. J. L., & Reniers, M. A. (2004). Action and predicate safety of hybrid processes. (Computer science reports; Vol. 0410). Eindhoven: Technische Universiteit Eindhoven.
Cuijpers, P.J.L. ; Reniers, M.A./ Action and predicate safety of hybrid processes. Eindhoven : Technische Universiteit Eindhoven, 2004. 32 p. (Computer science reports).
@book{2bd7a439452a4074a5fce0d8a3140497,
title = "Action and predicate safety of hybrid processes",
abstract = "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.",
author = "P.J.L. Cuijpers and M.A. Reniers",
year = "2004",
language = "English",
series = "Computer science reports",
publisher = "Technische Universiteit Eindhoven",

}

Cuijpers, PJL & Reniers, MA 2004, Action and predicate safety of hybrid processes. Computer science reports, vol. 0410, Technische Universiteit Eindhoven, Eindhoven.

Action and predicate safety of hybrid processes. / Cuijpers, P.J.L.; Reniers, M.A.

Eindhoven : Technische Universiteit Eindhoven, 2004. 32 p. (Computer science reports; Vol. 0410).

Research output: Book/ReportReportAcademic

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 -

Cuijpers PJL, Reniers MA. Action and predicate safety of hybrid processes. Eindhoven: Technische Universiteit Eindhoven, 2004. 32 p. (Computer science reports).