Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods

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