Sciweavers

310 search results - page 36 / 62
» An error bound for model reduction of Lur'e-type systems
Sort
View
CDC
2009
IEEE
103views Control Systems» more  CDC 2009»
14 years 1 months ago
Networked state estimation over a Gilbert-Elliot type channel
Abstract— We characterize the stability and achievable performance of networked estimation under correlated packet losses described by the Gilbert-Elliot model. For scalar contin...
Peter Almstrom, Maben Rabi, Mikael Johansson
GECCO
2007
Springer
144views Optimization» more  GECCO 2007»
14 years 11 days ago
Mixing independent classifiers
In this study we deal with the mixing problem, which concerns combining the prediction of independently trained local models to form a global prediction. We deal with it from the ...
Jan Drugowitsch, Alwyn Barry
ICPPW
2006
IEEE
14 years 2 months ago
Model Checking Control Communication of a FACTS Device
This paper concerns the design and verification of a realtime communication protocol for sensor data collection and processing between an embedded computer and a DSP. In such sys...
David A. Cape, Bruce M. McMillin, James K. Townsen...
TSP
2008
115views more  TSP 2008»
13 years 8 months ago
Sinusoidal Modeling and Adaptive Channel Prediction in Mobile OFDM Systems
We propose a wireless fading channel prediction algorithm for a pilot-symbol aided Orthogonal Frequency Division Multiplexing (OFDM) system. Assuming a doubly selective (time and ...
Ian C. Wong, Brian L. Evans
TCAD
2008
181views more  TCAD 2008»
13 years 8 months ago
A Survey of Automated Techniques for Formal Software Verification
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
Vijay D'Silva, Daniel Kroening, Georg Weissenbache...