Research Analyzer

IROS 2024

1856 papers · 0 AI summaries · 2024

Clear
1854 result(s) for “Formal Methods in Robotics and Automation” Page 23 of 38
Title & Authors Actions
Bipedal Safe Navigation Over Uncertain Rough Terrain: Unifying Terrain Mapping and Locomotion Stability
Kasidit Muenprasitivej, Jesse Jiang, Abdulaziz Shamsah, Samuel Coogan, Ye Zhao
 View PDF
HortiBot: An Adaptive Multi-Arm System for Robotic Horticulture of Sweet Peppers
Christian Lenz, Rohit Menon, Michael Schreiber, Melvin Paul, Jacob, Sven Behnke, Maren Bennewitz
 View PDF
Enhancing Elderly Mobility: A Sturdy, Two-Body Robot for Handlebar Placement in Any Location
Roberto Bolli, Harry Asada
 View PDF
Versatile Variable-Stiffness Scooping End-Effector: Tilting-Scooping-Transfer Mechanism for Objects with Various Properties
Yuta Takahashi, Kenjiro Tadakuma, Kazuki Abe, Masahiro Watanabe, Shoya Shimizu, Satoshi Tadokoro
 View PDF
A Cooperative Recovery Framework for Resilient Multi-Robot Swarm Operations under Loss of Localization in Unknown Environments
Paul Bonczek, Nicola Bezzo
 View PDF
Performing Efficient and Safe Deformable Package Transport Operations Using Suction Cups
Rishabh Shukla, Zeren Yu, Samrudh Moode, Omey Mohan Manyar, Fan Wang, Siddharth Mayya, Satyandra K. Gupta
 View PDF
MPP: Multiscale Path Planning for UGV Navigationin Semi-Structured Environments
Rui Cao, Zhiqiang Yang, Ran Song, Ziyu Meng, Ruifeng Wang, Wei Zhang
 View PDF
Effect of Tactile and Deep Sensory Feedback Synchronized with the Manipulation of Myoelectric Hand on Body Recognition
Rintaro Hamaoka, Ryu Kato
 View PDF
Enhancing Surgical Precision in Autonomous Robotic Incisions Via Physics-Based Tissue Cutting Simulation
Jiawei Ge, Ethan Kilmer, Leila Mady, Justin Opfermann, Axel Krieger
 View PDF
OVGNet: An Unified Visual-Linguistic Framework for Open-Vocabulary Robotic Grasping
Meng Li, Qi Zhao, Shuchang Lyu, Chunlei Wang, Yujing Ma, Guangliang Cheng, Chenguang Yang
 View PDF
StROL: Stabilized and Robust Online Learning from Humans
Shaunak Mehta, Forrest Meng, Andrea Bajcsy, Dylan Losey
 View PDF
SDFT: Structural Discrete Fourier Transform for Place Recognition and Traversability Analysis
Ayumi Umemura, Ken Sakurada, Masaki Onishi, Kazuya Yoshida
 View PDF
Learning a Tracking Controller for Rolling μbots
Logan Beaver, Sokolich Max, Suhail Alsalehi, Ron Weiss, Sambeeta Das, Calin Belta
 View PDF
Feelit: Combining Compliant Shape Displays with Vision-Based Tactile Sensors for Real-Time Teletaction
Oscar Yu, Yu She
 View PDF
Response Improvement of Hydraulic Robotic Joints Via A Force Servo and Inverted Pendulum Demo
Ryo Arai, Satoru Sakai, Kazuki Ono
 View PDF
Robust Elastic Structure Preserving Control for High Impedance Rendering of Series Elastic Actuator
Hyunwook Lee, Jinoh Lee, Manuel Keppler, Sehoon Oh
 View PDF
Learning-Based Hierarchical Control: Emulating the Central Nervous System for Bio-Inspired Legged Robot Locomotion
GE SUN, Milad Shafiee, Peizhuo LI, Guillaume Bellegarda, Auke Ijspeert, Guillaume Adrien Sartoretti
 View PDF
