75 search results - page 3 / 15 » Stability of persistence diagrams |
SIAMCO
2010
13 years 8 months ago
2010
We consider control systems of the type ˙x = Ax+α(t)bu, where u ∈ R, (A, b) is a controllable pair and α is an unknown time-varying signal with values in [0, 1] satisfying a ...
AML
2002
13 years 9 months ago
2002
We present Saharon Shelah's Stability Spectrum and Homogeneity Spectrum theorems, as well as the equivalence between the order property and instability in the framework of Fin...
SIAMAM
2000
13 years 9 months ago
2000
Invasions in oscillatory systems generate in their wake spatiotemporal oscillations, consisting of either periodic wavetrains or irregular oscillations that appear to be spatiotemp...
GI
2001
Springer
14 years 2 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
ICSM
2000
IEEE
14 years 2 months ago
2000
IEEE
Several reverse engineering methods for recovering objects from legacy systems have been proposed in the literature, but most of them neglect to identify the relationships among t...