An Interpretation of Concurrent Hybrid Time Systems over Multi-clock Systems

M.C. Bujorianu; L.M. Bujorianu; Romanus Langerak

doi:10.3182/20080706-5-KR-1001.4239

An Interpretation of Concurrent Hybrid Time Systems over Multi-clock Systems

M.C. Bujorianu, L.M. Bujorianu, Romanus Langerak

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

3 Citations (Scopus)

Abstract

In this paper, we present a multiclock model for real time abstractions of hybrid systems. We call Hybrid Time systems the resulting model, which is constructed using category theory. Such systems are characterized by heterogeneous timing, some components having discrete time and others continuous time. We define a timed (or clock) system as a functor from a category of states to a category of time values. We further define concurrent composition operators and bisimulation.

Original language	Undefined
Title of host publication	Proceedings of the 17th IFAC World Congress
Editors	M.J. Chung, P Misra
Place of Publication	USA
Publisher	IFAC
Pages	3635-3640
Number of pages	6
ISBN (Print)	978-3-902661-00-5
DOIs	https://doi.org/10.3182/20080706-5-KR-1001.4239
Publication status	Published - Jul 2008
Event	17th IFAC World Congress 2008 - Seoul, Korea, Republic of Duration: 5 Jul 2008 → 12 Jul 2008 Conference number: 17

Publication series

Name
Publisher	IFAC
Number	2008/16200
Volume	17, 1

Conference

Conference	17th IFAC World Congress 2008
Country	Korea, Republic of
City	Seoul
Period	5/07/08 → 12/07/08

Keywords

Process Algebra
Real Time
multiclock systems
IR-65268
concurrent hybrid systems
EWI-14799
METIS-255079
category theory

Access to Document

10.3182/20080706-5-KR-1001.4239

http://eprints.eemcs.utwente.nl/secure2/14799/01/4239.pdf

Cite this

@inproceedings{651159f92c8d46c8b61302936d4e9816,

title = "An Interpretation of Concurrent Hybrid Time Systems over Multi-clock Systems",

abstract = "In this paper, we present a multiclock model for real time abstractions of hybrid systems. We call Hybrid Time systems the resulting model, which is constructed using category theory. Such systems are characterized by heterogeneous timing, some components having discrete time and others continuous time. We define a timed (or clock) system as a functor from a category of states to a category of time values. We further define concurrent composition operators and bisimulation.",

keywords = "Process Algebra, Real Time, multiclock systems, IR-65268, concurrent hybrid systems, EWI-14799, METIS-255079, category theory",

author = "M.C. Bujorianu and L.M. Bujorianu and Romanus Langerak",

note = "10.3182/20080706-5-KR-1001.4239 ; null ; Conference date: 05-07-2008 Through 12-07-2008",

year = "2008",

month = jul,

doi = "10.3182/20080706-5-KR-1001.4239",

language = "Undefined",

isbn = "978-3-902661-00-5",

publisher = "IFAC",

number = "2008/16200",

pages = "3635--3640",

editor = "M.J. Chung and P Misra",

booktitle = "Proceedings of the 17th IFAC World Congress",

}

Bujorianu, MC, Bujorianu, LM & Langerak, R 2008, An Interpretation of Concurrent Hybrid Time Systems over Multi-clock Systems. in MJ Chung & P Misra (eds), Proceedings of the 17th IFAC World Congress., 10.3182/20080706-5-KR-1001.4239, IFAC, USA, pp. 3635-3640, 17th IFAC World Congress 2008, Seoul, Korea, Republic of, 5/07/08. https://doi.org/10.3182/20080706-5-KR-1001.4239

An Interpretation of Concurrent Hybrid Time Systems over Multi-clock Systems. / Bujorianu, M.C.; Bujorianu, L.M.; Langerak, Romanus.

Proceedings of the 17th IFAC World Congress. ed. / M.J. Chung; P Misra. USA : IFAC, 2008. p. 3635-3640 10.3182/20080706-5-KR-1001.4239.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - An Interpretation of Concurrent Hybrid Time Systems over Multi-clock Systems

AU - Bujorianu, M.C.

AU - Bujorianu, L.M.

AU - Langerak, Romanus

N1 - Conference code: 17

PY - 2008/7

Y1 - 2008/7

N2 - In this paper, we present a multiclock model for real time abstractions of hybrid systems. We call Hybrid Time systems the resulting model, which is constructed using category theory. Such systems are characterized by heterogeneous timing, some components having discrete time and others continuous time. We define a timed (or clock) system as a functor from a category of states to a category of time values. We further define concurrent composition operators and bisimulation.

AB - In this paper, we present a multiclock model for real time abstractions of hybrid systems. We call Hybrid Time systems the resulting model, which is constructed using category theory. Such systems are characterized by heterogeneous timing, some components having discrete time and others continuous time. We define a timed (or clock) system as a functor from a category of states to a category of time values. We further define concurrent composition operators and bisimulation.

KW - Process Algebra

KW - Real Time

KW - multiclock systems

KW - IR-65268

KW - concurrent hybrid systems

KW - EWI-14799

KW - METIS-255079

KW - category theory

U2 - 10.3182/20080706-5-KR-1001.4239

DO - 10.3182/20080706-5-KR-1001.4239

M3 - Conference contribution

SN - 978-3-902661-00-5

SP - 3635

EP - 3640

BT - Proceedings of the 17th IFAC World Congress

A2 - Chung, M.J.

A2 - Misra, P

PB - IFAC

CY - USA

Y2 - 5 July 2008 through 12 July 2008

ER -