Sciweavers

666 search results - page 68 / 134
» Inspector Methods for State Abstraction
Sort
View
GLOBECOM
2008
IEEE
14 years 11 months ago
Precoded Spatial Multiplexing MIMO for Inhome Power Line Communications
Abstract—Inhome Power Line Communications (PLC) enables new and highly convenient networking functions without any additional wires to mains-powered devices. Multiple Input Multi...
Daniel Schneider, Joachim Speidel, Lothar Stadelme...
CDC
2008
IEEE
113views Control Systems» more  CDC 2008»
15 years 4 months 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
IROS
2007
IEEE
125views Robotics» more  IROS 2007»
15 years 4 months ago
Probabilistic inference for structured planning in robotics
Abstract— Real-world robotic environments are highly structured. The scalability of planning and reasoning methods to cope with complex problems in such environments crucially de...
Marc Toussaint, Christian Goerick
ISCAS
2006
IEEE
95views Hardware» more  ISCAS 2006»
15 years 3 months ago
Generating multi-scroll chaotic attractors via threshold control
Abstract— This paper proposes a novel threshold control approach for creating multi-scroll chaotic attractors. The general jerk circuit is used as an example to show the working ...
Jinhu Lu, K. Murali, Sudeshna Sinha, Henry Leung
AC
2003
Springer
15 years 3 months ago
Synthesis of Asynchronous Hardware from Petri Nets
Abstract. As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call...
Josep Carmona, Jordi Cortadella, Victor Khomenko, ...