yusuke1997/dblp-id-title huggingface dataset:
A Calculus for the Specification, Design, and Verification of Distributed Concurrent Systems
Exploring optimal solution to hardware/software partitioning for synchronous model
An algebraic treatment of procedure refinement to support mechanical verification
Trace-based derivation of a scalable lock-free stack algorithm
Data Refinement, Call by Value and Higher Order Programs
Correction to: Multiple model synchronization with multiary delta lenses with amendment and K-Putput
Case Study: Formal Verification of a Computerized Railway Interlocking
Mechanised support for sound refinement tactics
Internal and External Performance Fuzzing of Well-Defined Constraints for the B Method
Combining human error verification and timing analysis: a case study on an infusion pump
Using formal verification to evaluate the execution time of Spark applications
Slicing communicating automata specifications: polynomial algorithms for model reduction
Modeling and efficient verification of wireless ad hoc networks
A formal semantics of extended hierarchical state transition matrices using CSP#
A compositional automata-based semantics and preserving transformation rules for testing property patterns
Incremental bounded model checking for embedded software
In memoriam: Professor Heinz Zemanek (1920-2014)
Reconfigurable wheel-crawler-integrated walking mechanism design and kinetic analysis
The changing face of the automotive robotics industry
Dynamic categorization of 3D objects for mobile service robots
Robotic constant force grinding control based on grinding model and iterative algorithm
Wave-transmitting method for a travelling-wave-type omnidirectional mobile robot
Integrated teleoperation and automation for nuclear facility cleanup
Coordination control of dual-arm modular robot based on position feedback using Optotrak3020
GMM-based visual attention for target selection of indoor robotic tasks
In-pipe robot for inspection and sampling tasks
Design and application of a vehicle robot to FAST reflector surface
Swings and roundabouts at Kuka's UK Open Week
Archive access robot for smart archive repositories
Kinematic calibration of a 3-DOF parallel tool head
Constant force control for aluminum wheel hub grinding based on ESO + backstepping
The design of an intelligent soccer-playing robot
Adaptive enhanced admittance force-tracking controller design for highly dynamic interactive tasks
Teleoperated parallel climbing robots in nuclear installations
Accuracy estimation of a stretch-retractable single section continuum manipulator based on inverse kinematics
Snaking around in a nuclear jungle
Robots meet machine tools at the IMTS party
Distributed control of a track based multi-head robot
Research on robot tracking force control algorithm based on neural networks
Robot prototyping in the design of food processing machinery
Dynamic role engine and formation control for cooperating agents with robust decision-making algorithm
Static modeling and analysis of soft manipulator considering environment contact based on segmented constant curvature method
An integrated localization system for robots in underground environments
Sensor integration in task-level programming and industrial robotic task execution control
Intelligent grasping with natural human-robot interaction
The Pransky interview: Dr Yoky Matsuoka, Vice President Technology, Nest Labs
Force and motion control of a tendon-driven hand exoskeleton actuated by shape memory alloys
The impact of spoken interfaces on the design of service robots
Robust adaptive super twisting controller: methodology and application of a human-driven knee joint orthosis
High precise and zero-cost solution for fully automatic industrial robot TCP calibration
Graph-based visual odometry for VSLAM
A novel method of unmanned surface vehicle autonomous cruise
Flexible and soft robotic grippers: the key to new markets?
An overview of pruning and harvesting manipulators
A modular serpentine rescue robot with climbing ability
An environment for programming and control of multi-robot manipulators
2D lidar to kinematic chain calibration using planar features of indoor scenes
Warehouse robot market boosted by Covid pandemic and technological innovations
The Pransky interview: Charlie Duncheon, robotics serial entrepreneur, CEO and cofounder of Celltrio
How do you quickly load cases and trays with tough to handle product?
Vision-based isolated translations and rotations estimation for inverted robot approaching a target
The parameter identification model considering both geometric parameters and joint stiffness
Reinforcement learning for generating four-track trajectory planning to adapt to longitudinal rugged terrain
The role of robots in entertainment
The OmniTread serpentine robot for industrial inspection and surveillance
A portable light-weight climbing robot for personal assistance applications
Neurobiologically-based control system for an adaptively walking hexapod
Applying Michael Porter's extended rivalry model to the robotics industry
Robotic aircraft land at the Unmanned Show in the Mile High City
Research on detection of welding penetration state during robotic GTAW process based on audible arc sound
Robots have come to architecture to model, construct, fabricate and offer new approaches to create innovative designs, elements and structures
The Pransky interview: Jack Morrison, CEO and Co-Founder, Scythe Robotics
Target dynamic grasping during mobile robot movement based on learning methods
An underground explorer robot based on peristaltic crawling of earthworms
Enhanced D-H: an improved convention for establishing a robot link coordinate system fixed on the joint
Interfacing an industrial robot and MATLAB for predictive visual servoing
Robot-assisted 3D digital reconstruction of heritage artifacts: area similarity approach
Development of automated chopper gun trajectory planning for spray forming
ROBOVOLC: a robot for volcano exploration result of first test campaign
Human-robot kinematics mapping method based on dynamic equivalent points
Motion planning for a new-model obstacle-crossing mobile welding robot
Robot hand-eye cooperation based on improved inverse reinforcement learning
Design and application of integrated parabolic soft actuator
Optimizing human-robot teleoperation interfaces for mobile manipulators
A medical transportation robot for carrying and positioning patients between different devices
Research on motion planning system for wall-climbing mobile manipulator for large steel structures welding operation
The Pransky interview: Dr Paolo Pirjanian, CTO of iRobot Corporation
BMW moves to an integrated solution at Oxford
Hybridized neural network inspired behavioural modelling of pneumatic artificial muscles for assistive robotic applications
Nuclear snake-arm robots
Miniature pipe robots
Control system design for heavy duty industrial robot
Vision-based calibration of a Hexa parallel robot
Mechanisms for collaborative teleoperation with a team of cooperative robots
From CAD design to robot models and simulation tools. Test-case example using the Kassow 810 collaborative robot
An automatic robot for ultrasonic partial discharge detection of gas-insulated switchgear
Calibration strategies for enhancing accuracy in serial industrial robots for orbital milling applications
Deep instance segmentation and 6D object pose estimation in cluttered scenes for robotic autonomous grasping
Dynamic obstacle-surmounting analysis of a bilateral-wheeled cable-climbing robot for cable-stayed bridges
A gesture-based telemanipulation control for a robotic arm with biofeedback-based grasp
Integrating human experience in deep reinforcement learning for multi-UAV collision detection and avoidance
A new algorithm for pick-and-place operation
Cone-hole docking mechanism for a modular reconfigurable mobile robot and its characteristic analysis
Design and experiment of a universal space-saving end-effector for multi-task operations
Active interaction control applied to a lower limb rehabilitation robot by using EMG recognition and impedance model
Output feedback assistive control of single-DOF SEA powered exoskeletons
Development of fish-like robot with elastic fin
Evaluation of torque as a means of in-process sensing of tool wear in friction stir welding of metal matrix composites
Analysis and prediction of contact fault detection in automatic flexible polishing for complex surfaces based on WOA-SVM
Dual-robot stud welding system for membrane wall
Posture optimization and joint path smoothing method for robotic wood processing system
Robotic system design and development for automated dismantling of PCB waste
Modeling of underwater wet welding process based on visual and arc sensor
Robotic cell for beef carcass primal cutting and pork ham boning in meat industry
Robots will be of service with muscles, not motors
Robotic manufacturing by shaped metal deposition: state of the art
The Pransky interview: Mel Torrie, Founder, CEO and President of Autonomous Solutions, Inc
Constructing common height maps with various entropy-based similarity metrics and utilizing layering method for heterogeneous robot teams
The Pransky interview: Dr Robert Ambrose, Chief, Software, Robotics and Simulation Division at NASA
An improved particle filtering to locate the crop boundary of an unharvested region using vision
Trajectory planning for a planar macro-micro manipulator of a laser-cutting machine
Paint thickness simulation for painting robot trajectory planning: a review
Space curved fillet weld joints tracking by robots based on rotational arc sensors in gas metal arc welding
Tele-operated climbing and mobile service robots for remote inspection and maintenance in nuclear industry
Self-adjusting robotic painting system
Towards an obstacle detection system for robot obstacle negotiation
Performance enhancement of two-camera robotic system using adaptive gain approach
A comparison of industrial robots interface: force guidance system and teach pendant operation
Modular design of a teleoperated robotic control system for laparoscopic minimally invasive surgery based on ROS and RT-Middleware
Hybrid calibration and detection approach for mobile robotic manufacturing systems
Evolving locomotion gaits for quadruped walking robots
ABLE: a standing style transfer system for a person with disabled lower limbs (improvement of stability when traveling)
Ground verification of space robot capturing the free-floating target based on visual servoing control with time delay
Floor-cleaning robot using omni-directional wheels
Kinematics, sensors and control of the fully automated façade-cleaning robot SIRIUSc for the Fraunhofer headquarters building, Munich
Novel cable-suspended RoboCrane support
Conflict definitions and mistakes in American industrial robotics standard for static performance evaluation
Computational and experimental study on dynamics behavior of a bionic underwater robot with multi-flexible caudal fins
Adaptive fuzzy sliding mode control for redundant manipulators with varying payload
Master-slave control and evaluation of force sensing for robot-assisted minimally invasive surgery
Fuzzy active disturbance rejection control method for an omnidirectional mobile robot with MY3 wheel
Synthesis and experiment of a lower limb exoskeleton rehabilitation robot
Development of a reliable microgripper system based on failure analysis
Robust dexterous telemanipulation following object-orientation commands
Control and programming of a multi-robot-based reconfigurable fixture
Mobile robot vision system using continuous laser scanning for industrial application
Research on weld pool control of welding robot with computer vision
CLAWAR highlights research progress on climbing and walking robots
Design of prototype simulation system for driving performance of electromagnetic unmanned robot applied to automotive test
CPG-MPC controller for wheel-fin-flipper integrated amphibious robot
Design and validation of a novel actuator with adaptable compliance for application in human-like robotics
Narrow gap welding seam deflection correction study based on passive vision
Assessing path accuracy in industrial robots via ballbar technology
Mantis: hybrid leg-wheel ground mobile robot
Design and experiment of transmission tower climbing robot inspired by inchworm
Robotic cell culture system for stem cell assays
How to ensure stable motion of suspended wheeled mobile robots
Strategies for revitalization for intelligent robot industry in Korea based on structural equation model
Interplas Show brings cheer to UK plastics
Delmia robot modelling software aids nuclear and other industries
On-site three dimensional force sensing capability in a laparoscopic grasper
Rapid satellite capture by a space robot based on delay compensation
Topology-preserved distorted space path planning
Real-time control and application with self-tuning PID-type fuzzy adaptive controller of an inverted pendulum
Foldable magnetic wheeled climbing robot for the inspection of gas turbines and similar environments with very narrow access holes
A dual-arm mobile robot system performing assistive tasks operated via P300-based brain computer interface
Real-time control of triglide robot using sliding mode control method
In-line stereo-camera assisted robotic spot welding quality control system
An automatic switching approach of robotic components for improving robot localization reliability in complicated environment
Analyzing energy-efficient configurations in hexapod robots for demining applications
Obstacle detection based on depth fusion of lidar and radar in challenging conditions
The robust construction of a generalized Voronoi graph (GVG) using partial range data for guide robots
An efficient robot payload identification method for industrial application
Laser scan matching for self-localization of a walking robot in man-made environments
Prototyping of compliant grippers using FFF and TPU
Instrumentation and self-repairing control for resilient multi-rotor aircrafts
A prototype robot for polishing and milling large objects
A fixed-distance planning algorithm for 6-DOF manipulators
Mobile parallel robot for assembly and repair of ITER vacuum vessel
Bridge transported servo manipulator system for remote handling tasks under a radiation environment
A series of pneumatic glass-wall cleaning robots for high-rise buildings
Comparative study of various machine learning algorithms and Denavit-Hartenberg approach for the inverse kinematic solutions in a 3-PPSS parallel manipulator
Adaptive compliance control of a multi-legged stair-climbing robot based on proprioceptive data
Safety design of a petrol pump attendant robot
Methods for haptic feedback in teleoperated robot-assisted surgery
On designing an active tail for legged robots: simplifying control via decoupling of control objectives
Imaging technology opens up new robotic applications
CiceRobot: a cognitive robot for interactive museum tours
Impedance control for force tracking of a dual-arm cooperative robot based on particle swarm optimization
Design of soft end-effector with variable structure for gripping of fragile parts in small-sized shafts and holes
Policy improvement of the dynamical movement primitives and stiffness primitives framework for robot learning variable stiffness manipulation
Self-protective motion planning for mobile manipulators in a dynamic door-closing workspace
Online weakly paired similarity learning for surface material retrieval
Portable robotic system for steel H-beam welding
Paris show features synchronous robots, laser welding robots and service robots
A rehabilitation gait for the balance of human and lower extremity exoskeleton system based on the transfer of gravity center
State-of-the-art welding and de-burring robots
The Canonical Robot Command Language (CRCL)
High-level programming and control for industrial robotics: using a hand-held accelerometer-based input device for gesture and posture recognition
Towards achieving a fully intelligent robotic arc welding: a review
An end-to-End deep context gate convolutional visual odometry system based on lightweight attention mechanism
Study on multi-section continuum robot wire-tension feedback control and load manipulability
Adding extra sensitivity to the SMART non-linear actuator using sensor fusion
Remote programming over multiple heterogeneous robots: a case study on distributed multirobot architecture
Robot innovation brings to agriculture efficiency, safety, labor savings and accuracy by plowing, milking, harvesting, crop tending/picking and monitoring
Expert system to interpret hand tremor and provide joystick position signals for powered wheelchairs with ultrasonic sensor systems
Integration of mobile manipulators in an industrial production
Implementation of passive compliance training on a parallel ankle rehabilitation robot to enhance safety
Inexpensive spatial position system for the automation of inspection with mobile robots
A systematic review of technological advancements in signal sensing, actuation, control and training methods in robotic exoskeletons for rehabilitation
Posture adjustment method for large components of aircraft based on hybrid force-position control
Tightly-coupled lidar-inertial localization with visual landmarks in operational scenarios
The Chinese robot industry
Welding and cutting: robots take the lead in 3D
The Pransky interview: Rich Walker, Managing Director at the Shadow Robot Company
Vibration suppression of collaborative robot based on modified trajectory planning
Hybrid adaptive impedance-leader-follower control for multi-arm coordination manipulators
Latest unmanned vehicle show features both innovative new vehicles and miniaturization
A multi-stage matching algorithm for mobile robot navigation
Map-based localization for mobile robots in high-occluded and dynamic environments
Mechanical design optimization of a series elastic actuator considering the control performance
A flexible calibration method connecting the joint space and the working space of industrial robots
Maximum allowable manipulator mass based on cycle time, impact safety and pinching safety
PathFinder image guided robot for neurosurgery
Laser 3D tightly coupled mapping method based on visual information
Robotic colour measurement of metallic and pearlescent paint
Robots unchallenged as the auto industry's workhorse
Adaptable legged-magnetic adhesion tracked wheel robotic platform for misaligned mooring chain climbing and inspection
Intelligent control of quad-rotor aircrafts with a STM32 microcontroller using deep neural networks
A fully actuated aerial manipulator system for industrial contact inspection applications
Trajectory generation in robotic shielded metal arc welding during execution time
State of the art in robots used in minimally invasive surgeries. Natural Orifice Transluminal Surgery (NOTES) as a particular case
Optimization-based hexapod robot locomotion generation
CPG-fuzzy-based control of a cownose-ray-like fish robot
A resistance torque compensation algorithm based on Luenberger observer for minimally invasive surgical robot
Advances in tactile sensors design/manufacturing and its impact on robotics applications - a review
Multiple peg-in-hole compliant assembly based on a learning-accelerated deep deterministic policy gradient strategy
A new variable stiffness robot joint
Optimal trajectory planning for industrial robots using harmony search algorithm
Intelligent methodology for sensing, modeling, and control of weld penetration in robotic welding system
Radar and vision fusion for the real-time obstacle detection and identification
Design and validation of a universal 6D seam tracking system in robotic welding based on laser scanning
An improved pure pursuit path tracking control method based on heading error rate
A precise method for correcting stereo pairs collected by a new binocular device
Kinematics-searched framework for quadruped traversal in a parallel robot
On distributed mechatronics controller for omni-directional autonomous guided vehicles
Implementation of open-architecture kinematic controller for articulated robots under ROS
A nonlinear robot joint friction compensation method including stick and sliding characteristics
Robot kinematics and the Gantry-Tau parallel machine
Predictive maintenance for industrial robots
Robust generalized predictive control of the Orthoglide robot
A markerless human-manipulators interface using multi-sensors
Kinematic modeling of a spatial three degrees-of-freedom compliant micro-motion parallel mechanism considering input coupling effect and bilateral restrained torsion
Supervised learning of mapping from sensor space to chained form for unknown non-holonomic driftless systems
Serial robotic plasma additive manufacturing on complex NURBS surface
A method for calibrating robotic kinematic parameters based on a multi-error source model and an optimized measurement pose set
Recent developments in autonomous floor-cleaning robots: a review
Attitude oscillation suppression control of a XK-I spherical robot
Snake robots: A review of research, products and applications
Vision guidance system facilitates high-speed inter-row weeding
DROP: the Durable Reconnaissance and Observation Platform
Sequential calibration of transmission ratios for joints of 6-DOF serial industrial robots based on laser tracker
JTM use Motoman to stack pails of lubricants
Rescue robot module with sliding membrane locomotion
A novel motion generation strategy for robotic tooth brushing simulator
An anomaly detection method based on double encoder-decoder generative adversarial networks
State estimation of a robot joint by a novel nonlinear tracking differentiator
Tele-operated propeller-type climbing robot for inspection of petrochemical vessels
Human skill integrated motion planning of assembly manipulation for 6R industrial robot
Comparative analysis of three categories of four-DOFs exoskeleton mechanism based on relative movement offsets
Design of a myoelectric prosthetic hand implementing postural synergy mechanically
Application of bio-inspired control of AmphiHex-I in detection of Oncomelania hupensis, the amphibious snail intermediate host of Schistosoma japonicum
Guest editorial: Dexterous manipulation
Shadow delivers first hand
Improving the capability of a redundant robotic cell for cast parts finishing
A welding seam identification method based on cross-modal perception
A novel design of inspection robot for high-voltage power lines
A simulation-based approach to develop a holonic robotic cell
Real-time collision detection based on external torque mutation suppression and time series analysis
Static and dynamic characteristics of rehabilitation joint powered by pneumatic muscles
Research, design and experiment of end effector for wafer transfer robot
The Pransky interview: Tony (Harvey) Koselka, Co-founder and Chief Operating Officer, Vision Robotics Corporation
Growth in e-commerce boosts innovation in the warehouse robot market
A humanoid robotic hand capable of internal assembly and measurement in spacesuit gloves
Structural design and control strategy of a cable-driven robot under high-altitude facade conditions with large span and multiple constraints
Motion control of walking assistant robot based on comfort
Development of an industry 4.0 transformability index for manufacturing systems
Spatial grasp synthesis for complex objects using model-based simulation
Robot-by-voice: experiments on commanding an industrial robot using the human voice
Effects of genetic algorithm parameters on trajectory planning for 6-DOF industrial robots
Toyota's violin-playing robot
Automatic stepping for circumferential splice drilling in aircraft fuselage assembly
SmartMove4: an industrial implementation of trajectory planning for robots
Semantic stereo visual SLAM toward outdoor dynamic environments based on ORB-SLAM2
Imitation learning of a wheeled mobile manipulator based on dynamical movement primitives
Energy-efficiency hexapod walking robot for humanitarian demining
A novel control algorithm for weld pool control
Complete relative pose error model for robot calibration
Investigation of path compensation methods for robotic friction stir welding
The role of robots in the food industry: a review
A brief overview of evolutionary developmental robotics
A cobotic solution for surgical applications