Related papers: Testing Backward-Flatness of Nonlinear Discrete-Ti…
We propose a method to establish time reversal symmetry violation at future neutrino oscillation experiments in a largely model-independent way. We introduce a general parametrization of flavour transition probabilities which holds under…
An overview of stability conditions in terms of the Lyapunov matrix for time-delay systems is presented. The main results and proof are presented in details for the case of systems with multiple delays. The state of the art, ongoing…
The cosmological applications of atomic clocks so far have been limited to searches of the uniform-in-time drift of fundamental constants. In this paper, we point out that a transient in time change of fundamental constants can be induced…
We present four classes of nonlinear systems which may be considered discrete analogues of the Garnier system. These systems arise as discrete isomonodromic deformations of systems of linear difference equations in which the associated Lax…
Starting from a linear fractional representation of a linear system affected by constant parametric uncertainties, we demonstrate how to enhance standard robust analysis tests by taking available (noisy) input-output data of the uncertain…
We introduce the map representation of a time-delayed system in the presence of delay time modulation. Based on this representation, we find the method by which to analyze the stability of that kind of a system. We apply this method to a…
This paper presents a probabilistic model validation methodology for nonlinear systems in time-domain. The proposed formulation is simple, intuitive, and accounts both deterministic and stochastic nonlinear systems with parametric and…
Statistical inference for stochastic processes with time-varying spectral characteristics has received considerable attention in recent decades. We develop a nonparametric test for stationarity against the alternative of a smoothly…
Stability of the zero solution plays an important role in the investigation of positive systems. In this note, we revisit the $\mu$-stability of positive nonlinear systems with unbounded time-varying delays. The system is modelled by…
This paper deals with the design of discrete-time algorithms for the robust filtering differentiator. Two discrete-time realizations of the filtering differentiator are introduced. The first one, which is based on an exact discretization of…
In this paper we first study the fixed-time stabilizability of discrete-time switched linear control systems. Using a geometric approach, we derive conditions under which such systems can be stabilized within a prescribed number of steps,…
The discrete-time robust repetitive control (RC, or repetitive controller, also designated RC) problem for nonlinear systems is both challenging and practical. This paper proposes a discrete-time output-feedback RC design for a class of…
The paper studies the output-feedback synchronization problem for a network of identical, linear time-invariant systems. A criterion to test network synchronization is derived and the class of output-feedback synchronizable systems is…
Tseng's forward-backward-forward algorithm is a valuable alternative for Korpelevich's extragradient method when solving variational inequalities over a convex and closed set governed by monotone and Lipschitz continuous operators, as it…
Latent force models are systems whereby there is a mechanistic model describing the dynamics of the system state, with some unknown forcing term that is approximated with a Gaussian process. If such dynamics are non-linear, it can be…
Features of the Jacobian matrix of the delay coordinates map are exploited for quantifying the robustness and reliability of state and parameter estimations for a given dynamical model using an observed time series. Relevant concepts of…
Hybrid numerical-experimental testing is a standard approach for complex dynamical structures that are, on the one hand, not easy to model due to complexity and parameter uncertainty and, on the other hand, too expensive for full-scale…
We study mirror symmetry of Calabi-Yau manifolds within the framework of the Gauss-Manin system. Applying the flat coordinates to the Gauss-Manin system for the periods, we derive differential equations for the mirror map in addition to the…
Timed model checking has been extensively researched in recent years. Many new formalisms with time extensions and tools based on them have been presented. On the other hand, Explicit-Time Description Methods aim to verify real-time systems…
Integrable discrete scalar equations defined on a~two or a three dimensional lattice can be rewritten as difference systems in bond variables or in face variables respectively. Both the difference systems in bond variables and the…