In this paper we describe an experimental system called d dt for approximating reachable states for hybrid systems whose con tinuous dynamics is de ned by linear di erential equations We use an approximation algorithm whose accumulation of errors during the con tinuous evolution is much smaller than in previously used methods The d dt system can so far treat non trivial continuous systems hybri...

In this paper we summarize a dual-time scale formulation of dynamic user equilibrium with demand growth due to Friesz et al (2008). This formulation belongs to the problem class that Pang and Stewart (2008) refer to as di¤erential variational inequalities. We also present a …xed point algorithm for computing solutions to the dual time-scale model without calculating derivatives, along with a nu...

An axiomatic concept of quantum eld theory stochastic processes is introduced and some elementary properties of them are presented. The existence of the trace processes connected to Gibbs random elds obtained in Euclidean Quantum Field Theory is discussed. For particular twodimensional interactions the Markov property and continuity of paths of the corresponding trace processes have been obtain...

in this paper, we prove the existence of the solution for boundary value prob-lem(bvp) of fractional dierential equations of order q 2 (2; 3]. the kras-noselskii's xed point theorem is applied to establish the results. in addition,we give an detailed example to demonstrate the main result.

Let us consider the di erential equation

Under appropriate assumptions, it is shown that there is a di eomorphism that transforms solutions of the implicit di erential equation

An approach for transforming systems of partial di erential equations in order to obtain new formulations which are more accessible to numerical solution is studied. An algorithm is developed for generating such transformations automatically, using symbolic computations employing Gr obner bases. The algorithm is implemented using freely available software. This approach, along with planned dev...

We de ne a discrete (integer-valued) Lyapunov function V for cyclic nearest neighbor systems of di erential delay equations possessing a feedback condition. This extends analogous de nitions for cyclic systems of ODE's, and for scalar di erential delay equations. We relate the values of V to the real parts of the Floquet multipliers for such linear periodic systems, and thereby prove all Floque...

Let X be the solution of an Itô di erential equation with jumps over R. Under some auxiliary assumptions on the parameters of the equation, we characterize the support of the law of X in the Skorohod space D as the closure of the set of solutions to piecewise ordinary di erential equations. This gives an analogue in the Poisson space to the classical Stroock–Varadhan support theorem. c © 2000 P...

In this paper, we study general linear systems of delay di erential-algebraic equations (DDAEs) of arbitrary order. We show that under some consistency conditions, every linear high-order DAE can be reformulated as an underlying high-order ordinary di erential equation (ODE) and that every linear DDAE with single delay can be reformulated as a high-order delay di erential equation (DDE). We der...