Sciweavers

11168 search results - page 231 / 2234
» Abstract State Processes
Sort
View
CDC
2008
IEEE
113views Control Systems» more  CDC 2008»
16 years 29 days ago
Model reduction for a class of input-quantized systems in the max-plus algebra
Abstract— We present a systematic method for model reduction of a class of input-quantized systems in the max-plus algebra. We consider a generalization of the flow shop with ...
Whitney Weyerman, Sean Warnick
ICC
2007
IEEE
113views Communications» more  ICC 2007»
16 years 25 days ago
Optimum and Suboptimum Receivers for Space-Time Coded Systems in Correlated Fading
Abstract — We consider a space-time coded system in a correlated Rayleigh flat fading environment. The channel state information (CSI) is obtained from the known pilot code matr...
Ranjan K. Mallik, Parul Garg
ICRA
2007
IEEE
113views Robotics» more  ICRA 2007»
16 years 24 days ago
Sampling-Based Motion Planning With Sensing Uncertainty
Abstract— Sampling-based algorithms have dramatically improved the state of the art in robotic motion planning. However, they make restrictive assumptions that limit their applic...
Brendan Burns, Oliver Brock
QEST
2007
IEEE
16 years 23 days ago
Probabilistic Model Checking Modulo Theories
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
Björn Wachter, Lijun Zhang, Holger Hermanns
SCAM
2007
IEEE
16 years 23 days ago
Toward an Implementation of the "Form Template Method" Refactoring
This paper presents an implementation of the “form template method” refactoring. This transformation has not been automated yet, but has many similarities with other transform...
Nicolas Juillerat, Béat Hirsbrunner