15,792 research outputs found

    Dhage Iteration Method for Nonlinear First Order Hybrid Differential Equations with a Linear Perturbation of Second Type

    Get PDF
    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

    Full text link
    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

    Get PDF
    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

    Full text link
    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

    Full text link
    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
    • 

    corecore