1690 search results - page 38 / 338 » Algorithmic Properties of Millstream Systems |
108
click to vote
AUTOMATICA
2007
15 years 3 months ago
2007
This paper proposes a method in order to render passive discrete-time nonlinear multiple-input multiple-output (MIMO) systems which are affine in control. The methodology is base...
128
click to vote
ASAP
2004
IEEE
15 years 7 months ago
2004
IEEE
IPSec is a suite of protocols that adds security to communications at the IP level. Protocols within the IPSec suite make extensive use of cryptographic algorithms. Since these al...
106
click to vote
AUTOMATICA
2004
15 years 3 months ago
2004
In this paper, the problem of non-regular static state feedback linearization of a ne nonlinear systems is considered. First of all, a new canonical form for non-regular feedback ...
156
Voted
IFM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present a formal development in Event-B of a distributed topology discovery algorithm. Distributed topology discovery is at the core of several routing algorithms and ...
120
click to vote
IJRR
2010
15 years 1 months ago
2010
Advances in the direct computation of Lyapunov functions using convex optimization make it possible to efficiently evaluate regions of attraction for smooth nonlinear systems. Her...