相关论文: Regular linear time varying DAEs are equivalent to…
For regular linear time-invariant DAEs the corresponding matrix pencil is regular and the computation of a standard canonical form is well-understood. Although the investigation of linear DAEs with time-varying coefficients is more complex,…
We consider linear differential-algebraic equations DAEs and the Kronecker canonical form KCF of the corresponding matrix pencils. We also consider linear control systems and their Morse canonical form MCF. For a linear DAE, a procedure…
We analyze different approaches to differential-algebraic equations with attention to the implemented rank conditions of various matrix functions. These conditions are apparently very different and certain rank drops in some matrix…
The equivalence group is determined for systems of linear ordinary differential equations in both the standard form and the normal form. It is then shown that the normal form of linear systems reducible by an invertible point transformation…
Dynamic power system models are instrumental in real-time stability, monitoring, and control. Such models are traditionally posed as systems of nonlinear differential algebraic equations (DAEs): the dynamical part models generator…
We generalize the theory of stable canonical rules by adopting definable filtration, a generalization of the method of filtration. We show that for a modal rule system or a modal logic that admits definable filtration, each extension is…
In this paper, we relate the feedback canonical form \textbf{FNCF} of differential-algebraic control systems (DACSs) with the famous Morse canonical form \textbf{MCF} of ordinary differential equation control systems (ODECSs). First, a…
Stochastic differential equations (SDEs) are a staple of mathematical modelling of temporal dynamics. However, a fundamental limitation has been that such models have typically been relatively inflexible, which recent work introducing…
Scientific machine learning is an emerging field that broadly describes the combination of scientific computing and machine learning to address challenges in science and engineering. Within the context of differential equations, this has…
The $\Sigma$-method for structural analysis of a differential-algebraic equation (DAE) system produces offset vectors from which the sparsity pattern of a system Jacobian is derived. This pattern implies a block-triangular form (BTF) of the…
Signature stochastic differential equations (SDEs) constitute a large class of stochastic processes, here driven by Brownian motions, whose characteristics are linear maps of their own signature, i.e. of iterated integrals of the process…
Existence, uniqueness, and regularity of a strong solution are obtained for stochastic PDEs with a colored noise $F$ and its super-linear diffusion coefficient: $$ du=(a^{ij}u_{x^ix^j}+b^iu_{x^i}+cu)dt+\xi|u|^{1+\lambda}dF, \quad…
Irregular sampling intervals and missing values in real-world time series data present challenges for conventional methods that assume consistent intervals and complete data. Neural Ordinary Differential Equations (Neural ODEs) offer an…
Decidability of definitional equality and conversion of terms into canonical form play a central role in the meta-theory of a type-theoretic logical framework. Most studies of definitional equality are based on a confluent,…
A canonical transformation is performed on the phase space of a number of homogeneous cosmologies to simplify the form of the scalar (or, Hamiltonian) constraint. Using the new canonical coordinates, it is then easy to obtain explicit…
Five equivalence classes had been found for systems of two second-order ordinary differential equations, transformable to linear equations (linearizable systems) by a change of variables. An "optimal (or simplest) canonical form" of linear…
We show that stochastically continuous, time-homogeneous affine processes on the canonical state space $\Rplus^m \times \RR^n$ are always regular. In the paper of \citet{Duffie2003} regularity was used as a crucial basic assumption. It was…
The generative paradigm has become increasingly important in machine learning and deep learning models. Among popular generative models are normalizing flows, which enable exact likelihood estimation by transforming a base distribution…
In this work, we introduce a definition of the Discrete Fourier Transform (DFT) on Euclidean lattices in $\R^n$, that generalizes the $n$-th fold DFT of the integer lattice $\Z^n$ to arbitrary lattices. This definition is not applicable for…
We introduce a training-efficient framework for time-series learning that combines random features with controlled differential equations (CDEs). In this approach, large randomly parameterized CDEs act as continuous-time reservoirs, mapping…