Bujorianu, Manuela, Bujorianu, Marius C. and Langerak , Romanus (2008) An interpretation of concurrent hybrid time systems over multi-clock systems. In: 17th IFAC World Congress, 2008, COEX, Korea, South, 2008. Published in: Proceedings of the 17th IFAC World Congress, 2008, Vol.17 (No.1). pp. 3635-3640.

Full text not available from this repository.

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.

Item Type:	Conference Item (Paper)
Divisions:	Faculty of Science > Mathematics
Journal or Publication Title:	Proceedings of the 17th IFAC World Congress, 2008
Publisher:	International Federation of Automatic Control
ISSN:	1474-6670
Book Title:	Proceedings of the 17th IFAC World Congress, 2008
Date:	2008
Volume:	Vol.17
Number:	No.1
Page Range:	pp. 3635-3640
Identification Number:	10.3182/20080706-5-KR-1001.00614
Status:	Peer Reviewed
Publication Status:	Published
Access rights to Published version:	Restricted or Subscription Access
Conference Paper Type:	Paper
Title of Event:	17th IFAC World Congress, 2008
Type of Event:	Conference
Location of Event:	COEX, Korea, South
Date(s) of Event:	2008
URI:	http://wrap.warwick.ac.uk/id/eprint/48991

Request changes to a record

Actions (login required)

View Item