1716 search results - page 236 / 344 » Proving Conditional Termination |
150
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
This paper considers consensus problems with delayed noisy measurements, and stochastic approximation is used to achieve mean square consensus. For stochastic approximation based c...
109
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
This paper addresses the problem of establishing stability of interconnections of integral input-to-state stable (iISS) systems. Recently, the small-gain theorem for input-tostate ...
130
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
The paper presents realization theory of discrete-time linear switched systems (abbreviated by DTLSSs). We present necessary and sufficient conditions for an input-output map to ...
273
click to vote
NA
2011
14 years 11 months ago
2011
We propose a preconditioned variant of the modified HSS (MHSS) iteration method for solving a class of complex symmetric systems of linear equations. Under suitable conditions, w...
143
Voted
TCS
2011
14 years 11 months ago
2011
We prove that if a set X ⊆ Z2 weakly self-assembles at temperature 1 in a deterministic (Winfree) tile assembly system satisfying a natural condition known as pumpability, then ...