• Home
  • Search
  • Modeling and Verification of Humanoid Robot Task Coordination
  • Cite Icon2
  • https://doi.org/10.1109/hase.2014.19Copy DOI Icon

Modeling and Verification of Humanoid Robot Task Coordination

  • Jan 1, 2014
  • Yujian Fu +1 more
Show More
  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

This paper presents a component-based framework of humanoid robot task coordination using Predicate Transition Nets (PrT Nets). Humanoid robots have a large number of degrees of freedom (DOF) and they are expected to generate human-like stable behaviors to finish missions. Their motions have to satisfy a set of constraints (balance, coordinated motions, collision free movements), which increases the complexity of the system - each movement may consist of several types of movements and tasks simultaneously. Task is defined as a sequence of movements and/or actions towards to completing a given mission. It is key to represent the task coordination precisely and correctly to program on humanoid robots' motions. To solve the challenge issue of multiple task coordination for a humanoid robot, we presented a framework that integrates Component Based Software Development (CBSD) with Predicate Transition Nets to analyze the correctness of task co ordinations. Each component's behavior can be represented by a Predicate Transition Net, and the constraints of the behaviors are described by a set of temporal logic formulae. To ensure the task co ordinations are met, a rewriting logic-based model checker is applied to verify the system against the constraints. This formal framework is general and can be used for other type humanoid robots. It allows the representation of motion plans and provides the flexibility of semantic analysis on the humanoid robotics systems.

Similar Papers
  • Research Article

Heterogeneous Teleoperation Model for Controlling 3D Printed Humanoid Robot Arm with 5 DOF using 3 DOF Exoskeleton

  • Jul 15, 2019
  • Journal of Control & Instrumentation
  • Mahmoud Elsamanty +2
  • Conference Article
  • Citations19

System Design and Balance Control of a Novel Electrically-driven Wheel-legged Humanoid Robot

  • Oct 15, 2021
  • Lingxuan Zhao +8
  • Book Chapter
  • Citations10

Fall Prediction for New Sequences of Motions

  • Nov 13, 2015
  • Junyun Tay +2
  • PDF
  • Research Article
  • Citations15

Control of a Step Walking Combined to Arms Swinging for a Three Dimensional Humanoid Prototype

  • Aug 01, 2010
  • Journal of Computer Science
  • Aloulou
  • PDF
  • Research Article
  • Citations12

A Comprehensive Software Framework for Complex Locomotion and Manipulation Tasks Applicable to Different Types of Humanoid Robots

  • Jun 07, 2016
  • Frontiers in Robotics and AI
  • Stefan Kohlbrecher +5
  • Conference Article
  • Citations3

Acquiring neural signals for developing a perception and cognition model

  • May 01, 2012
  • Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE
  • Wei Li +6
  • Research Article
  • Citations6

A Relevant Reduction Method for Dynamic Modeling of a Seven-linked Humanoid Robot in the Three-dimensional Space

  • Jan 01, 2012
  • Procedia Engineering
  • Amira Aloulou +1
  • Research Article
  • Citations94

Statistical Learning for Humanoid Robots

  • Jan 01, 2002
  • Autonomous Robots
  • Sethu Vijayakumar +4
  • Conference Article

The design problem of induction units with motion elements

  • Oct 01, 2019
  • Natalia Klochkova +2
  • Research Article
  • Citations418

Cortical correlate of the Piper rhythm in humans.

  • Dec 01, 1998
  • Journal of Neurophysiology
  • Peter Brown +3
  • Research Article
  • Citations20

Biomimetic shoulder complex based on 3-PSS/S spherical parallel mechanism

  • Oct 23, 2014
  • Chinese Journal of Mechanical Engineering
  • Yulei Hou +3
  • Research Article
  • Citations6

Binocular stereo vision system for a humanoid robot

  • Jan 01, 2013
  • International Journal of Computer Applications in Technology
  • Qinjun Du +3
  • Conference Article

Synchronization of motion from multiple humans and humanoid robot based on kinect V2

  • Dec 01, 2016
  • Puranam Sai Akhil +1
  • Conference Article

Investigation of Impact Hammering Task of Musical Saw With a Humanoid Robot for Industrial Automation

  • Aug 26, 2018
  • Yusuke Fuke +3
  • Research Article
  • Citations13

Associative Motion Generation for Humanoid Robot Reflecting Human Body Movement

  • Jun 30, 2012
  • International Journal of Fuzzy Logic and Intelligent Systems
  • Akinori Wakabayashi +2
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.