A process-algebraic approach to hybrid systems

Hendrik Brinksma, T. Krilavicius, Y.S. Usenko

  • 2 Citations

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 understanding 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 characterization of the observable behaviour of such systems as equivalence classes under some suitably adapted notion of bisimulation.
Original languageUndefined
Title of host publication16th IFAC World Congress
EditorsP. Pitzek
PublisherIFAC
Pages-
Number of pages6
ISBN (Print)008045108X
StatePublished - Jul 2005
Event16th IFAC World Congress 2005 - Prague, Czech Republic

Publication series

Name
PublisherIFAC

Conference

Conference16th IFAC World Congress 2005
CountryCzech Republic
CityPrague
Period3/07/058/07/05
Internet address

Fingerprint

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

Keywords

  • EWI-1632
  • IR-54944
  • METIS-229698

Cite this

Brinksma, H., Krilavicius, T., & Usenko, Y. S. (2005). A process-algebraic approach to hybrid systems. In P. Pitzek (Ed.), 16th IFAC World Congress (pp. -). IFAC.

Brinksma, Hendrik; Krilavicius, T.; Usenko, Y.S. / A process-algebraic approach to hybrid systems.

16th IFAC World Congress. ed. / P. Pitzek. IFAC, 2005. p. -.

Research output: Scientific - peer-reviewConference contribution

@inbook{718dcf98691044559d4970a1d64f56f6,
title = "A process-algebraic approach to hybrid systems",
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 understanding 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 characterization of the observable behaviour of such systems as equivalence classes under some suitably adapted notion of bisimulation.",
keywords = "EWI-1632, IR-54944, METIS-229698",
author = "Hendrik Brinksma and T. Krilavicius and Y.S. Usenko",
note = "eemcs1632",
year = "2005",
month = "7",
isbn = "008045108X",
publisher = "IFAC",
pages = "--",
editor = "P. Pitzek",
booktitle = "16th IFAC World Congress",

}

Brinksma, H, Krilavicius, T & Usenko, YS 2005, A process-algebraic approach to hybrid systems. in P Pitzek (ed.), 16th IFAC World Congress. IFAC, pp. -, 16th IFAC World Congress 2005, Prague, Czech Republic, 3-8 July.

A process-algebraic approach to hybrid systems. / Brinksma, Hendrik; Krilavicius, T.; Usenko, Y.S.

16th IFAC World Congress. ed. / P. Pitzek. IFAC, 2005. p. -.

Research output: Scientific - peer-reviewConference contribution

TY - CHAP

T1 - A process-algebraic approach to hybrid systems

AU - Brinksma,Hendrik

AU - Krilavicius,T.

AU - Usenko,Y.S.

N1 - eemcs1632

PY - 2005/7

Y1 - 2005/7

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 understanding 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 characterization 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 understanding 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 characterization of the observable behaviour of such systems as equivalence classes under some suitably adapted notion of bisimulation.

KW - EWI-1632

KW - IR-54944

KW - METIS-229698

M3 - Conference contribution

SN - 008045108X

SP - -

BT - 16th IFAC World Congress

PB - IFAC

ER -

Brinksma H, Krilavicius T, Usenko YS. A process-algebraic approach to hybrid systems. In Pitzek P, editor, 16th IFAC World Congress. IFAC. 2005. p. -.