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

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.

PDF
Restricted to UT campus only: Request a copy
216Kb

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:	Formal Methods and Tools (FMT)
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

Show download statistics for this publication

Repository Staff Only: item control page

Metis ID: 255079