Cover Image

Efficiently Obtaining Reachset Conformance for the Formal Analysis of Robotic Contact Tasks

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Tang, Chencheng, Althoff, Matthias
Format:	Preprint
Published:	2024
Subjects:	Robotics Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Reachset-Conformant System Identification
by: Lützow, Laura, et al.
Published: (2024)

Formal Verification and Control with Conformal Prediction
by: Lindemann, Lars, et al.
Published: (2024)

Intelligent Sailing Model for Open Sea Navigation
by: Krasowski, Hanna, et al.
Published: (2025)

A General Safety Framework for Autonomous Manipulation in Human Environments
by: Thumm, Jakob, et al.
Published: (2024)

Trajectory Planning with Signal Temporal Logic Costs using Deterministic Path Integral Optimization
by: Halder, Patrick, et al.
Published: (2025)

Multi-Momentum Observer Contact Estimation for Bipedal Robots
by: Payne, J. Joe, et al.
Published: (2024)

Training Verifiably Robust Agents Using Set-Based Reinforcement Learning
by: Wendl, Manuel, et al.
Published: (2024)

Compliant Explicit Reference Governor for Contact Friendly Robotic Manipulators
by: Gautam, Yaashia, et al.
Published: (2025)

Loco-Manipulation with Nonimpulsive Contact-Implicit Planning in a Slithering Robot
by: Salagame, Adarsh, et al.
Published: (2024)

Towards Generalized Robot Assembly through Compliance-Enabled Contact Formations
by: Morgan, Andrew S., et al.
Published: (2023)

Fast Contact Detection via Fusion of Joint and Inertial Sensors for Parallel Robots in Human-Robot Collaboration
by: Mohammad, Aran, et al.
Published: (2025)

Contact-Aware Planning and Control of Continuum Robots in Highly Constrained Environments
by: Mangan, Aedan, et al.
Published: (2026)

Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis
by: Hafez, Ahmad, et al.
Published: (2025)

Multi-contact Stochastic Predictive Control for Legged Robots with Contact Locations Uncertainty
by: Gazar, Ahmad, et al.
Published: (2023)

Safe Autonomous Environmental Contact for Soft Robots using Control Barrier Functions
by: Dickson, Akua K., et al.
Published: (2025)

A Soft-Bodied Aerial Robot for Collision Resilience and Contact-Reactive Perching
by: Nguyen, Pham H., et al.
Published: (2022)

A Flexible FBG-Based Contact Force Sensor for Robotic Gripping Systems
by: Lai, Wenjie, et al.
Published: (2025)

DisCo: Distributed Contact-Rich Trajectory Optimization for Forceful Multi-Robot Collaboration
by: Shorinwa, Ola, et al.
Published: (2024)

Simultaneous State Estimation and Contact Detection for Legged Robots by Multiple-Model Kalman Filtering
by: Menner, Marcel, et al.
Published: (2024)

Learning Stack-of-Tasks Management for Redundant Robots
by: Adami, Alessandro, et al.
Published: (2025)

Task and Domain Adaptive Reinforcement Learning for Robot Control
by: Liu, Yu Tang, et al.
Published: (2024)

Contact-Aware Safety in Soft Robots Using High-Order Control Barrier and Lyapunov Functions
by: Wong, Kiwan, et al.
Published: (2025)

SafePR: Unified Approach for Safe Parallel Robots by Contact Detection and Reaction with Redundancy Resolution
by: Mohammad, Aran, et al.
Published: (2025)

Formation-Aware Adaptive Conformalized Perception for Safe Leader-Follower Multi-Robot Systems
by: Suganda, Richie R., et al.
Published: (2026)

A Survey on Imitation Learning for Contact-Rich Tasks in Robotics
by: Tsuji, Toshiaki, et al.
Published: (2025)

SMT-Based Dynamic Multi-Robot Task Allocation
by: Tuck, Victoria Marie, et al.
Published: (2024)

Egocentric Conformal Prediction for Safe and Efficient Navigation in Dynamic Cluttered Environments
by: Shin, Jaeuk, et al.
Published: (2025)

Surface-Constrained Offline Warping with Contact-Aware Online Pose Projection for Safe Robotic Trajectory Execution
by: Wang, Farong, et al.
Published: (2026)

Power-Efficient Autonomous Mobile Robots
by: Liu, Liangkai, et al.
Published: (2025)

Reactive Temporal Logic-based Planning and Control for Interactive Robotic Tasks
by: Nawaz, Farhad, et al.
Published: (2024)

Adaptive Preload Control of Cable-Driven Parallel Robots for Handling Task
by: Reichenbach, Thomas, et al.
Published: (2024)

Energy-Aware Task Allocation for Teams of Multi-mode Robots
by: Ito, Takumi, et al.
Published: (2025)

Real-Time Non-Contact Force Compensation for Wrist-Mounted Force/Torque Sensors in Haptic-Enabled Robotic Surgery Training
by: Shaker, Walid, et al.
Published: (2026)

A Hybrid Task-Constrained Motion Planning for Collaborative Robots in Intelligent Remanufacturing
by: Liu, Wansong, et al.
Published: (2024)

Automatic Robot Task Planning by Integrating Large Language Model with Genetic Programming
by: Kobilov, Azizjon, et al.
Published: (2025)

Energy-Efficient Motion Planner for Legged Robots
by: Schperberg, Alexander, et al.
Published: (2025)

Safety-Ensured Robotic Control Framework for Cutting Task Automation in Endoscopic Submucosal Dissection
by: Kim, Yitaek, et al.
Published: (2025)

A Virtual Fencing Framework for Safe and Efficient Collaborative Robotics
by: Badguna, Vineela Reddy Pippera, et al.
Published: (2025)

Rendezvous and Docking of Mobile Ground Robots for Efficient Transportation Systems
by: Fischer, Lars, et al.
Published: (2026)

TranTac: Leveraging Transient Tactile Signals for Contact-Rich Robotic Manipulation
by: Wu, Yinghao, et al.
Published: (2025)