Sciweavers

5600 search results - page 169 / 1120
» Synthesizing robust systems
Sort
View
ENTCS
2010
99views more  ENTCS 2010»
13 years 9 months ago
State Based Robustness Testing for Components
Component based development allows to build software upon existing components and promises to improve software reuse and reduce costs. To gain reliability of a component based sys...
Bin Lei, Zhiming Liu, Charles Morisset, Xuandong L...
SIAMJO
2002
122views more  SIAMJO 2002»
13 years 9 months ago
Robust Filtering via Semidefinite Programming with Applications to Target Tracking
In this paper we propose a novel finite-horizon, discrete-time, time-varying filtering method based on the robust semidefinite programming (SDP) technique. The proposed method prov...
Lingjie Li, Zhi-Quan Luo, Timothy N. Davidson, Kon...
SIAMCO
2011
13 years 4 months ago
Optimal Robust Stabilization and Dissipativity Synthesis by Behavioral Interconnection
Given a nominal plant, together with a fixed neighborhood of this plant, the problem of robust stabilization is to find a controller that stabilizes all plants in that neighborh...
Harry L. Trentelman, Shaik Fiaz, Kiyotsugu Takaba
ICDE
2009
IEEE
164views Database» more  ICDE 2009»
14 years 11 months ago
Efficient and Robust Database Support for Data-Intensive Applications in Dynamic Environments
Requirements from new types of applications call for new database system solutions. Computational science applications performing distributed computations on Grid networks with req...
Jon Olav Hauglid, Kjetil Nørvåg, Norv...
SMC
2007
IEEE
113views Control Systems» more  SMC 2007»
14 years 3 months ago
Robust multi-modal biometric fusion via multiple SVMs
—Existing learning-based multi-modal biometric fusion techniques typically employ a single static Support Vector Machine (SVM). This type of fusion improves the accuracy of biome...
Sabra Dinerstein, Jonathan Dinerstein, Dan Ventura