TY - GEN
T1 - Non-linear Analysis for Operational Safety Verification of Cyber Physical Systems
AU - Banerjee, Ayan
AU - Lamrani, Imane
AU - Gupta, Sandeep K.S.
N1 - Publisher Copyright:
© 2020 IEEE.
PY - 2020/6/10
Y1 - 2020/6/10
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85098728992&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85098728992&partnerID=8YFLogxK
U2 - 10.1109/ICPS48405.2020.9274758
DO - 10.1109/ICPS48405.2020.9274758
M3 - Conference contribution
AN - SCOPUS:85098728992
T3 - Proceedings - 2020 IEEE Conference on Industrial Cyberphysical Systems, ICPS 2020
SP - 529
EP - 534
BT - Proceedings - 2020 IEEE Conference on Industrial Cyberphysical Systems, ICPS 2020
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 3rd IEEE Conference on Industrial Cyberphysical Systems, ICPS 2020
Y2 - 10 June 2020 through 12 June 2020
ER -