3678 search results - page 297 / 736 » On the Stable Paths Problem |
162
click to vote
HYBRID
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we present an automatable decompositional method for the computation of Lyapunov functions for hybrid systems with complex discrete state spaces. We use graph-based ...
149
click to vote
SAINT
2009
IEEE
16 years 1 months ago
2009
IEEE
Trials on the transmission of olfactory information together with audio/visual information are currently being conducted in the field of multimedia. However, continuous emission ...
206
click to vote
IFM
2009
Springer
16 years 1 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 ...
181
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— This paper studies the robust stability and stabilization problems for switched linear discrete-time systems. The parameter uncertainties in the system under considerat...
169
click to vote
DEXAW
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper deals with the problem of author identification. The Common N-Grams (CNG) method [6] is a language-independent profile-based approach with good results in many author i...