666 search results - page 54 / 134 » Inspector Methods for State Abstraction |
ISITA
2010
14 years 7 months ago
2010
Abstract--A Rayleigh block-fading multiple-input multipleoutput (MIMO) channel with channel state information (CSI) available neither to the transmitter nor to the receiver is cons...
IEICET
2006
14 years 9 months ago
2006
Concurrency is one of the most important issues in system-level design. Interleaving among parallel processes can cause an extremely large number of different behaviors, making de...
FM
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. Explicit state methods have proven useful in verifying safetycritical systems containing concurrent processes that run asynchronously and communicate. Such methods consis...
CCECE
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—In this work, we propose a framework for supervisory cooperative estimation of multi-agent linear time-invariant (LTI) systems. We introduce a group of sub-observers, ea...
GLOBECOM
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract— Precoding with block diagonalization is an attractive approach for approaching sum capacity in multiuser MIMO (multiple input multiple output) broadcast channels. This ...