Sciweavers

3979 search results - page 528 / 796
» Wild control operators
Sort
View
ESI
2010
97views more  ESI 2010»
15 years 5 months ago
A flexible streaming software architecture for scientific instruments
The recently completed prototyping efforts for a new type of riometer, the Advanced Rio-Imaging Experiment in Scandinavia (ARIES), required the development of a uniquely flexible s...
Martin Grill, Keith Barratt, Farideh Honary
ICRA
2010
IEEE
128views Robotics» more  ICRA 2010»
15 years 5 months ago
A robotic module for stochastic fluidic assembly of 3D self-reconfiguring structures
— Stochastic self-reconfiguring robots are modular robots that possess the ability to autonomously change the arrangement of their modules and do so through the use of nondetermi...
Jonas Neubert, Abraham P. Cantwell, Stephane Const...
ICRA
2010
IEEE
123views Robotics» more  ICRA 2010»
15 years 5 months ago
Robotic motion planning in dynamic, cluttered, uncertain environments
— This paper presents a strategy for planning robot motions in dynamic, cluttered, and uncertain environments. Successful and efficient operation in such environments requires r...
Noel E. Du Toit, Joel W. Burdick
ICST
2010
IEEE
15 years 5 months ago
Timed Moore Automata: Test Data Generation and Model Checking
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
Helge Löding, Jan Peleska
RTS
2010
90views more  RTS 2010»
15 years 5 months ago
A timeband framework for modelling real-time systems
Abstract Complex real-time systems, must integrate physical processes with digital control, human operation and organizational structures. New scientific foundations are required ...
Alan Burns, Ian J. Hayes