659 search results - page 27 / 132 » autonomics 2008 |
ASM
2008
ASM
13 years 11 months ago
2008
ASM
On-board Fault Detection, Isolation and Recovery (FDIR) systems are considered to ensure the safety and to increase the autonomy of spacecrafts. They shall be carefully designed an...
FOIKS
2008
Springer
13 years 11 months ago
2008
Springer
We present a method for decomposing a hypergraph with certain regularities into smaller hypergraphs. By applying this to the set of all canonical covers of a given set of functiona...
IROS
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract— The capability to assemble structures is fundamental to the use of robotics in precursor missions in orbit and on planetary surfaces. We have performed autonomous assem...
ICRA
2008
IEEE
14 years 4 months ago
2008
IEEE
— Assume a swarm of mobile robots is in the act of transporting a large object in the plane, by applying unilateral forces to the perimeter of that object. We address the questio...
TOOLS
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...