IROS 2024

1856 papers · 0 AI summaries · 2024

AI summary only

1854 result(s) for “Formal Methods in Robotics and Automation” Page 37 of 38

	Title & Authors	Actions
	Wirelessly Actuated Rotation-Free Magnetic Motor Umur Ulas Harman, Ahmed Hafez, Cameron Duffield, Zihan Zhao, Luke Dixon, Daniela Rus, Shuhei Miyashita	View PDF
Loading…
	A Mixed-Integer Conic Program for the Moving-Target Traveling Salesman Problem Based on a Graph of Convex Sets Allen George Philip, Zhongqiang Ren, Sivakumar Rathinam, Howie Choset	View PDF
Loading…
	Visuo-Tactile Zero-Shot Object Recognition with Vision-Language Model Shiori Ueda, Atsushi Hashimoto, Masashi Hamaya, Kazutoshi Tanaka, Hideo Saito	View PDF
Loading…
	Accelerating Model Predictive Control for Legged Robots through Distributed Optimization Lorenzo Amatucci, Giulio Turrisi, Angelo Bratta, Victor Barasuol, Claudio Semini	View PDF
Loading…
	Archie Jnr: A Robotic Platform for Autonomous Cane Pruning of Grapevines Henry Williams, David Anthony James Smith, Jalil Shahabi, Trevor Gee, Ans Qureshi, Benjamin John McGuinness, Scott Harvey, Catherine Downes, Rahul Jangali, Kale Black, Shen Hin Lim, Mike Duke, Bruce MacDonald	View PDF
Loading…
	Efficient Path Planning for Modular Reconfigurable Robots Matthias Mayer, Zihao Li, Matthias Althoff	View PDF
Loading…
	Programming Passive Fingertip Deformation for Improved Grasping and Manipulation Steffen Puhlmann, Lion-Constantin Weber, Hannes Hoeppner	View PDF
Loading…
	Development of a Novel Redundant Parallel Mechanism with Enlarged Workspace and Enhanced Dexterity for Fracture Reduction Surgery Quan Yuan, Xu Liang, Tingting Su, Weibang Bai	View PDF
Loading…
	Attainable Force Approximation and Full-Pose Tracking Control of an Over-Actuated Thrust-Vectoring Modular Team UAV Yen-Cheng Chu, Feng-Li Lian	View PDF
Loading…
	Real-Time Constrained Tracking Control of Redundant Manipulators Using a Koopman - Zeroing Neural Network Framework Chandan Kumar Sah, Rajpal Singh, Jishnu Keshavan	View PDF
Loading…
	Identification and Validation of the Dynamic Model of a Tendon-Driven Anthropomorphic Finger Junnan Li, Lingyun Chen, Johannes Ringwald, Edmundo Pozo Fortunić, Amartya Ganguly, Sami Haddadin	View PDF
Loading…
	Vinymap: A Vineyard Inspection And 3D Reconstruction Framework For Agricultural Robots Ioannis Zarras, Athanasios Mastrogeorgiou, Konstantinos Machairas, Konstantinos Koutsoukis, Evangelos Papadopoulos	View PDF
Loading…
	A Novel Vitreoretinal Surgical Robot System to Maximize the Internal Reachable Workspace and Minimize the External Link Motion Gowoon Jeong, Seong Young Ko	View PDF
Loading…
	SuPerPM: A Surgical Perception Framework Based on Deep Point Matching Learned from Physical Constrained Simulation Data Shan Lin, Albert Miao, Ali Alabiad, Fei Liu, Kaiyuan Wang, Jingpei Lu, Florian Richter, Michael C. Yip	View PDF
Loading…
	A Whole-Body Integrated AVATAR System: Implementation of Telepresence with Intuitive Control and Immersive Feedback Sungman Park, Kim Junsoo, Hojae Lee, Minwoong Jo, Dohoon Gong, Dawon Ju, Dami Won, Sihyeon Kim, Jinhyeok Oh, Hun Jang, Joonbum Bae	View PDF
