Abstract
A cyber-physical system (CPS) consists of two interacting subsystems, a distributed computer system (the C-system) and a physical system (the P-system) that is controlled by the C-system. The different models of time – dense time in the P-system and discrete time in the C-system – lead to an observation uncertainty at the interface of these two subsystems. Within the C-system, the jitter of the communication system can be the source of an inconsistent system state. This paper investigates the effects of the observations uncertainty and the jitter of the communication system on the causality and determinism of the system behavior in a CPS that contains a global notion of time. It comes to the conclusion that in general it is not possible to build a faithful model of a P-system in the C-system. Based on the gained insight some guidelines for the design of cyber-physical systems are given and a short note on the faithfulness of timeless (asynchronous) C- systems are contained in the final part of the paper.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
