Related papers: A Less Conservative Circle Criterion
Based on the generalized Routh-Hurwitz criterion, we propose a sufficient and necessary criterion for testing the stability of fractional-order linear systems with order {\alpha}{\in}[1,2), called the fractional-order Routh-Hurwitz…
Using appropriate notation systems for proofs, cut-reduction can often be rendered feasible on these notations, and explicit bounds can be given. Developing a suitable notation system for Bounded Arithmetic, and applying these bounds, all…
In this paper, we study the global conservative weak solutions for a class of nonlinear dispersive wave equations after wave breaking. We first transform the equations into an equivalent semi-linear system by introducing new variables. We…
In this work, we propose novel method for certifying if a given set of vertex linear systems constitute a linear difference inclusion for a nonlinear system. The method relies on formulating the verification of the inclusion as an…
A popular method for selecting the number of clusters is based on stability arguments: one chooses the number of clusters such that the corresponding clustering results are "most stable". In recent years, a series of papers has analyzed the…
In this paper, we mainly study the robust stability of linear continuous systems with parameter uncertainties, a more general kind of uncertainties for system matrices is considered, i.e., entries of system matrices are rational functions…
Infinitary and cyclic proof systems are proof systems for logical formulas with fixed-point operators or inductive definitions. A cyclic proof system is a restriction of the corresponding infinitary proof system. Hence, these proof systems…
We are concerned with the problem of determining the nonlinear term in a semilinear elliptic equation by boundary measurements. Precisely, we improve [5, Theorem 1.3], where a logarithmic type stability estimate was proved. We show actually…
We develop a general stability analysis for objective structures, which constitute a far reaching generalization of crystal lattice systems. We show that these particle systems, although in general neither periodic nor space filling, allow…
A note on the property of weak contraction, which implies that all bounded solutions of a nonlinear system converge to a (possibly non-unique) equilibrium. We provide some simple results about interconnections of such systems, and a brief…
It is well-known that the controllability of finite-dimensional nonlinear systems can be established by showing the controllability of the linearized system. However, this classical result does not generalize to infinite-dimensional…
This paper considers the problem of robust stability for a class of uncertain quantum systems subject to unknown perturbations in the system Hamiltonian. Some general stability results are given for different classes of perturbations to the…
For the non-rotating gaseous stars modeled by the compressible Euler-Poisson system with general pressure law, Lin and Zeng [18] proved a turning point principle, which gives the sharp linear stability/instability criteria for the…
We obtain a Central Limit Theorem for closed Riemannian manifolds, clarifying along the way the geometric meaning of some of the hypotheses in Bhattacharya and Lin's Omnibus Central Limit Theorem for Fr\'echet means. We obtain our CLT…
We prove that if u is a weak solution to a constant coefficient system (with strong ellipticity assumed along the horizontal direction) in a Carnot group (no restriction on the step), then u is actually smooth. We then use this result to…
We prove the upper-semi-continuity of the Morse index plus nullity of critical points to general conformally invariant Lagrangians in dimension 2 under weak convergence. Precisely we establish that the sum of the Morse indices and the…
We consider exact and averaged control problem for a system of quasi-linear ODEs and SDEs with a non-negative definite symmetric matrix of the system. The strategy of the proof is the standard linearization of the system by fixing the…
We develop a framework to give upper bounds on the "practical" computational complexity of stability problems for a wide range of nonlinear continuous and hybrid systems. To do so, we describe stability properties of dynamical systems using…
The Central Limit Theorem for Iterated Functions Systems on the circle is proved. We study also ergodicity of such systems.
This paper considers the structure of uncertain linear systems building on concepts of robust unobservability and possible controllability which were introduced in previous papers. The paper presents a new geometric characterization of the…