Loading…
	Mastering Scene Rearrangement with Expert-Assisted Curriculum Learning and Adaptive Trade-Off Tree-Search Zan Wang, Hanqing Wang, Wei Liang	View PDF
Loading…
	Functional kinematic and kinetic requirements of the upper limb during activities of daily living: a recommendation on necessary joint capabilities for prosthetic arms Christopher Herneth, Amartya Ganguly, Sami Haddadin	View PDF
Loading…
	Solving Dynamic Cosserat Rods with Frictional Contact Using the Shooting Method and Implicit Surfaces Radhouane Jilani, Pierre-Frederic Villard, Erwan Kerrien	View PDF
Loading…
	UNO Push: Unified Nonprehensile Object Pushing Via Non-Parametric Estimation and Model Predictive Control Gaotian Wang, Kejia Ren, Kaiyu Hang	View PDF
Loading…
	Dynamic Walking on Highly Underactuated Point Foot Humanoids: Closing the Loop between HZD and HLIP Adrian Ghansah, Jeeseop Kim, Kejun Li, Aaron Ames	View PDF
Loading…
	Three-Dimensional Vehicle Dynamics State Estimation for High-Speed Race Cars under Varying Signal Quality Sven Goblirsch, Marcel Weinmann, Johannes Betz	View PDF
Loading…
	Preliminary Result of Cury: A Backdrivable Leg Design Using Linear Actuators Zhongtao Guan, Yiming Chen, Junlei Zhu, Yu Hu, Weibang Bai, Jiahao Chen	View PDF
Loading…
	Sequential Convex Programming for Time-Optimal Quadrotor Waypoint Flight Zhipeng Shen, Guanzhong Zhou, Hailong Huang	View PDF
Loading…
	Data-Driven Predictive Control for Robust Exoskeleton Locomotion Kejun Li, Jeeseop Kim, Xiaobin Xiong, Kaveh Akbari Hamed, Yisong Yue, Aaron Ames	View PDF
Loading…
	Learning Safe Locomotion for Quadrupedal Robots by Derived-Action Optimization Deye Zhu, Chengrui Zhu, Zhen Zhang, Shuo Xin, Yong Liu	View PDF
Loading…
	A Graph-Based Self-Calibration Technique for Cable-Driven Robots with Sagging Cable Mohammadreza Dindarloo, Amir Saman Mirjalili, S. Ahmad Khalilpour, Rooholla Khorrambakht, Stephan Weiss, Hamid D. Taghirad	View PDF
Loading…
	IMU-Based Monitoring of Buoy-Ballast System through Cable Dynamics Simulation Charly PERAUD, Martin Filliung, Cedric Anthierens, Claire Dune, nicolas boizot, Vincent HUGEL	View PDF
Loading…
	One-Shot Transfer of Long-Horizon Extrinsic Manipulation through Contact Retargeting Albert Wu, Ruocheng Wang, Sirui Chen, Clemens Eppner, Karen Liu	View PDF
Loading…
	Leveraging Simulation-Based Model Preconditions for Fast Action Parameter Optimization with Multiple Models Muhammet Yunus Seker, Oliver Kroemer	View PDF
Loading…
	Origami Actuator with Tunable Limiting Layer for Reconfigurable Soft Robotic Grasping Yang Yang, Zhu Kejin, Yuan Xie, Shaoyang Yan, Juan Yi, Pei Jiang, Yunquan Li, Yazhan Zhang, Yingtian Li	View PDF
Loading…
	Time-Optimal Path Parameterization for Cooperative Multi-Arm Robotic Systems with Third-Order Constraints Maximilian Dio, Knut Graichen, Andreas Völz	View PDF
Loading…
	Hierarchical Search-Based Cooperative Motion Planning Yuchen Wu, Yifan Yang, Gang Xu, Junjie Cao, Yansong Chen, Licheng Wen, Yong Liu	View PDF
Loading…
	MonoForce: Self-Supervised Learning of Physics-informed Model for Predicting Robot-Terrain Interaction Ruslan Agishev, Karel Zimmermann, Vladimir Kubelka, Martin Pecka, Tomas Svoboda	View PDF
