Sciweavers

281 search results - page 19 / 57
» State estimation for linear systems with state equality cons...
Sort
View
TWC
2010
13 years 2 months ago
Delay-Minimal Transmission for Average Power Constrained Multi-Access Communications
We investigate the problem of minimizing the overall transmission delay of packets in a multi-access wireless communication system, where the transmitters have average power constr...
Jing Yang, Sennur Ulukus
NIPS
2004
13 years 9 months ago
A Temporal Kernel-Based Model for Tracking Hand Movements from Neural Activities
We devise and experiment with a dynamical kernel-based system for tracking hand movements from neural activity. The state of the system corresponds to the hand location, velocity,...
Lavi Shpigelman, Koby Crammer, Rony Paz, Eilon Vaa...
TACAS
2000
Springer
151views Algorithms» more  TACAS 2000»
13 years 11 months ago
Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...
Ramesh Bharadwaj, Steve Sims
CDC
2009
IEEE
132views Control Systems» more  CDC 2009»
14 years 15 days ago
Uniform stabilization of Markovian jump linear systems with logarithmic quantization - A convex approach
— In this paper, we investigate the almost sure uniform exponential stabilization problem of Markovian jump linear systems (MJLSs) with logarithmically quantized state feedbacks....
Chun Zhang, Geir E. Dullerud
HICSS
2002
IEEE
89views Biometrics» more  HICSS 2002»
14 years 22 days ago
Nash Strategies for Load Serving Entities in Dynamic Energy Multi-markets
In this paper the problem of developing bidding strategies for the participants of dynamic energy-multi markets is studied. Attention is given to strategic bidding of load serving...
Jose B. Cruz Jr., Ashkan Kian