In this paper, and mixed / controllers are designed for a hard disk drive (HDD) using linear matrix inequalities (LMIs). In the proposed algorithm, the problem of minimizing track misregistration (TMR) in the presence of unmodeled dynamics of voice-coil motor (VCM) is formulated as robust and mixed / problems. Additional stack variables are introduced to characterize and performances. The simul...

We present an algorithm for existentially quantifying variables from conjunctions of linear modular equalities (LMEs), disequalities (LMDs) and inequalities (LMIs). We use sound but relatively less complete and cheaper heuristics first, and expensive but more complete techniques are used only when required. Our experiments demonstrate that our algorithm outperforms alternative quantifier elimin...

In this paper, asymptotic stability for neutral delay–differential systems with mixed multiple time-varying delay arguments is investigated. Based on the Lyapunov method, two new stability criteria in terms of linear matrix inequalities (LMIs) are presented to guarantee the stability for the systems. The LMIs can be easily solved by various convex optimization algorithms. Three numerical exampl...

Background To improve the availability of contraceptive supplies in Pakistan, the USAID|DELIVER Project worked with the Government of Pakistan (GoP) to develop a national webbased logistics management information system (LMIS), at all tiers of the supply chain. The LMIS automates the collection of data for contraceptives, tuberculosis, and vaccine products. The project also trains users in the ...

The design of an observer-based state feedback (OBSF) controller with guaranteed passivity properties for port-Hamiltonian systems (PHS) is addressed using linear matrix inequalities (LMIs). observer gain freely chosen and the LMIs conditions such that equivalent to control by interconnection input strictly passive (ISP) and/or output (OSP) zero detectable (ZSD) are established. It shown propos...

In this paper, the problems of robust stabilization and$H_{infty}$ control for uncertain stochastic systems withmultiple time delays represented by the Takagi-Sugeno (T-S) fuzzymodel have been studied. By constructing a new Lyapunov-Krasovskiifunctional (LKF) and using the bounding techniques, sufficientconditions for the delay-dependent robust stabilization and $H_{infty}$ control scheme are p...

This paper proves that a certain class of nonconvex matrix inequalities is equivalent to linear matrix inequalities (LMIs) plus a nonconvex rank constraint. From the equivalence, this paper proposes two heuristic algorithms, that is extended linearization algorithms, to solve LMIs with a rank constraint using LMI-based approach. Reliability and efficiency of the algorithms are investigated stat...

The paper considers the problem of model reduction for a class of linear parameterdependent (LPD) systems. Three model reduction approaches: balanced truncation, balanced LQG truncation and gain-scheduledH∞ model reduction, are presented to reduce the dimension of LPD systems. For the former two approaches, conditions to proceed the reduction are given in terms of a finite number of linear matr...

This paper is concerned with the problem of synchronization for complex dynamic networks with state and coupling time-delays. Therefore, larger class and more complicated complex dynamic networks can be considered for the synchronization problem. Based on the Lyapunov-Krasovskii functional, a delay-independent criterion is obtained and formulated in the form of linear matrix inequalities (LMIs)...