Research Analyzer

ICRA 2024

2337 papers · 0 AI summaries · 2024

Clear
2325 result(s) for “Formal Methods in Robotics and Automation” Page 46 of 47
Title & Authors Actions
CushSense: Soft, Stretchable, and Comfortable Tactile Sensing Skin for Physical Human-Robot Interaction
Boxin Xu,Luoyan Zhong,Grace Zhang,Xiaoyu Liang,Diego Virtue,Rishabh Madan,Tapomayukh Bhattacharjee
 View PDF
Elasto-Static Modelling and Identification of a Deployable Cable-Driven Parallel Robot with Compliant Masts
Zane Zake, Stéphane Caro
 View PDF
Learning Complex Motion Plans Using Neural ODEs with Safety and Stability Guarantees
Farhad Nawaz Savvas Sadiq Ali, Tianyu Li, Nikolai Matni, Nadia Figueroa
 View PDF
Barry: A High-Payload and Agile Quadruped Robot
Giorgio Valsecchi, Nikita Rudin, Lennart Nachtigall, Konrad Mayer, Fabian Tischhauser, Marco Hutter
 View PDF
Gaussian Process-Enhanced, External and Internal Convertible (EIC) Form-Based Control of Underactuated Balance Robots
Feng Han, Jingang Yi
 View PDF
Multi-Robot Autonomous Exploration and Mapping under Localization Uncertainty with Expectation-Maximization
Yewei Huang, Xi Lin, Brendan Englot
 View PDF
Learning Emergent Gaits with Decentralized Phase Oscillators: On the Role of Observations, Rewards, and Feedback
Jenny Zhang, Steve Heim, Se Hwan Jeon, Sangbae Kim
 View PDF
3D Force and Contact Estimation for a Soft-Bubble Visuotactile Sensor Using FEM
Jing-Chen Peng, Shaoxiong Yao, Kris Hauser
 View PDF
Grounding Conversational Robots on Vision through Dense Captioning and Large Language Models
Lucrezia Grassi, Zhouyang Hong, Carmine Tommaso Recchiuto, Antonio Sgorbissa
 View PDF
Robotic Capillary Insertion to the Xenopus Oocyte Using Microscopic Image Analysis and QCR Force Sensor
Kazusa Otani, Hirotaka Sugiura, Shiro Watanabe, Bilal Turan, Satoshi Amaya, Fumihito Arai
 View PDF
Fast Task Allocation of Heterogeneous Robots with Temporal Logic and Inter-Task Constraints
Lin Li, Ziyang Chen, Hao Wang, Zhen Kan
 View PDF
The LuViRA Dataset: Synchronized Vision, Radio, and Audio Sensors for Indoor Localization
Ilayda Yaman, Guoda Tian, Martin Larsson, Patrik Persson, Michiel Sandra, Alexander DÃ1⁄4rr, Erik Tegler, Nikhil Challa, Henrik Garde, Fredrik Tufvesson, Karl à ström, Ove Edfors, Steffen Malkowsky, Liang Liu
 View PDF
Dynamic Targeting of Satellite Observations Incorporating Slewing Costs and Complex Observation Utility
Akseli Kangaslahti, Alberto Candela, Jason Swope, Qing Yue, Steve Chien
 View PDF
Terrestrial Locomotion of PogoX: From Hardware Design to Energy Shaping and Step-To-Step Dynamics Based Control
Yi Wang, Jiarong Kang, Zhiheng Chen, Xiaobin Xiong
 View PDF
A Miniature Water Jumping Robot Based on Accurate Interaction Force Analysis
Jihong Yan, Xin Zhang, Kai Yang, Jie Zhao
 View PDF
Approximate Optimal Controller Synthesis for Cart-Poles and Quadrotors Via Sums-Of-Squares
Lujie Yang, Hongkai Dai, Alexandre Amice, Russ Tedrake
 View PDF
Pluck and Play: Self-supervised Exploration of Chordophones for Robotic Playing
Michael Görner, Norman Hendrich, Jianwei Zhang
 View PDF
Design, Modeling and Control of a Top-Loading Fully-Actuated Cargo Transportation Multirotor
Wooyong Park, Xiangyu Wu, Dongjae Lee, Seung Jae Lee
 View PDF
Learning a Flexible Neural Energy Function with a Unique Minimum for Globally Stable and Accurate Demonstration Learning
Zhehao Jin, WEIYONG SI, Andong Liu, Wen-An Zhang, Li Yu, Chenguang Yang
 View PDF
The Fractal Hand-II: Reviving a Classic Mechanism for Contemporary Grasping Challenges
Malcolm Tisdale, Joel Burdick
 View PDF
Pilot Comparison of Customized and Generalized Hip-Knee-Ankle Exoskeleton Torque Profiles
Gwendolyn Bryan, Patrick W. Franks, Seungmoon Song, Steven H. Collins
 View PDF
Efficient Constrained Dynamics Algorithms Based on an Equivalent LQR Formulation Using Gauss' Principle of Least Constraint
Ajay Suresha Sathya, Herman Bruyninckx, Wilm Decré, Goele Pipeleers
 View PDF