The Design of a Layered Brain-Computer Interface System with Target Identification Module to Control Home Service Robot
Wenzhi Wang, Yuqing, Troy Mao, Feng Duan
 View PDF
RISE: 3D Perception Makes Real-World Robot Imitation Simple and Effective
Chenxi Wang, Hongjie Fang, Hao-Shu Fang, Cewu Lu
 View PDF
Constrained Bootstrapped Learning for Few-Shot Robot Skill Adaptation
A K M Nadimul Haque, Fouad Sukkar, Lukas Tanz, Marc Carmichael, Teresa A. Vidal-Calleja
 View PDF
On a Magnetically Driven Array System with Autonomous Motion and Object Delivery for Biomedical Microrobots
Yueyue Liu, Zhe Hou, Qigao Fan
 View PDF
Finetuning Pre-Trained Model with Limited Data for LiDAR-Based 3D Object Detection by Bridging Domain Gaps
Jiyun Jang, Mincheol Chang, Jongwon Park, Jinkyu Kim
 View PDF
Biased-MPPI: Informing Sampling-Based Model Predictive Control by Fusing Ancillary Controllers
Elia Trevisan, Javier Alonso-Mora
 View PDF
Human-Robot Interaction Control for Multi-Mode Exosuit with Reinforcement Learning
Kaizhen Huang, Jiajun XU, Tianyi Zhang, Mengcheng Zhao, Aihong Ji, Guoli Song, Y.F. Li
 View PDF
Embodied AI with Two Arms: Zero-Shot Learning, Safety and Modularity
Jacob Varley, Sumeet Singh, Deepali Jain, Krzysztof Choromanski, Andy Zeng, Somnath Basu Roy Chowdhury, Avinava Dubey, Vikas Sindhwani
 View PDF
Multi-Fov-Constrained Trajectory Planning for Multirotor Safe Landing
Dong Wang, Jingping Wang, Suqin He, Jinxin Huang, Bangyan Zhang, Yinian Mao, Guoquan Huang, Chao Xu, Fei Gao
 View PDF
Design and Evaluation of a Prototype Tactile Scanner for Active Sensing of Proximal Objects
Amaury Dechaux, Michiteru Kitazaki, Julien Lagarde, Gowrishankar Ganesh
 View PDF
Grow-To-Shape Control of Variable Length Continuum Robots Via Adaptive Visual Servoing
Abhinav Gandhi, Shou-Shan Chiang, Cagdas Onal, Berk Calli
 View PDF
Towards Unconstrained Collision Injury Protection Data Sets: Initial Surrogate Experiments for the Human Hand
Robin Jeanne Kirschner, Jinyu Yang, Edonis Elshani, Carina M. Micheler, Tobias Leibbrand, Dirk Müller, Claudio Glowalla, Nader Rajaei, Rainer Burgkart, Sami Haddadin
 View PDF
Decoupling-Based LPV Observer for Driver Torque Intervention Estimation in Human-Machine Shared Driving under Uncertain Vehicle Dynamics
Anh-Tu Nguyen, Thierry Marie Guerra, Chouki Sentouh, Jean-Christophe Popieul
 View PDF
A Wearable Platform Based on the Multi-Modal Foundation Model to Augment Spatial Cognition for People with Blindness and Low Vision
Yu Hao, Alexey Magay, Hao Huang, Shuaihang Yuan, Congcong Wen, Yi Fang
 View PDF
Resource-Aware Collaborative Monte Carlo Localization with Distribution Compression
Nicky Zimmerman, Alessandro Giusti, Jerome Guzzi
 View PDF
Robust Backstepping Controller with Adaptive Sliding Mode Observer for a Tilt-Augmented Quadrotor with Uncertainty Using SO(3)
Sathyanarayanan Seshasayanan, Soumya Ranjan Sahoo
 View PDF
Rethinking 3D Geometric Object Features for Enhancing Skeleton-Based Action Recognition
Yuankai Wu, Chi Wang, Driton Salihu, Constantin Patsch, Marsil Zakour, Eckehard Steinbach
 View PDF
