Title: Specifying Time Constraints of Cyber Physical Systems Based on Clock Theory
Abstract: Cyber Physical Systems(CPS) combines the interactions between control processes and physical processes. Behaviors of the interactions in Cyber Physical Systems are divided into discrete dynamics and continuous dynamics. The interactions must be time-constrained in order to keep system well-behaved. Both behaviors can be specified with Clock Theory, which is proposed by Jifeng He, to maintain the consistency and correctness of Cyber Physical Systems. This paper aims to show how clock works in the specification of CPS.
Publication Year: 2013
Publication Date: 2013-12-01
Language: en
Type: article
Indexed In: ['crossref']
Access and Citation
Cited By Count: 3
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot