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


Share/Save/Bookmark

Bujorianu, M.C. and Bujorianu, L.M. and Langerak, R. (2008) An Interpretation of Concurrent Hybrid Time Systems over Multi-clock Systems. In: Proceedings of the 17th IFAC World Congress, 6-11 Jul 2008, Seoul, Korea (pp. pp. 3635-3640).

[img] PDF
Restricted to UT campus only
: Request a copy
221kB
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 or Workshop Item
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/65268
Official URL:http://dx.doi.org/10.3182/20080706-5-KR-1001.4239
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 255079