Sciweavers

1146 search results - page 192 / 230
» Finite cupping sets
Sort
View
AUTOMATICA
2006
103views more  AUTOMATICA 2006»
14 years 12 months ago
A universal iterative learning stabilizer for a class of MIMO systems
Design of iterative learning control (ILC) often requires some prior knowledge about a system's control matrix. In some applications, such as uncalibrated visual servoing, th...
Ping Jiang, Huadong Chen, Leon C. A. Bamforth
FAC
2008
139views more  FAC 2008»
14 years 12 months ago
Network invariants for real-time systems
We extend the approach of model checking parameterized networks of processes by means of network invariants to the setting of real-time systems. We introduce timed transition stru...
Olga Grinchtein, Martin Leucker
FUIN
2008
98views more  FUIN 2008»
14 years 12 months ago
A Restarted Strategy for Efficient Subsumption Testing
We study runtime distributions of subsumption testing. On graph data randomly sampled from two different generative models we observe a gradual growth of the tails of the distribut...
Ondrej Kuzelka, Filip Zelezný
CORR
2006
Springer
112views Education» more  CORR 2006»
14 years 12 months ago
Lossless coding for distributed streaming sources
Distributed source coding is traditionally viewed in the block coding context -- all the source symbols are known in advance at the encoders. This paper instead considers a stream...
Cheng Chang, Stark C. Draper, Anant Sahai
CORR
2006
Springer
189views Education» more  CORR 2006»
14 years 12 months ago
Node-Based Optimal Power Control, Routing, and Congestion Control in Wireless Networks
Abstract--In wireless networks, important network functionalities such as power control, rate allocation, routing, and congestion control must be optimized in a coherent and integr...
Yufang Xi, Edmund M. Yeh