Clocks are deeply integrated into practically every cyberphysical system either explicitly as provenance for timetriggered actions, or implicitly in cases where cyber components operate in lock step with physical dynamics. Recognizing the criticality of timing components, this paper investigates an analysis approach that allows a system designer to formally incorporate timing uncertainty as a factor when evaluating the uncertainty of the overall cyber-physical system. A set theoretic approach is considered in this paper that offers advantages in the form of computational scalability and in its ability to accommodate a general class of hybrid dynamic systems. A demonstration of the approach is provided via illustrative example using a charge pump phase locked loop and a second order dynamic system. We anticipate that the proposed approach is particularly applicable to systems where safety or reachability guarantees are required.
展开▼
