相关论文: A sufficient condition to test identifiability of …
A central question in verification is characterizing when a system has invariants of a certain form, and then synthesizing them. We say a system has a $k$ linear invariant, $k$-LI in short, if it has a conjunction of $k$ linear (non-strict)…
With new advances in machine learning and in particular powerful learning libraries, we illustrate some of the new possibilities they enable in terms of nonlinear system identification. For a large class of hybrid systems, we explain how…
The Sparse Identification of Nonlinear Dynamics (SINDy) framework is a robust method for identifying governing equations, successfully applied to ordinary, partial, and stochastic differential equations. In this work we extend SINDy to…
This article analyzes the high-gain prediction approach for nonlinear input-delay systems. The problem is discussed in the light of weighted homogeneity and input-to-state stability. The canonical form for uniformly observable nonlinear…
We discuss the non-uniqueness of continuous solutions to differential equations with a {\it discrete } state-dependent delay and continuous initial functions. We are interested not only in the fact (conditions) of non-uniqueness, but in…
Cognitive Diagnosis Models (CDMs) are useful statistical tools in cognitive diagnosis assessment. However, as many other latent variable models, the CDMs often suffer from the non-identifiability issue. This work gives the sufficient and…
Neural ordinary differential equations (NODE) have been recently proposed as a promising approach for nonlinear system identification tasks. In this work, we systematically compare their predictive performance with current state-of-the-art…
The paper deals with the global asymptotic stability of general nonlinear time-delay systems with delay-dependent impulses through the Lyapunov-Krasovskii method. We derive a unified stability criterion which can be applied to a variety of…
Dynamical systems modeling is a core pillar of scientific inquiry across natural and life sciences. Increasingly, dynamical system models are learned from data, rendering identifiability a paramount concept. For systems that are not…
This paper considers the problem of testing whether there exists a solution satisfying certain non-negativity constraints to a linear system of equations. Importantly and in contrast to some prior work, we allow all parameters in the system…
The purpose of this article is to introduce the original results which devoted with the nonlinear control system problems involves of nonlinear differential equations of fractional orders. Thus, this system is described with a mixed of…
Recently, various systems of nonlinear difference equations, of different forms, were studied. In this existing work, two earlier published papers, due respectively to Bayram and Das. [Appl. Math. Sci. (Ruse), 4(7) (2010) pp. 817-821] and…
This paper derives two stabilizability theorems for a basic class of discrete-time nonlinear systems with multiple unknown parameters. First, we claim that a discrete-time multi-parameter system is stabilizable if its nonlinear growth rate…
This work is devoted to investigate the stability properties of time-delay reset systems. We present a Lyapunov-Krasovskii proposition, which generalizes the available results in the literature, providing results for verifying the stability…
Nonlinear dynamical systems with time delay are abundant in applications, but are notoriously difficult to analyse and predict because delay-induced effects strongly depend on the form of the nonlinearities involved, and on the exact way…
The paper addresses the realization and identification problem or a subclass of piecewise-affine hybrid systems. The paper provides necessary and sufficient conditions for existence of a realization, a characterization of minimality, and an…
This paper deals with a unifying approach to the problems of computing the admissible sets of parametrical multi perturbations in appropriate bounded sets such that some fundamental properties of parameter-varying linear dynamic systems are…
Parabolic differential equations with discrete state-dependent delay are studied. The approach, based on an additional condition on the delay function introduced in [A.V. Rezounenko, Differential equations with discrete state-dependent…
In several model-based system maintenance problems, parameters are used to represent unknown characteristics of a component, equipment degradation, etc. This allows for modelling constant, slow-varying terms. The identifiability of these…
Solutions to the interval observation problem for delayed impulsive and switched systems with $L_1$-performance are provided. The approach is based on first obtaining stability and $L_1/\ell_1$-to-$L_1/\ell_1$ performance analysis…