The χ language is a hybrid language for modeling, simulation and verification. As a result of the recently completed formal semantics, the language now consists of a number of orthogonal operators that operate on all process terms, including differential algebraic equations. The same χ model can be used for simulation and verification. Verification is possible after a straightforward syntactica...

If a model structure is not identifiable, then it is not possible to uniquely identify its parameters from measured data. This contribution describes how solvers for differential-algebraic equations (DAE) can be used to examine if a model structure is locally identifiable. The procedure can be applied to both linear and nonlinear systems. If a model structure is not identifiable, it is also pos...

1

let $mathcal{a}$ be a banach algebra and $mathcal{m}$ be a banach $mathcal{a}$-bimodule. we say that a linear mapping $delta:mathcal{a} rightarrow mathcal{m}$ is a generalized $sigma$-derivation whenever there exists a $sigma$-derivation $d:mathcal{a} rightarrow mathcal{m}$ such that $delta(ab) = delta(a)sigma(b) + sigma(a)d(b)$, for all $a,b in mathcal{a}$. giving some facts concerning general...

here a posteriori error estimate for the numerical solution of nonlinear voltena- hammerstein equations is given. we present an error upper bound for nonlinear voltena-hammastein integral equations, in which the form of nonlinearity is algebraic and develop a posteriori error estimate for the recently proposed method of brunner for these problems (the implicitly linear collocation method).we al...

We discuss the use of the formal theory of differential equations in the numerical analysis of general systems of partial differential equations. This theory provides us with a very powerful and natural framework for generalising many ideas from differential algebraic equations to partial differential equations. We study in particular the existence and uniqueness of (formal) solutions, the meth...

in this paper, an optimal control of quadratic performance index with nonlinear constrained is presented. the sine-cosine wavelet operational matrix of integration and product matrix are introduced and applied to reduce nonlinear differential equations to the nonlinear algebraic equations. then, the newton-raphson method is used for solving these sets of algebraic equations. to present ability ...

Let F be the underlying base field of characteristic p > 3 and denote by W and S the even parts of the finite-dimensional generalized Witt Lie superalgebra W and the special Lie superalgebra S, respectively. We first give the generator sets of the Lie algebras W and S. Using certain properties of the canonical tori of W and S, we then determine the derivation algebra of W and the derivation spa...