Sciweavers

224 search results - page 8 / 45
» On the Linear Stability of Splitting Methods
Sort
View
ISCAS
2005
IEEE
179views Hardware» more  ISCAS 2005»
14 years 29 days ago
Robust stabilization of control systems using piecewise linear Lyapunov functions and evolutionary algorithm
— Piecewise linear Lyapunov functions are used to design control gain matrices so that closed systems are robust stable and attractive regions are expanded as large as possible i...
K. Tagawa, Y. Ohta
CAV
2004
Springer
120views Hardware» more  CAV 2004»
14 years 23 days ago
Termination of Linear Programs
We show that termination of a class of linear loop programs is decidable. Linear loop programs are discrete-time linear systems with a loop condition governing termination, that is...
Ashish Tiwari
AUTOMATICA
2005
257views more  AUTOMATICA 2005»
13 years 7 months ago
Delay-dependent stabilization of linear systems with time-varying state and input delays
The Integral-Inequality Method is a new way of tackling the delay-dependent stabilization problem for a linear system with time-varying state and input delays: x(t) = Ax(t) + A1x(...
Xian-Ming Zhang, Min Wu, Jin-Hua She, Yong He
SIGCOMM
2012
ACM
11 years 9 months ago
Route shepherd: stability hints for the control plane
The Route Shepherd tool demonstrates applications of choosing between routing protocol configurations on the basis of rigorouslysupported theory. Splitting the configuration spa...
Alexander J. T. Gurney, Xianglong Han, Yang Li, Bo...
ICDM
2003
IEEE
71views Data Mining» more  ICDM 2003»
14 years 20 days ago
Tree-structured Partitioning Based on Splitting Histograms of Distances
We propose a novel clustering algorithm that is similar in spirit to classification trees. The data is recursively split using a criterion that applies a discrete curve evolution...
Longin Jan Latecki, Rajagopal Venugopal, Marc Sobe...