Spatio-temporal hybrid automata for safe cyber-physical systems: A medical case study

Research output: Chapter in Book/Report/Conference proceedingConference contribution

13 Scopus citations

Abstract

Interactions between the computing units and the physical environment in Cyber-Physical Systems (CPSes) are considered to verify safety properties, i.e. ensuring the un-intentional side-effects of cyber-physical interactions are within desired limits. A Linear 1 space dimension Spatio-Temporal Hybrid Automata (LlSTHA) is defined to capture the effects of the interactions, in both time and space. Aggregate effects of interactions due to concurrent operations in the computing entities are expressed as a set of interdependent partial differential equations associated with dedicated modes of the LlSTHA model. A time and space bound LlSTHA reachability analysis algorithm is proposed for safety verification, which provides reachable states of the L1STHA with an arbitrary accuracy . The runtime of the algorithm depends on the requested accuracy. The usage of the LlSTHA modeling and analysis is demonstrated for medical CPSes such as infusion pumps.

Original languageEnglish (US)
Title of host publication2013 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2013
Pages71-80
Number of pages10
DOIs
StatePublished - Oct 15 2013
Event2013 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2013 - Philadelphia, PA, United States
Duration: Apr 8 2013Apr 11 2013

Publication series

Name2013 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2013

Other

Other2013 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2013
CountryUnited States
CityPhiladelphia, PA
Period4/8/134/11/13

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Hardware and Architecture

Fingerprint Dive into the research topics of 'Spatio-temporal hybrid automata for safe cyber-physical systems: A medical case study'. Together they form a unique fingerprint.

  • Cite this

    Banerjee, A., & Gupta, S. (2013). Spatio-temporal hybrid automata for safe cyber-physical systems: A medical case study. In 2013 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2013 (pp. 71-80). [6604001] (2013 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2013). https://doi.org/10.1109/ICCPS.2013.6604001