I. Introduction
Cyber-physical systems (CPSs) are hybrid systems that integrate communication, computing, and the physical world that have high reliability, real time, and stability requirements [1]. Fig. 1 shows a typical automotive CPS architecture that displays three important pieces of information. First, CPS can realize self-control by dynamically analyzing information received from sensors. Second, CPSs are indispensable for exchanging information with other objects at runtime, such as other automobiles, humans, and base stations. This process may bring latent dangers to the system in the aspects of stability and reliability [2]. Third, various systems inside automobiles also communicate with each other, which may also introduce some security risks. Therefore, studying the functional properties of CPS, such as stability, reliability, and predictability, has practical significance.