394 search results - page 69 / 79 » System Design of Robots for Application to In-Space Assembly |
HYBRID
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In this paper we present algorithms and tools for fast and efficient reachability analysis, applicable to continuous and hybrid systems. Most of the work on reachability ...
DMSN
2006
ACM
14 years 1 months ago
2006
ACM
A semantic sensor network describes the physical world using the metadata obtained from a sensor network. In this paper, we present our design and implementation of MeT, a real wo...
ICAC
2008
IEEE
14 years 2 months ago
2008
IEEE
We describe an automated method to generating models of an autonomic system. Specifically, we generate UML state diagrams for a set of interacting objects, including the extensio...
ICCV
1999
IEEE
14 years 10 months ago
1999
IEEE
A family of axially symmetric mirror shapes are proposed for panoramic imaging. These shapes keep the resolution in the image invariant to changes in elevation in the scene. In ot...
GECCO
2008
Springer
13 years 9 months ago
2008
Springer
Increasingly, high-assurance applications rely on autonomic systems to respond to changes in their environment. The inherent uncertainty present in the environment of autonomic sy...