Sciweavers

1021 search results - page 84 / 205
» On the generalized Navier-Stokes equations
Sort
View
ENTCS
2007
116views more  ENTCS 2007»
13 years 11 months ago
A Logical Characterisation of Static Equivalence
The work of Abadi and Fournet introduces the notion of a frame to describe the knowledge of the environment of a cryptographic protocol. Frames are lists of terms; two frames are ...
Hans Hüttel, Michael D. Pedersen
SIAMCO
2008
127views more  SIAMCO 2008»
13 years 11 months ago
Control Lyapunov Functions and Zubov's Method
For finite dimensional nonlinear control systems we study the relation between asymptotic null-controllability and control Lyapunov functions. It is shown that control Lyapunov fun...
Fabio Camilli, Lars Grüne, Fabian Wirth
QUESTA
2006
119views more  QUESTA 2006»
13 years 11 months ago
Single-Server Queue with Markov-Dependent Inter-Arrival and Service Times
In this paper we study a single-server queue where the inter-arrival times and the service times depend on a common discrete time Markov Chain. This model generalizes the well-kno...
Ivo J. B. F. Adan, Vidyadhar G. Kulkarni
AUTOMATICA
2005
121views more  AUTOMATICA 2005»
13 years 11 months ago
Robust state observer and control design using command-to-state mapping
In this paper, by introducing the concept of command-to-state/output mapping, it is shown that the state of an uncertain nonlinear system can robustly be estimated if command-to-s...
Zhihua Qu
MOC
1998
66views more  MOC 1998»
13 years 11 months ago
The d2-transformation for infinite double series and the D2-transformation for infinite double integrals
New transformations for accelerating the convergence of infinite double series and infinite double integrals are presented. These transformations are generalizations of the univa...
Chen Greif, David Levin