Skip to main content
U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

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

Published

Author(s)

Dhananjay 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

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 (Accessed January 18, 2022)
Created February 26, 2016, Updated February 19, 2017