Non-linear Analysis for Operational Safety Verification of Cyber Physical Systems

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

Abstract

Reach set approximation is an important tool for operational safety analysis of Cyber-Physical systems (CPS). However, industrial CPS typically experience non-linear dynamics. Piece-wise linearization is popularly employed to simplify the continuous dynamics with certain approximation errors, which typically increase non-linearly with respect to size of each piece (simplex). In this paper, we utilize ExReach that employs a novel reach set estimation algorithm for non-linear hybrid systems and show the use on practical medical cyber-physical system examples such as artificial pancreas and ventilators. In addition, we compare the performance of ExReach with existing tools such as Flow? on six non-linear systems with dimensions varying from 2 to 28. ExReach outputs a tighter over-approximation of the reach set of the CPS than Flow* or C2E2.

Original languageEnglish (US)
Title of host publicationProceedings - 2020 IEEE Conference on Industrial Cyberphysical Systems, ICPS 2020
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages529-534
Number of pages6
ISBN (Electronic)9781728163895
DOIs
StatePublished - Jun 10 2020
Event3rd IEEE Conference on Industrial Cyberphysical Systems, ICPS 2020 - Virtual, Tampere, Finland
Duration: Jun 10 2020Jun 12 2020

Publication series

NameProceedings - 2020 IEEE Conference on Industrial Cyberphysical Systems, ICPS 2020

Conference

Conference3rd IEEE Conference on Industrial Cyberphysical Systems, ICPS 2020
CountryFinland
CityVirtual, Tampere
Period6/10/206/12/20

ASJC Scopus subject areas

  • Artificial Intelligence
  • Computer Science Applications
  • Hardware and Architecture
  • Information Systems and Management
  • Control and Systems Engineering
  • Industrial and Manufacturing Engineering
  • Safety, Risk, Reliability and Quality

Fingerprint Dive into the research topics of 'Non-linear Analysis for Operational Safety Verification of Cyber Physical Systems'. Together they form a unique fingerprint.

Cite this