This paper summarizes recent results on the number and characterization of di erential invariants of transformation groups Generalizations of theorems due to Ovsiannikov and to M Green are presented as well as a new approach to nding bounds on the number of independent di erential invariants Consider a group of transformations acting on a jet space coordinatized by the inde pendent variables th...

An initial value problem for y0 = f(t; y) may have an associated event function g(t; y). An event is said to occur at t when g(t ; y(t )) = 0. We consider problems for which the de nition of f(t; y) changes at the time of an event. A number of solvers locate events and restart the integration there so as to deal with the changes in f , but there is little theoretical support for what is done. H...

A transformation is introduced to e!ectively remove level e!ects, i.e. the state dependency of the di!usion function, in a restricted class of multivariate stochastic di!erential equations such that the general continuous}discrete-time nonlinear "ltering problem may be solved using new or existing implementations of the extended kalman "lter (EKF). An implementation of a quasi-maximum likelihoo...

Oberwolfach Tagungsbericht 26/1999 Partial Di erential Equations 13.06.1999 { 19.06.1999 This meeting was organized by L. C. Evans (Berkeley), S. M uller (MPI Leipzig) and E. Kuwert (Freiburg). The 22 delivered talks addressed a broad spectrum of questions for nonlinear partial di erential equations. Most of the considered problems arise in geometry or in physics, as for example submanifolds w...

Symbolic Reachability Computation for Families of Linear Vector Fields Gerardo Lafferriere Department of Mathematical Sciences Portland State University, P.O. Box 751, Portland, OR 97207-0751. [email protected] George J. Pappas Department of Electrical Engineering University of Pennsylvania, 200 South 33rd Street, Philadelphia, PA 19104. [email protected] Sergio Yovine VERIMAG Centre Equat...

Solvability of forward–backward stochastic di erential equations with nonsmooth coe cients is considered using the Four-Step Scheme and some approximation arguments. For the onedimensional case, the existence of an adapted solution is established for the equation which allows the di usion in the forward equation to be degenerate. As a byproduct, we obtain the existence of a viscosity solution t...

We consider a system of ordinary di erential equations consisting of a singularly perturbed scalar di erential equation of second order and a scalar di erential equation of rst or second order and study a Neuman-Cauchy or a Neuman-Dirichlet problem. We assume that the degenerate equation has two intersecting solutions such that the standard theory for systems of Tichonov's type cannot be applie...

This paper surveys recent results on the classi cation of di erential invari ants of transformation groups and their applications to invariant di erential equations and variational problems Consider a group of transformations acting on a jet space coordinatized by the inde pendent variables the dependent variables and their derivatives Scalar functions which are not a ected by the group transfo...

Some oscillation criteria for the oscillatory behavior of fourth order superlinear dynamic equations on time scales are established. Criteria are proved that ensure that all solutions of superlinear and linear equations are oscillatory. Many of our results are new for corresponding fourth order superlinear di¤erential equations and fourth order superlinear di¤erence equations.

Continuous system dynamics can be described by possibly large systems of di erential equations These can be either ordinary di erential equations ODEs or contain algebraic constraints as well to form di erential and algebraic equations DAEs Complex systems such as aircraft often operate in di erent modes of continuous operation and when mode changes occur the continuous dynamics change abruptly...