A set-theoretic approach to analyzing timing uncertainty within cyber-physical systems
Clocks are deeply integrated into practically every cyber-physical system either explicitly as provenance for time-triggered 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.
48th Annual Precise Time and Time Interval (PTTI) Systems and Applications Meeting
A set-theoretic approach to analyzing timing uncertainty within cyber-physical systems, 48th Annual Precise Time and Time Interval (PTTI) Systems and Applications Meeting, Monterey, CA
(Accessed January 18, 2022)