Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods
Texte intégral
Figure
Documents relatifs
At the best of our knowledge, this topic started in [84], [81], [52] and [44]. These articles use nonlinear semigroup theory to tackle the asymptotic stability of
Since the range of possible behaviors of these nonlinear loops is broad (discontinuous changes of the state, compact sets of equilibria, state constraints), we cast the problems
Ischemic disturbances within mitochondria, such as calcium overload, loss of membrane potential, oxidative stress, mass production of free radicals, low NADPH/NADP + and
Keywords — Parallel Synchronous, Parallel Asynchronous, Convergence detection, Itera- tive algorithms, Sub-structuring methods, Jacobi method, Domain Decomposition Method,
Among the most widely used implicit methods for stiff prob- lem are Backward Differentiation Formulas (BDF). However, solving implicit time stepping requires the use of
First, an important "Abbreviations of Creeds and Confessions" (xvii-xliv); second, an extensive bibliography dates titles in the area of Christian history and the
The purpose of this paper is to present an algorithm based on guaranteed numerical computation which, given the dynamics of the system, provides an inner and outer approximation of
We have addressed hybrid reachability analysis of uncertain nonlinear hybrid systems using interval analysis, guaranteed set integration, interval constraint propagation and