In this paper we present a new symbolic approach to hybrid systems Hybrid systems are systems con taining both continuous and discrete changing quantities We model hybrid systems using hybrid automata Hybrid automata extend the classical notion of nite state machines by combining di erential equations to model the dynamic behavior of systems with a nite control In contrast to other approaches w...

This paper reviews the formulation and application of optimization techniques based on control theory for aerodynamic shape design in both inviscid and viscous compressible ow. The theory is applied to a system de ned by the partial di erential equations of the ow, with the boundary shape acting as the control. The Frechet derivative of the cost function is determined via the solution of an adj...

The Reproducing Kernel Particle Method (RKPM) is a discretization technique for partial di erential equations that uses the method of weighted residuals to produce either \mesh-free" or \mesh-full" methods. The technique employs classical reproducing kernel theory and incorporates modi ed kernels to account for inconsistencies arising from the (unavoidable) introduction of discrete integration ...

In this paper we consider the pair di usion process in more than two spatial dimensions. In this case we are able to prove just a local existence result, since it is not possible to deduce global a priori estimates for the equations as it can be done in the two dimensional case. The model includes a nonlinear system of reaction{ drift{di usion equations, a nonlinear ordinary di erential equatio...

On the background of a careful analysis of linear DAEs, linearizations of nonlinear index2 systems are considered. Finding appropriate function spaces and their topologies allows to apply the standard Implicit Function Theorem again. Both, solvability statements as well as the local convergence of the Newton-Kantorovich method (quasilinearization) result immediately. In particular, this applies...

For linear di erential algebraic equations of tractability index the notion of the adjoint equation is analysed in full detail Its solvability is shown at the lowest possible smoothness The fundamental matrices of both equations are de ned and their relationships are characterized

In this paper we describe how wavelets may be used to solve partial diierential equations. These problems are currently solved by techniques such as nite diierences, nite elements and multi-grid. The wavelet method, however, ooers several advantages over traditional methods. Wavelets have the ability to represent functions at diierent levels of resolution, thereby providing a logical means of d...

— We present recent existence results of quasi-periodic solutions for Schrödinger equations with a multiplicative potential on T , db 1, finitely di¤erentiable nonlinearities, and tangential frequencies constrained along a pre-assigned direction. The solutions have only Sobolev regularity both in time and space. If the nonlinearity and the potential are in Cl then the solutions are in Cl. The p...

Interval methods for ordinary di erential equations (ODEs) provide guaranteed enclosures of the solutions and numerical proofs of existence and unicity of the solution. Unfortunately, they may result in large over-approximations of the solution because of the loss of precision in interval computations and the wrapping e ect. The main open issue in this area is to nd tighter enclosures of the so...

equations (cf. [AKT1]), the exact WKB analysis provides us with a powerful tool for studying global behavior of solutions of linear ordinary di erential equations. To generalize such an analysis to nonlinear equations, T. Kawai (RIMS, Kyoto Univ.), T. Aoki (Kinki Univ.) and the author have developed the WKB theory for Painlev e equations with a large parameter in our series of articles ([KT1], ...