A Set-theoretic Approach to Analyzing Timing Uncertainty within Cyber-physical Systems

D.M. Anand

Abstract:	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.
Published in:	Proceedings of the 2016 International Technical Meeting of The Institute of Navigation January 25 - 28, 2016 Hyatt Regency Monterey Monterey, California
Pages:	478 - 484
Cite this article:	Anand, D.M., "A Set-theoretic Approach to Analyzing Timing Uncertainty within Cyber-physical Systems," Proceedings of the 2016 International Technical Meeting of The Institute of Navigation, Monterey, California, January 2016, pp. 478-484. https://doi.org/10.33012/2016.13448
Full Paper:	ION Members/Non-Members: 1 Download Credit Sign In