Assessment of Quality of Hybrid Simulation Using Reachability Analysis
نویسندگان
چکیده
Hybrid simulation is an experimentally based method for investigating the response of a structure to dynamic excitation using a hybrid model. A hybrid model is an assemblage of one or more physical and one or more numerical, consistently scaled, substructures. The equation of motion of a hybrid model under dynamic excitation is solved during a hybrid simulation test. Results from hybrid simulation and shaking table tests have been shown to be comparable as long as propagation of experimental errors is successfully mitigated during the hybrid simulation. This paper addresses the issue of quality of hybrid simulation using a control-theory concept of reachability. Reachability analysis of a dynamic system deterministically predicts the sets of states the systems can attain under uncertain dynamic excitation starting from uncertain initial conditions evaluated using uncertain measurements. A method to compute the outside (worst-case) ellipsoidal approximation of these reachable sets is presented. Then, this method is used to predict an ellipsoidal tube of the envelope of states that can be reached starting from a state currently attained by the hybrid model during a hybrid simulation. A technique to evaluate the quality of hybrid simulation based on the size of the ellipsoidal tube approximation is developed and corresponding criteria for measuring the quality of hybrid simulation based on the how tightly the ellipsoidal tube envelopes the actual trajectory of the hybrid model in its state space are suggested.
منابع مشابه
Quality of Hybrid Simulation: a Reachability Analysis Approach
We address the issue of the quality of hybrid simulation, an experimental method used in earthquake engineering to examine the response of structural systems to dynamic excitation. After describing the typical sources and the effects of measurement and actuation errors, we present a reachability-based formulation of error propagation in hybrid simulation. This approach predicts possible (sets o...
متن کاملReachability Analysis of Stochastic Hybrid Systems: A Biodiesel Production System
Reachability analysis of stochastic hybrid systems (SHS) is an important problem because it provides a formal framework to analyze complex systems. Biodiesel production is a realistic biochemical process that can be modeled and analyzed using SHS methods. Analysis of a biodiesel production system is important to understand and analyze because demand for biofuels is growing, and economical, effi...
متن کاملReachability Analysis and its Application to the Safety Assessment of Autonomous Cars
This thesis is about the safety verification of dynamical systems using reachability analysis. Novel solutions have been developed for three major problem classes: Classical reachability analysis, stochastic reachability analysis, and their application to the safety assessment of autonomous cars. Classical reachability analysis aims to compute the exact or over-approximative set of states that ...
متن کاملApproximated Reachability on Hybrid Automata: Falsification meets Certification
Undecidability of the reachability problem is ubiquitous in the context of hybrid automata. Being mostly based on either bounded reachability or on the notion of simulation preorder, current techniques for the approximated reachability analysis force to choose between underand over-approximations. In this paper, we introduce a novel method for the reachability analysis of hybrid automata featur...
متن کاملNumerical Simulation guided Lazy Abstraction Refinement for Nonlinear Hybrid Automata
This draft suggests a new counterexample guided abstraction refinement (CEGAR) framework that uses the combination of numerical simulation for nonlinear differential equations with linear programming for linear hybrid automata (LHA) to perform reachability analysis on nonlinear hybrid automata. A notion of ǫ− structural robustness is also introduced which allows the algorithm to validate counte...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008