Related papers: A Less Conservative Circle Criterion
This paper presents a new systematic framework for nonlinear singularly perturbed systems in which state-dependent perturbation functions are used instead of constant perturbation coefficients. Under this framework, general results are…
We prove global existence in time of solutions to relaxed conservative cross diffusion systems governed by nonlinear operators of the form $u_i\to \partial_tu_i-\Delta(a_i(\tilde{u})u_i)$ where the $u_i, i=1,...,I$ represent $I$…
In this paper, we study the problem of global existence of weak solutions for the quasi-stationary compressible Stokes equations with an anisotropic viscous tensor. The key element of our proof is the control of a particular defect measure…
A suite of input-to-state stability results are presented for a class of forced differential inclusions, so-called Lur'e inclusions. As a consequence, semi-global incremental input-to-state stability results for systems of forced Lur'e…
On one hand, termination analysis of logic programs is now a fairly established research topic within the logic programming community. On the other hand, non-termination analysis seems to remain a much less attractive subject. If we divide…
Linear Recurrence Sequences (LRS) are a fundamental mathematical primitive for a plethora of applications such as the verification of probabilistic systems, model checking, computational biology, and economics. Positivity (are all terms of…
We prove some boundary rigidity results for the hemisphere under a lower bound for Ricci curvature. The main result can be viewed as the Ricci version of a conjecture of Min-Oo.
In this paper, we study the problem of control of discrete-time nonlinear systems in Lure form over erasure channels at the input and output. The input and output channel uncertainties are modeled as Bernoulli random variables. The main…
In this note two blow-up results are proved for a weakly coupled system of semilinear wave equations with distinct scale-invariant lower order terms both in the subcritical case and in the critical case, when the damping and the mass terms…
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…
Usual formulations of the clustering coefficient can be shown to be insufficient in the task of describing the local topology of very simple networks. Motivated by this, we review some alternatives in order to present an extension, the…
It is shown that a positive linear system on a time scale with a bounded graininess is uniformly exponentially stable if and only if the characteristic polynomial of the matrix defining the system has all its coefficients positive. Then…
We introduce the notion of weak reduciblity for Dupin submanifolds with arbitrary codimension. We give a complete characterization of all weakly reducible Dupin submanifolds, as a consequence of a general result on a broader class of…
A variational principle is introduced to provide a new formulation and resolution for several boundary value problems with a variational structure. This principle allows one to deal with problems well beyond the weakly compact structure. As…
We present a new approach to verifying contraction and $L_2$-gain of uncertain nonlinear systems, extending the well-known method of integral quadratic constraints. The uncertain system consists of a feedback interconnection of a nonlinear…
An alternative formulation for the controllability problem of single input linear positive systems is presented. Driven by many industrial applications, this formulations focuses on the case where the region of interest is only a subset of…
Bounded weak solutions are constructed for a degenerate parabolic system with a full diffusion matrix, which is a generalized version of the thin film Muskat system. Boundedness is achieved with the help of a sequence $(\mathcal{E}_n)_{n\ge…
This paper addresses the qualitative theory of mixed-order positive linear coupled systems with bounded or unbounded delays. First, we introduce a general result on the existence and uniqueness of solutions to mixed-order linear coupled…
This paper tackles the problem of nonlinear systems, with sublinear growth but unbounded control, under perturbation of some time-varying state constraints. It is shown that, given a trajectory to be approximated, one can find a neighboring…
The reduction of nonholonomic systems is formulated in terms of Dirac reduction. An optimal reduction method for a class of nonholonomic systems is formulated. Several examples are studied in detail.