Sciweavers

357 search results - page 33 / 72
» A Contracting System for Hierarchical Components
Sort
View
ICFEM
1997
Springer
15 years 1 months ago
Refinement of Information Flow Architectures
A calculus is presented for the stepwise refinement of abstract information flow architectures. We give a mathematical model for information flow components based on relations bet...
Jan Philipps, Bernhard Rumpe
ICRA
2010
IEEE
140views Robotics» more  ICRA 2010»
14 years 8 months ago
Hierarchical planning architectures for mobile manipulation tasks in indoor environments
Abstract— This paper describes a hierarchical planner deployed on a mobile manipulation system. The main idea is a two-level hierarchy combining a global planner which provides r...
Ross A. Knepper, Siddhartha S. Srinivasa, Matthew ...
ICRA
2005
IEEE
124views Robotics» more  ICRA 2005»
15 years 3 months ago
Sensor-based Planning for Planar Multi-Convex Rigid Bodies
— This paper presents a method for a planar rigid body consisting of multiple convex bodies to explore an unknown planar workspace, i.e., an unknown configuration space diffeomo...
Ji Yeong Lee, Howie Choset
HASE
1997
IEEE
15 years 2 months ago
Automated Computation of Decomposable Synchronization Conditions
: The most important aspect of concurrent and distributed computation is the interaction between system components. Integration of components into a system requires some synchroniz...
Gilberto Matos, James M. Purtilo, Elizabeth L. Whi...
EDOC
1997
IEEE
15 years 2 months ago
Interactive Configuration Management for Distributed Object Systems
This paper describes an environment for interactive configuration management of the software components comprising a distributed enterprise application. The environment permits on...
Halldor Fosså, Morris Sloman