earticle

영어

Cyber Physical Systems are integrations of computing, communication and control sys- tems, and CPS make it possible to link the physical world and discrete world much more tightly and accurately. Though the appearance of CPS has triggered a great revolution to the electronic, information and internet technology, many problems still need to be solved when using the existing theories and technologies especially the description and analysis of time in Cyber Physical Systems. Clock theory puts forward the description of time and corresponding mechanism. This paper aims to apply the clock theory to the specication of Cyber Physical Systems.