Multi-Scale Visual Servoing Framework for Optical Microscopy Based on SIFT Matching
Yameng ZHANG, Ao XU, Yuhan Chen, Max Q.-H. Meng, Li Liu
 View PDF
Development of the Assembling System for Structure Transformable Humanoid with Attach-Lock-Detachable Magnetic Coupling
Tasuku Makabe, Kei Okada, Masayuki Inaba
 View PDF
An Onboard Framework for Staircases Modeling Based on Point Clouds
Chun Qing, Rongxiang Zeng, xuan Wu, Yongliang Shi, Gan MA
 View PDF
DISO: Direct Imaging Sonar Odometry
Shida Xu, Kaicheng Zhang, Ziyang Hong, Yuanchang Liu, Sen Wang
 View PDF
Learning Motion Reconstruction from Demonstration Via Multi-Modal Soft Tactile Sensing
Cheng Pan, Kieran Gilday, Emily Sologuren, Kai Junge, Josie Hughes
 View PDF
Lightweight Human-Friendly Robotic Arm Based on Transparent Hydrostatic Transmissions
Marco Bolignari, Gianluca Rizzello, Luca Zaccarian, Marco Fontana
 View PDF
Dynamic Mobile Manipulation Via Whole-Body Bilateral Teleoperation of a Wheeled Humanoid
Amartya Purushottam, Christopher Xu, Yeongtae Jung, Joao Ramos
 View PDF
Snake Robot with Tactile Perception Navigates on Large-Scale Challenging Terrain
Shuo Jiang, Adarsh Salagame, Alireza Ramezani, Lawson L.S. Wong
 View PDF
Tip-Clutching Winch for High Tensile Force Application with Soft Growing Robots
Obumneme Godson Osele, Kentaro Barhydt, Nicholas Cerone, Allison M. Okamura, Harry Asada
 View PDF
Towards Centimeter-Scale Underwater Mobile Robots: An Architecture for Capable μAUVs
Pascal Spino, Daniela Rus
 View PDF
SANet: Small but Accurate Detector for Aerial Flying Object
Xunkuai Zhou, Benyun ZHAO, Guidong YANG, Jihan Zhang, LI LI, Ben M. Chen
 View PDF
Exploring the Effect of Base Compliance on Physical Human-Robot Collaboration
Ziqi Wang, Marc Carmichael
 View PDF
Cascaded Compositional Residual Learning for Complex Interactive Behaviors
Niranjan Kumar Kannabiran, Irfan Essa, Sehoon Ha
 View PDF
Hierarchical Learned Risk-Aware Planning Framework for Human Driving Modeling
Nathan Ludlow, Yiwei Lyu, John M. Dolan
 View PDF
A Restorable, Variable Stiffness Pneumatic Soft Gripper Based on Jamming of Strings of Beads
Fenglin Han, Lei Fei, Run Zou, Weijian Li, JingHao Zhou, Haiming Zhao
 View PDF
Tethered Lifting-Wing Multicopter Landing Like Kite
Haoyu Wei, shuai wang, Quan Quan
 View PDF
Learning Covariances for Estimation with Constrained Bilevel Optimization
Mohamad Qadri, Zachary Manchester, Michael Kaess
 View PDF
Constrained Nonlinear Disturbance Observer for Robotic Systems
Ji Wan Han, Daehyung Park, Min Jun Kim
 View PDF
Angler: An Autonomy Framework for Intervention Tasks with Lightweight Underwater Vehicle Manipulator Systems
Evan Palmer, Chris Holm, Geoffrey Hollinger
 View PDF
Robust MITL Planning under Uncertain Navigation Times
Alexis Linard, Anna Gautier, Daniel Duberg, Jana Tumova
 View PDF
Optimal Planning for Timed Partial Order Specifications
Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, HIDEKI OKAMOTO, Sriram Sankaranarayanan
 View PDF
A Modular Aerial System Based on Homogeneous Quadrotors with Fault-Tolerant Control
Mengguang Li, Kai Cui, Heinz Koeppl
 View PDF
HandNeRF: Learning to Reconstruct Hand-Object Interaction Scene from a Single RGB Image
Hongsuk Choi, Nikhil Chavan-Dafle, Jiacheng Yuan, Volkan Isler, Hyun Soo Park
 View PDF
Coordinated Landing Control for Cross-Domain UAV-USV Fleets Using Heterogeneous-Feature Matching
Jianing Ding, Hai-Tao Zhang, Binbin Hu
 View PDF
Doppler-Only Single-Scan 3D Vehicle Odometry
Andres Galeote-Luque, Vladimir Kubelka, Martin Magnusson, J.R. Ruiz-Sarmiento, Javier Gonzalez-Jimenez
 View PDF
Model Predictive Robustness of Signal Temporal Logic Predicates
Yuanfei Lin, Haoxuan Li, Matthias Althoff
 View PDF
Safety-Critical Scenario Generation Via Reinforcement Learning Based Editing
Haolan Liu, Liangjun Zhang, Siva Kumar Sastry Hari, Jishen Zhao
 View PDF
A Vision-Centric Approach for Static Map Element Annotation
Jiaxin Zhang, Chen Shiyuan, haoran yin, Ruohong Mei, Xuan Liu, Cong Yang, Qian Zhang, Wei Sui
 View PDF