Add to ORKGThe aim of this article is to present some new stability sufficient conditions for discrete-time nonlinear systems. It shows how to use nonnegative semi-definite functions as Lyapunov functions instead of positive definite ones for studying the stability of a given system. Several examples and some applications to control theory are presented to illustrate the various theorems
The lowest static reduction (LSR) is the 0^th-order Control-Flow Analysis without continuation passi...
We investigate the properties of the solutions of a class of piecewise-linear differential equations...
We study the asymptotic behaviour, when the parameter $\gamma$ tends to infinity, of a class of sing...
This paper defines a new framework for fast prototyping of static analyzers based on rewriting techn...
International audienceThe worldwide computing grid is essential to the LHC experiments in analysing ...
We present a name-passing calculus that can be regarded as a simplified pi-calculus equipped with a ...
In this note, we give a bound on the coupling time of an irreducible (max,plus) linear system $X(n) ...
This paper introduces a three-dimensional mesh generation algorithm for domains bounded by smooth su...
In this report, we propose a number of new ways of detecting activations in fMRI sequences that requ...
In the paper we consider the elasticity equations in nonsmooth domains in $R^n, n=2,3$. The domains ...
We show how any linear feedback law which asymptotically stabilizes the origin of a linear integrato...
Writing code that talks to hardware is a crucial part of any embedded project. Both productivity and...
An algorithm for finding small-weight words in large linear codes is developed. It is in particular ...
A control strategy for tracking an omnidirectional target with a unicycle-like robot is proposed. An...
We present Coca, an automated debugger for C, where the breakpoint mechanism is based on events rela...
The lowest static reduction (LSR) is the 0^th-order Control-Flow Analysis without continuation passi...
We investigate the properties of the solutions of a class of piecewise-linear differential equations...
We study the asymptotic behaviour, when the parameter $\gamma$ tends to infinity, of a class of sing...
This paper defines a new framework for fast prototyping of static analyzers based on rewriting techn...
International audienceThe worldwide computing grid is essential to the LHC experiments in analysing ...
We present a name-passing calculus that can be regarded as a simplified pi-calculus equipped with a ...
In this note, we give a bound on the coupling time of an irreducible (max,plus) linear system $X(n) ...
This paper introduces a three-dimensional mesh generation algorithm for domains bounded by smooth su...
In this report, we propose a number of new ways of detecting activations in fMRI sequences that requ...
In the paper we consider the elasticity equations in nonsmooth domains in $R^n, n=2,3$. The domains ...
We show how any linear feedback law which asymptotically stabilizes the origin of a linear integrato...
Writing code that talks to hardware is a crucial part of any embedded project. Both productivity and...
An algorithm for finding small-weight words in large linear codes is developed. It is in particular ...
A control strategy for tracking an omnidirectional target with a unicycle-like robot is proposed. An...
We present Coca, an automated debugger for C, where the breakpoint mechanism is based on events rela...
The lowest static reduction (LSR) is the 0^th-order Control-Flow Analysis without continuation passi...
We investigate the properties of the solutions of a class of piecewise-linear differential equations...
We study the asymptotic behaviour, when the parameter $\gamma$ tends to infinity, of a class of sing...