Paper Info
Title
Non-linear Analysis for Operational Safety Verification of Cyber Physical Systems
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 <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">*</sup> or C2E2.
Year
DOI
Venue
2020
10.1109/ICPS48405.2020.9274758
2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS)
Keywords
DocType
Volume
nonlinear dynamics,piecewise linearization,continuous dynamics,approximation errors,ExReach,nonlinear hybrid systems,medical cyber-physical system,nonlinear systems,nonlinear analysis,operational safety verification,cyber physical systems,reach set approximation,operational safety analysis,industrial CPS,reach set estimation
Conference
1
ISBN
Citations 
PageRank 
978-1-7281-6390-1
0
0.34
References 
Authors
6
3
Name
Order
Citations
PageRank
Ayan Banerjee156655.16
Imane Lamrani213.43
Sandeep K. S. Gupta32572219.25