Timed abstractions for distributed cooperative manipulation
نویسندگان
چکیده
منابع مشابه
Abstractions and Algorithms for Cooperative Multiple Robot Planar Manipulation
ions and Algorithms for Cooperative Multiple Robot Planar Manipulation Peng Cheng Jonathan Fink Vijay Kumar
متن کاملDistributed Estimation for Cooperative Mobile Manipulation
We present a distributed method for the estimation of the kinematic parameters, the dynamic parameters, and the kinematic state of an unknown body manipulated by a decentralized team of mobile ground (planar) robots. The proposed approach relies on the geometry of the rigid body kinematics, the rigid body dynamics, on nonlinear observation, and on consensus algorithms. The only three requiremen...
متن کاملLazy Abstractions for Timed Automata
We consider the reachability problem for timed automata. A standard solution to this problem involves computing a search tree whose nodes are abstractions of zones. For efficiency reasons, they are parametrized by the maximal lower and upper bounds (LU -bounds) occurring in the guards of the automaton. We propose an algorithm that is updating LU -bounds during exploration of the search tree. In...
متن کاملTowards abstractions for distributed systems
For historical, sociological and technical reasons, λ-calculi have been the dominant theoretical paradigm in the study of functional computation. Similarly, but to a lesser degree, π-calculi dominate advanced mathematical accounts of concurrency. Alas, and despite its ever increasing ubiquity, an equally convincing formal foundation for distributed computing has not been forthcoming. This thesi...
متن کاملFragmented Objects for Distributed Abstractions
Fragmented Objects (FOs) extend the object concept to a distributed environment. The abstract view of a FO is a single, shared object, of which the distribution is hidden to clients. In the concrete view the FO designer controls (if wished) the distribution of data and function and of the communication between fragments. FO programming is supported by the FOG language, an extension of C++, and ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Autonomous Robots
سال: 2017
ISSN: 0929-5593,1573-7527
DOI: 10.1007/s10514-017-9672-7