A set-theoretic approach to analyzing timing uncertainty within cyber-physical systems

Published

February 25, 2016

Author(s)

DJ Anand

Abstract

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.

Proceedings Title

48th Annual Precise Time and Time Interval (PTTI) Systems and Applications Meeting

Conference Dates

January 25-28, 2016

Conference Location

Monterey, CA, US

Pub Type

Conferences

Download Paper

Local Download

Keywords

CPS, Timing, Dynamics, Power Systems

Citation

Anand, D. (2016), 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, US, [online], https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=920239 (Accessed September 16, 2024)