Loading…
	Distributed Model Predictive Covariance Steering Augustinos Saravanos, Isin Balci, Efstathios Bakolas, Evangelos Theodorou	View PDF
Loading…
	Latent Object Characteristics Recognition with Visual to Haptic-Audio Cross-Modal Transfer Learning Namiko Saito, Joao Moura, Hiroki Uchida, Sethu Vijayakumar	View PDF
Loading…
	<i>PEGASUS</i>: Physically Enhanced Gaussian Splatting Simulation System for 6DoF Object Pose Dataset Generation Lukas Meyer, Floris Marc Arden Erich, Yusuke Yoshiyasu, Marc Stamminger, Noriaki Ando, Yukiyasu Domae	View PDF
Loading…
	EC-IoU: Orienting Safety for Object Detectors Via Ego-Centric Intersection-Over-Union Brian Hsuan-Cheng Liao, Chih-Hong Cheng, Hasan Esen, Alois Knoll	View PDF
Loading…
	Robust Agility Via Learned Zero Dynamics Policies Noel Csomay-Shanklin, William Compton, Ivan Dario Jimenez Rodriguez, Eric Ambrose, Yisong Yue, Aaron Ames	View PDF
Loading…
	Tactile Comfort: Lowering Heart Rate through Interactions with a Pocket Robot Morten Roed Frederiksen, Kasper Stoy, Maja Mataric	View PDF
Loading…
	OV-MAP : Open-Vocabulary Zero-Shot 3D Instance Segmentation Map for Robots Juno Kim, Yesol Park, Hye Jung Yoon, Byoung-Tak Zhang	View PDF
Loading…
	Error-State Kalman Filter Based Visual-Inertial Odometry Using Orientation Measurement on Unit Quaternion Group Chao-Wei Chang, Feng-Li Lian	View PDF
Loading…
	PhotoBot: Reference-Guided Interactive Photography Via Natural Language Oliver Limoyo, Jimmy Li, Dmitriy Rivkin, Jonathan Kelly, Gregory Dudek	View PDF
Loading…
	An Optimization Based Scheme for Real-Time Transfer of Human Arm Motion to Robot Arm Zhelin Yang, Seongjin Bien, Simone Nertinger, Abdeldjallil Naceri, Sami Haddadin	View PDF
Loading…
	Probabilistic Inference of Human Capabilities from Passive Observations Peter Tisnikar, Gerard Canal, Matteo Leonetti	View PDF
Loading…
	Feasible Region Construction by Polygon Merging for Continuous Bipedal Walking Chao Li, Xuechao Chen, qi hengbo, Qingqing Li, Qingrui Zhao, Yongliang Shi, Zhangguo YU, Lingxuan Zhao, Zhihong Jiang	View PDF
Loading…
	TeFF: Tracking-Enhanced Forgetting-Free Few-Shot 3D LiDAR Semantic Segmentation Junbao Zhou, Jilin Mei, Pengze Wu, Liang Chen, Fangzhou Zhao, Xijun Zhao, Yu Hu	View PDF
Loading…
	Path-Parameterised RRTs for Underactuated Systems Damian Abood, Ian Manchester	View PDF
Loading…
	Adaptive Passivation of Admittance Controllers by Bypassing Power to Null Space on Redundant Manipulators Yeoil Yun, DongJun Oh, Eun Jeong Song, Hyouk Ryeol Choi, Hyungpil Moon, Ja Choon Koo	View PDF
Loading…
	Data-Driven Modeling of Cable Slab Dynamics Via Neural Networks Yazan al-rawashdeh, Mohammad Al Saaideh, Michael Joseph Pumphrey, Natheer Alatawneh, Mohammad Al Janaideh	View PDF
Loading…
	Malicious Path Manipulations Via Exploitation of Representation Vulnerabilities of Vision-Language Navigation Systems Chashi Mahiul Islam, Shaeke Salman, Montasir Shams, Xiuwen Liu, Piyush Kumar	View PDF
Loading…