A Three-Stage Dynamic Assessment Framework for Industrial Control System Security Based on a Method of W-HMM | 0 | 0.34 | 2022 |
Reinforcement Learning Control of A Novel Magnetic Actuated Flexible-joint Robotic Camera System for Single Incision Laparoscopic Surgery | 0 | 0.34 | 2021 |
Design and Implementation of A Magnetic Actuated Capsule Camera Robot System for Single Incision Laparoscopic Surgery* | 0 | 0.34 | 2020 |
A centroidal Voronoi tessellation based intelligent control algorithm for the self-assembly path planning of swarm robots. | 1 | 0.36 | 2017 |
A dynamics based two-stage path model for the docking navigation of a self-assembly modular robot (Sambot) | 3 | 0.38 | 2016 |
Response Strategy to Environmental Cues for Modular Robots with Self-Assembly from Swarm to Articulated Robots | 1 | 0.35 | 2016 |
RT-ROS: A real-time ROS architecture on multi-core processors | 8 | 0.97 | 2016 |
基于xMAS模型的SpaceWire信誉逻辑的形式化验证 (xMAS-based Formal Verification of SpaceWire Credit Logic). | 0 | 0.34 | 2016 |
Co-evolution framework of swarm self-assembly robots. | 2 | 0.38 | 2015 |
Formalizing the Matrix Inversion Based on the Adjugate Matrix in HOL4. | 0 | 0.34 | 2014 |
Formal verification of a collision-free algorithm of dual-arm robot in HOL4 | 0 | 0.34 | 2014 |
RGMP-ROS: A real-time ROS architecture of hybrid RTOS and GPOS on multi-core processor | 2 | 0.44 | 2014 |
Timed automata based motion planning for a self-assembly robot system | 0 | 0.34 | 2014 |
A hybrid operating system for modular dual-arm manipulator | 0 | 0.34 | 2014 |
Formalization of Function Matrix Theory in HOL. | 2 | 0.39 | 2014 |
A dynamic covering algorithm of wireless sensor network based on CVT | 0 | 0.34 | 2014 |
The Gauge Integral Theory in HOL4. | 5 | 0.46 | 2013 |
Inverse dynamic modeling and analysis of a new caterpillar robotic mechanism by Kane's method. | 1 | 0.36 | 2013 |
Optimal Trajectory Planning For Industrial Robots Using Harmony Search Algorithm | 4 | 0.58 | 2013 |
Model Checking for SpaceWire Link Interface Design Using Uppaal | 0 | 0.34 | 2013 |
Global path planning for mobile robot based on A∗ algorithm and genetic algorithm | 2 | 0.39 | 2012 |
Nondestructive Evaluation Of Welding Crack Defects In Structural Component Of Track Crane Using Acoustic Emission Technique | 0 | 0.34 | 2012 |
Design and implementation of interconnecting IPv6 wireless sensor networks with the Internet | 1 | 0.36 | 2012 |
Body Sensor Network Based Context-Aware QRS Detection | 5 | 0.54 | 2012 |
Trajectory planning based on latitude for painting on spherical surface. | 0 | 0.34 | 2012 |
A distributed negative power control system for high efficiency swimming of robotic fish. | 0 | 0.34 | 2012 |
Staying-alive path planning with energy optimization for mobile robots | 3 | 0.49 | 2012 |
A smart metering system for monitoring electricity of building based on wireless network. | 0 | 0.34 | 2012 |
A general framework integrating exploration, self-assembly and locomotion control for swarm robots | 2 | 0.37 | 2011 |
A novel multi-OS architecture for robot application | 2 | 0.37 | 2011 |
Swarm Robots: From Self-assembly to Locomotion. | 4 | 0.45 | 2011 |
Simulation and experiments of the simultaneous self-assembly for modular swarm robots | 2 | 0.39 | 2011 |
Monocular camera based guiding and positioning strategy for docking of a distributed swarm flight robot. | 0 | 0.34 | 2011 |
An organic, real-time middleware architecture for distributed industrial robot system. | 0 | 0.34 | 2011 |
Layered hidden Markov models for real-time daily activity monitoring using body sensor networks | 2 | 0.37 | 2011 |
Self-assembly and locomotion of diverse structures for swarm robots on adaption application | 0 | 0.34 | 2011 |
An evolutionary swarm self-assembly robot: From concept to prototype. | 1 | 0.35 | 2010 |
Timestamp based predictive robot control system over real-time industrial ethernet | 0 | 0.34 | 2010 |
A Behavior Adaptation Algorithm based on Hierarchical Partially Observable Markov Decision Process | 0 | 0.34 | 2010 |
The distributed control and experiments of directional self-assembly for modular swarm robots | 7 | 0.83 | 2010 |
Sambot: A self-assembly modular robot for swarm robot | 14 | 0.73 | 2010 |
Design and Synthesis of a Multiprocessor System-on-Chip Architecture for Real-Time Biomedical Signal Processing in Gamma Cameras | 0 | 0.34 | 2010 |
A behavior adaptation method for an elderly companion robot: Rui | 1 | 0.35 | 2010 |
F-Model: Model of Modular Robot Based on Functional Component | 0 | 0.34 | 2009 |
A component based design framework for robot software architecture | 4 | 0.47 | 2009 |
A new feedrate adaptation control NURBS interpolation based on de boor algorithm in CNC systems | 0 | 0.34 | 2008 |
A Formal Specification and Verification Framework for Designing and Verifying Reliable and Dependable Software for Computerized Numerical Control (CNC) Systems | 0 | 0.34 | 2008 |
MPSOC Architectural Design and Synthesis for Real-Time Biomedical Signal Processing in Gamma Cameras | 1 | 0.39 | 2008 |
Staying-alive and energy-efficient path planning for mobile robots | 7 | 0.66 | 2008 |
A Speech Interaction System Based on Finite State Machine for Service Robot | 0 | 0.34 | 2008 |