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 of) states of a structural system under dynamic loading for all (sets of) perturbations acting on the system. We compute ellipsoidal approximations of these sets. Finally, we demonstrate the reachability analysis approach on a few canonical dynamic problems.
منابع مشابه
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 simulat...
متن کاملSReach: Combining Statistical Tests and Bounded Model Checking for Nonlinear Hybrid Systems with Parametric Uncertainty
We present a novel approach for solving the probabilistic bounded reachability problem of hybrid systems with parameter uncertainty. Standard approaches to this problem require numerical solutions for large optimization problems, and become unfeasible for systems involving nonlinear dynamics over the reals. Our approach combines randomized sampling of probabilistic system parameters, SMT-based ...
متن کامل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...
متن کامل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...
متن کاملA simulation-based approach to the approximation of stochastic hybrid systems ⋆
We study the problem of approximating a stochastic, possibly hybrid, system by means of some abstracted model to the purpose of simplifying the analysis of properties such as probabilistic safety and reachability. We suppose that the property to be analyzed depends on the behavior of some output signal of the system and that the model is designed in order to reproduce that signal as close as po...
متن کامل