Sciweavers

357 search results - page 33 / 72
» A Contracting System for Hierarchical Components
Sort
View
ICFEM
1997
Springer
15 years 3 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 10 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 5 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 4 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 4 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