15,792 research outputs found
Dhage Iteration Method for Nonlinear First Order Hybrid Differential Equations with a Linear Perturbation of Second Type
In this paper the authors prove algorithms for the existence and approximation of the solutions for an initial and a periodic boundary value problem of nonlinear first order ordinary hybrid differential equations with a linear perturbation of second type via Dhage iteration method. Examples are furnished to illustrate the hypotheses and main abstract results of this paper
Tropical geometries and dynamics of biochemical networks. Application to hybrid cell cycle models
We use the Litvinov-Maslov correspondence principle to reduce and hybridize
networks of biochemical reactions. We apply this method to a cell cycle
oscillator model. The reduced and hybridized model can be used as a hybrid
model for the cell cycle. We also propose a practical recipe for detecting
quasi-equilibrium QE reactions and quasi-steady state QSS species in
biochemical models with rational rate functions and use this recipe for model
reduction. Interestingly, the QE/QSS invariant manifold of the smooth model and
the reduced dynamics along this manifold can be put into correspondence to the
tropical variety of the hybridization and to sliding modes along this variety,
respectivelyComment: conference SASB 2011, to be published in Electronic Notes in
Theoretical Computer Scienc
Feedback Stabilization Methods for the Numerical Solution of Systems of Ordinary Differential Equations
In this work we study the problem of step size selection for numerical
schemes, which guarantees that the numerical solution presents the same
qualitative behavior as the original system of ordinary differential equations,
by means of tools from nonlinear control theory. Lyapunov-based and Small-Gain
feedback stabilization methods are exploited and numerous illustrating
applications are presented for systems with a globally asymptotically stable
equilibrium point. The obtained results can be used for the control of the
global discretization error as well.Comment: 33 pages, 9 figures. Submitted for possible publication to BIT
Numerical Mathematic
Lagrangian Reachabililty
We introduce LRT, a new Lagrangian-based ReachTube computation algorithm that
conservatively approximates the set of reachable states of a nonlinear
dynamical system. LRT makes use of the Cauchy-Green stretching factor (SF),
which is derived from an over-approximation of the gradient of the solution
flows. The SF measures the discrepancy between two states propagated by the
system solution from two initial states lying in a well-defined region, thereby
allowing LRT to compute a reachtube with a ball-overestimate in a metric where
the computed enclosure is as tight as possible. To evaluate its performance, we
implemented a prototype of LRT in C++/Matlab, and ran it on a set of
well-established benchmarks. Our results show that LRT compares very favorably
with respect to the CAPD and Flow* tools.Comment: Accepted to CAV 201
An approximation algorithm for the solution of the nonlinear Lane-Emden type equations arising in astrophysics using Hermite functions collocation method
In this paper we propose a collocation method for solving some well-known
classes of Lane-Emden type equations which are nonlinear ordinary differential
equations on the semi-infinite domain. They are categorized as singular initial
value problems. The proposed approach is based on a Hermite function
collocation (HFC) method. To illustrate the reliability of the method, some
special cases of the equations are solved as test examples. The new method
reduces the solution of a problem to the solution of a system of algebraic
equations. Hermite functions have prefect properties that make them useful to
achieve this goal. We compare the present work with some well-known results and
show that the new method is efficient and applicable.Comment: 34 pages, 13 figures, Published in "Computer Physics Communications
- âŠ