The Library
An interpretation of concurrent hybrid time systems over multi-clock systems
Tools
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. doi:10.3182/20080706-5-KR-1001.00614 ISSN 1474-6670.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Official URL: http://dx.doi.org/10.3182/20080706-5-KR-1001.00614
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, Engineering and Medicine > 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 | ||||
Official Date: | 2008 | ||||
Dates: |
|
||||
Volume: | Vol.17 | ||||
Number: | No.1 | ||||
Page Range: | pp. 3635-3640 | ||||
DOI: | 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 |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |