From Composable Models to Correct-by-Construction Software for Contact-Rich Robotic Mobile-Manipulation Tasks

Software frameworks like the Stack of Tasks (SoT), the Stanford Whole-Body Control (WBC) library, or the instantaneous Task Specification using Constraints (iTaSC) have enabled robots to perform advanced, contact-oriented manipulation tasks. jgeom_constr and eTaSL are among the few formal, computer-...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	IEEE robotics and automation letters Ročník 10; číslo 10; s. 9894 - 9901
Hlavní autoři:	Schneider, Sven, Kalagaturu, Vamsi, Bruyninckx, Herman, Hochgeschwender, Nico
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Piscataway IEEE 01.10.2025 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Témata:	behavior-based systems Codes Composition Computational modeling Constraints DSL Kinematics Languages middleware and programming environments mobile manipulation Monitoring multi-contact whole-body motion planning and control Robot kinematics Robots Safety Semantics Software Software tools for robot programming Tooling Trajectory
ISSN:	2377-3766, 2377-3766
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!