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 Banerjee | 1 | 566 | 55.16 |
Imane Lamrani | 2 | 1 | 3.43 |
Sandeep K. S. Gupta | 3 | 2572 | 219.25 |