Sciweavers

613 search results - page 69 / 123
» Observability of Linear Hybrid Systems
Sort
View
LICS
1998
IEEE
15 years 3 months ago
Compositional Analysis of Expected Delays in Networks of Probabilistic I/O Automata
Probabilistic I/O automata (PIOA) constitute a model for distributed or concurrent systems that incorporates a notion of probabilistic choice. The PIOA model provides a notion of ...
Eugene W. Stark, Scott A. Smolka
INFORMATICALT
2002
116views more  INFORMATICALT 2002»
14 years 11 months ago
On the Optimization of an Adaptive State Estimation of Dynamic Systems in the Presence of Time-varying Outliers
The problem of recursive estimation of a state of dynamic systems in the presence of time-varying outliers in observations to be processed has been considered. A learning phase use...
Rimantas Pupeikis
ICCAD
1999
IEEE
101views Hardware» more  ICCAD 1999»
15 years 4 months ago
Efficient model reduction of interconnect via approximate system gramians
Krylov-subspace based methods for generating low-order models of complicated interconnect are extremely effective, but there is no optimality theory for the resulting models. Alte...
Jing-Rebecca Li, Jacob White
BMCBI
2006
132views more  BMCBI 2006»
14 years 12 months ago
Comprehensive quality control utilizing the prehybridization third-dye image leads to accurate gene expression measurements by c
Background: Gene expression profiling using microarrays has become an important genetic tool. Spotted arrays prepared in academic labs have the advantage of low cost and high desi...
Xujing Wang, Shuang Jia, Lisa Meyer, Bixia Xiang, ...
CDC
2008
IEEE
289views Control Systems» more  CDC 2008»
15 years 6 months ago
Robust H-infinity control for uncertain time-delay TCP/AQM network system
—A robust active queue management (AQM) scheme based on H-infinty theory is presented for the problem of congestion control in TCP communication networks. In TCP/IP networks, the...
Yuanwei Jing, Hongwei Wang, Georgi M. Dimirovski, ...