Sciweavers

287 search results - page 24 / 58
» Linear Matrix Inequalities in System and Control Theory
Sort
View
INFORMATICALT
2007
76views more  INFORMATICALT 2007»
15 years 6 months ago
Strongly Absolute Stability Problem of Descriptor Systems
Abstract. This paper considers Lur’e type descriptor systems (LDS). The concept of strongly absolute stability is defined for LDS and such a notion is a generalization of absolu...
Chunyu Yang, Qingling Zhang, Linna Zhou
FMCAD
2006
Springer
15 years 9 months ago
Ario: A Linear Integer Arithmetic Logic Solver
Ario is a solver for systems of linear integer arithmetic logic. Such systems are commonly used in design verification applications and are classified under Satisfiability Modulo T...
Hossein M. Sheini, Karem A. Sakallah
MCS
2007
Springer
15 years 5 months ago
Delay-dependent stability analysis for uncertain neutral systems with time-varying delays
This paper investigates the stability of neutral delay-differential systems with mixed multiple time-varying delay arguments. Based on the Lyapunov functional method, and the rela...
Xin-Ge Liu, Min Wu, Ralph Martin, Mei-Lan Tang
AUTOMATICA
2007
110views more  AUTOMATICA 2007»
15 years 6 months ago
Stability analysis of systems with uncertain time-varying delays
Stability in presence of bounded uncertain time-varying delays in the feedback loop of a system is studied. The delay parameter is assumed to be an unknown time-varying function f...
Chung-Yao Kao, Anders Rantzer
ICASSP
2010
IEEE
15 years 6 months ago
A nullspace analysis of the nuclear norm heuristic for rank minimization
The problem of minimizing the rank of a matrix subject to linear equality constraints arises in applications in machine learning, dimensionality reduction, and control theory, and...
Krishnamurthy Dvijotham, Maryam Fazel