Abstract

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 past quarter century. It has generated a deeper nderstanding of the nature of concepts such as observable behaviour in the presence of nondeterminism, system composition by interconnection of concurrent component systems, and notions of behavioural equivalence of such systems. It has contributed fundamental concepts such as bisimulation, and has been successfully used in a wide range of problems and practical applications in concurrent systems. We believe that the basic tenets of process algebra are highly compatible with the behavioural approach to dynamical systems. In our contribution we present an extension of classical process algebra that is suitable for the modelling and analysis of continuous and hybrid dynamical systems. It provides a natural framework for the concurrent composition of such systems, and can deal with nondeterministic behaviour that may arise from the occurrence of internal switching events. Standard process algebraic techniques lead to the characterisation of the observable behaviour of such systems as equivalence classes under some suitably adapted notion of bisimulation.
Original languageUndefined
Place of PublicationEnschede
PublisherFormal Methods and Tools (FMT)
Number of pages26
StatePublished - 4 Oct 2005

Publication series

NameCTIT technical report series
PublisherUniversity of Twente, Centre for Telematica and Information Technology (CTIT)
No.1381-3625

Fingerprint

Algebra
Dynamical systems
Equivalence classes
Discrete event simulation
Chemical analysis
Computer science

Keywords

  • EWI-1303
  • Formal Methods
  • IR-54778
  • METIS-229267
  • Formal specifications
  • Behavioural science

Cite this

Brinksma, H., & Krilavicius, T. (2005). Behavioural Hybrid Process Calculus. (CTIT technical report series; No. 1381-3625). Enschede: Formal Methods and Tools (FMT).

Brinksma, Hendrik; Krilavicius, T. / Behavioural Hybrid Process Calculus.

Enschede : Formal Methods and Tools (FMT), 2005. 26 p. (CTIT technical report series; No. 1381-3625).

Research output: ProfessionalReport

@book{3cfcbb0ebdb6436ab01e9c0a49d6730f,
title = "Behavioural Hybrid Process Calculus",
abstract = "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 past quarter century. It has generated a deeper nderstanding of the nature of concepts such as observable behaviour in the presence of nondeterminism, system composition by interconnection of concurrent component systems, and notions of behavioural equivalence of such systems. It has contributed fundamental concepts such as bisimulation, and has been successfully used in a wide range of problems and practical applications in concurrent systems. We believe that the basic tenets of process algebra are highly compatible with the behavioural approach to dynamical systems. In our contribution we present an extension of classical process algebra that is suitable for the modelling and analysis of continuous and hybrid dynamical systems. It provides a natural framework for the concurrent composition of such systems, and can deal with nondeterministic behaviour that may arise from the occurrence of internal switching events. Standard process algebraic techniques lead to the characterisation of the observable behaviour of such systems as equivalence classes under some suitably adapted notion of bisimulation.",
keywords = "EWI-1303, Formal Methods, IR-54778, METIS-229267, Formal specifications, Behavioural science",
author = "Hendrik Brinksma and T. Krilavicius",
note = "BriKri05",
year = "2005",
month = "10",
series = "CTIT technical report series",
publisher = "Formal Methods and Tools (FMT)",
number = "1381-3625",

}

Brinksma, H & Krilavicius, T 2005, Behavioural Hybrid Process Calculus. CTIT technical report series, no. 1381-3625, Formal Methods and Tools (FMT), Enschede.

Behavioural Hybrid Process Calculus. / Brinksma, Hendrik; Krilavicius, T.

Enschede : Formal Methods and Tools (FMT), 2005. 26 p. (CTIT technical report series; No. 1381-3625).

Research output: ProfessionalReport

TY - BOOK

T1 - Behavioural Hybrid Process Calculus

AU - Brinksma,Hendrik

AU - Krilavicius,T.

N1 - BriKri05

PY - 2005/10/4

Y1 - 2005/10/4

N2 - 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 past quarter century. It has generated a deeper nderstanding of the nature of concepts such as observable behaviour in the presence of nondeterminism, system composition by interconnection of concurrent component systems, and notions of behavioural equivalence of such systems. It has contributed fundamental concepts such as bisimulation, and has been successfully used in a wide range of problems and practical applications in concurrent systems. We believe that the basic tenets of process algebra are highly compatible with the behavioural approach to dynamical systems. In our contribution we present an extension of classical process algebra that is suitable for the modelling and analysis of continuous and hybrid dynamical systems. It provides a natural framework for the concurrent composition of such systems, and can deal with nondeterministic behaviour that may arise from the occurrence of internal switching events. Standard process algebraic techniques lead to the characterisation of the observable behaviour of such systems as equivalence classes under some suitably adapted notion of bisimulation.

AB - 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 past quarter century. It has generated a deeper nderstanding of the nature of concepts such as observable behaviour in the presence of nondeterminism, system composition by interconnection of concurrent component systems, and notions of behavioural equivalence of such systems. It has contributed fundamental concepts such as bisimulation, and has been successfully used in a wide range of problems and practical applications in concurrent systems. We believe that the basic tenets of process algebra are highly compatible with the behavioural approach to dynamical systems. In our contribution we present an extension of classical process algebra that is suitable for the modelling and analysis of continuous and hybrid dynamical systems. It provides a natural framework for the concurrent composition of such systems, and can deal with nondeterministic behaviour that may arise from the occurrence of internal switching events. Standard process algebraic techniques lead to the characterisation of the observable behaviour of such systems as equivalence classes under some suitably adapted notion of bisimulation.

KW - EWI-1303

KW - Formal Methods

KW - IR-54778

KW - METIS-229267

KW - Formal specifications

KW - Behavioural science

M3 - Report

T3 - CTIT technical report series

BT - Behavioural Hybrid Process Calculus

PB - Formal Methods and Tools (FMT)

ER -

Brinksma H, Krilavicius T. Behavioural Hybrid Process Calculus. Enschede: Formal Methods and Tools (FMT), 2005. 26 p. (CTIT technical report series; 1381-3625).