Unified Control Framework for Real-Time Interception and Obstacle Avoidance of Fast-Moving Objects with Diffusion Variational Autoencoder
Apan Dastider, Hao Fang, Lin Mingjie
 View PDF
IntervenGen: Interventional Data Generation for Robust and Data-Efficient Robot Imitation Learning
Ryan Hoque, Ajay Uday Mandlekar, Caelan Garrett, Ken Goldberg, Dieter Fox
 View PDF
Knowledge-Based Programming by Demonstration Using Semantic Action Models for Industrial Assembly
Junsheng Ding, Haifan Zhang, Weihang Li, Liangwei Zhou, Alexander Clifford Perzylo
 View PDF
FlexLoc: Conditional Neural Networks for Zero-Shot Sensor Perspective Invariance in Object Localization with Distributed Multimodal Sensors
Jason Wu, Ziqi Wang, Xiaomin Ouyang, Ho Lyun Jeong, Colin Samplawski, Lance Kaplan, Benjamin Marlin, Mani Srivastava
 View PDF
Multi-Fingered Dragging of Unknown Objects and Orientations Using Distributed Tactile Information through Vision-Transformer and LSTM
Takahisa Ueno, Satoshi Funabashi, Hiroshi Ito, Alexander Schmitz, Shardul Kulkarni, Tetsuya Ogata, Shigeki Sugano
 View PDF
D-MARL: A Dynamic Communication-Based Action Space Enhancement for Multi Agent Reinforcement Learning Exploration of Large Scale Unknown Environments
Gabriele Calzolari, Vidya Sumathy, Christoforos Kanellakis, George Nikolakopoulos
 View PDF
Robotic Volatile Sampling for Early Detection of Plant Stress
Christian Geckeler, Sergio Ramos, Meredith C. Schuman, Stefano Mintchev
 View PDF
Sim2real Cattle Joint Estimation in 3D Pointclouds
Mohammad Okour, Alen Alempijevic, Raphael Falque
 View PDF
An Adaptive Robotic Exoskeleton for Comprehensive Force-Controlled Hand Rehabilitation
Nikolas Jakob Wilhelm, Victor Gilles Schaack, Annick Leisching, Carina M. Micheler, Sami Haddadin, Rainer Burgkart
 View PDF
Applying Neural Monte Carlo Tree Search to Unsignalized Multi-Intersection Scheduling for Autonomous Vehicles
Yucheng Shi, wenlong wang, Xiaowen Tao, Ivana Dusparic, Vinny Cahill
 View PDF
ObVi-SLAM: Long-Term Object-Visual SLAM
Amanda Adkins, Taijing Chen, Joydeep Biswas
 View PDF
Multi-Task Real-Robot Data with Gaze Attention for Dual-Arm Fine Manipulation
Heecheol Kim, Yoshiyuki Ohmura, Yasuo Kuniyoshi
 View PDF
Development of a Mobile Reconfigurable Mecanum Robot with a Locking Device of Rollers
Dmitrii Zakharov, Andrei Iaremenko, Denis Kurovskii, Artem Kurovskii, Oleg Borisov, botao zhang
 View PDF
Evaluation of Predictive Display for Teleoperated Driving Using CARLA Simulator
Fatima Kashwani, Bilal Hassan, Peng-Yong Kong, Majid Khonji, Jorge Dias
 View PDF
RGBlimp: Robotic Gliding Blimp - Design, Modeling, Development, and Aerodynamics Analysis
Hao Cheng, Zeyu Sha, Yongjian Zhu, Feitian Zhang
 View PDF
Spatial Spinal Fixation: A Transformative Approach Using a Unique Robot-Assisted Steerable Drilling System and Flexible Pedicle Screw
Susheela Sharma, Yash Kulkarni, Sarah Go, Jeff Bonyun, Jordan P. Amadio, Maryam Tilton, Mohsen Khadem, Farshid Alambeigi
 View PDF