Abstract:In modern industrial environments, robots are expected to work close to human operators collaborating with them in completing various tasks, e.g., collaborative assembly or delivery of objects. However, it is difficult to take task optimization into account under the premise of ensuring safety in a human-involved dynamic environment. Therefore, a real-time hierarchical control method containing two hierarchical optimal controllers with complementary functions is proposed to tackle the above problems. The upper-layer Model Predictive Controller aims at performing primary tasks, such as end-effector pose tracking, singularity, and joint limit avoidance. It is formulated as a Bayesian Inference problem with a Gaussian process prior and an exponential likelihood function. The resulting maximum a posteriori estimation problem can be solved efficiently using the Matrix-Scaled Stein Variational Gradient Descent and GPU. The upper-layer optimal controller aims at performing primary tasks, such as end-effector pose tracking, singularity, and joint limit avoidance. The lower-layer safety-critical controller, formulated as a constrained quadratic programming problem, is responsible for tracking the output interpolation of the higher-layer controller while respecting the safety constraints constructed in the form of Stochastic Control Barrier Functions. Both of the optimal controllers run repeatedly but with different frequencies (upper-layer controller: 20Hz, lower-layer controller: 40Hz). The proposed method provides a solution to deal with both collision avoidance and task constraints. Lastly, we conducted real-time simulation and experimental tests on a Doosan robot, and the test results validated the effectiveness of the proposed method.

Verified synthesis of optimal safety controllers for human-robot collaboration

Safety Controller Synthesis for Collaborative Robots

Complete Test of Synthesised Safety Supervisors for Robots and Autonomous Systems

Toward Achieving Formal Guarantees for Human-Aware Controllers in Human-Robot Interactions

Operational Safety in Human-in-the-loop Human-in-the-plant Autonomous Systems

Adaptive Safety-critical Control with Uncertainty Estimation for Human-robot Collaboration

Safe Human-Interactive Control via Shielding.

A Real-Time Hierarchical Control Method for Safe Human–robot Coexistence

Guarantees for Real Robotic Systems: Unifying Formal Controller Synthesis and Reachset-Conformant Identification

Safe Human-Interactive Control Modulo Fault

Safety Strategy for Human–Robot Collaboration: Design and Development in Cellular Manufacturing

Formal Verification of Obstacle Avoidance and Navigation of Ground Robots

Hazard Analysis of Collaborative Automation Systems: A Two-layer Approach based on Supervisory Control and Simulation

Realtime Collaborating with an Industrial Manipulator Using a Constraint-Based Programming Approach

Adaptive Admittance Control for Safety-Critical Physical Human Robot Collaboration

Towards Safe Multi-Level Human-Robot Interaction in Industrial Tasks

Combined Online Checking and Control Synthesis: A Study on a Vehicle Platoon Testbed

User-specific, Adaptable Safety Controllers Facilitate User Adoption in Human-Robot Collaboration

Safety assurance of an industrial robotic control system using hardware/software co-verification

Scalable Synthesis of Verified Controllers in Deep Reinforcement Learning

Enhancing fluency and productivity in human-robot collaboration through online scaling of dynamic safety zones