Paper Info
Title
Intertwined Global Optimization Based Reachability Analysis
Abstract
This paper proposes a semi-formal reachability analysis technique based on global optimization for hybrid systems. In order to model the hybrid system dynamics with parameter and noise disturbance, a system of stochastic recurrence equations formalism is proposed. Then, a reachability analysis approach is adopted to compute the reachable sets under an interval of initial conditions and in light of system parameters variability. The novelty of our approach is in approximating the reachable bounds in an intertwined forward/backward manner. The backward corrections refine the obtained reachable bounds in the forward scheme and so reduce the high reachability over-bounding due to the wrapping effect. Finally, a Monte Carlo hypothesis testing based technique is performed on the resultant reachable bounds to uncover the hybrid system failure with regard to a certain specification. These failures are quantified in terms of parametric yield rate which reflects the sensitivity of the hybrid system to variations in its parameters. We demonstrate the effectiveness of our proposed verification methodology by applying it on a mixed analog and digital electronics building block commonly used in communications systems.
Year
DOI
Venue
2017
10.1007/978-3-319-66176-6_10
VERIFICATION AND EVALUATION OF COMPUTER AND COMMUNICATION SYSTEMS, VECOS 2017
Keywords
DocType
Volume
Hybrid systems, System of stochastic recurrence equations, Intertwined forward-backward reachability analysis
Conference
10466
ISSN
Citations 
PageRank 
0302-9743
0
0.34
References 
Authors
0
2
Name
Order
Citations
PageRank
Ibtissem Seghaier142.90
Sofiène Tahar2915110.41