Hybrid Analytical and Simulation-Based Approach for Workspace Verification of a Pneumatic Upper Limb Exoskeleton.

The design of active pneumatic upper limb exoskeletons is complicated by the challenge of reliably determining a kinematically safe workspace. Existing analytical kinematic methods are not sufficient to predict geometric collisions between elements of closed kinematic chains, which poses risks of mechanical damage and threats to user safety during exoskeleton operation. This paper proposes a hybrid algorithm for verifying the workspace of a pneumatic exoskeleton, combining analytical modelling in MATLAB R2020b based on the Product of Exponentials (PoE) method with high-performance static simulation in the Unity environment. At the initial stage, a discrete set comprising 758 million positions of the upper exoskeleton manipulator was generated. Subsequently, a multithreaded two-stage filtering process was implemented: analytical verification of rod stroke limits and angular constraints, followed by the detection of physical intersections of solid-state meshes using the PhysX engine. The results indicate that while the analytical model filters out 99.6% of invalid configurations. Yet, among the remaining positions-formally correct from a mathematical standpoint-up to 50% lead to critical geometric collisions or breaks in the kinematic chain. The computational efficiency of the proposed architecture enabled full static workspace verification in under 20 min. A reachable zone topology was established, revealing pronounced asymmetry and the presence of a "manoeuvrability core" in the user's anterior hemisphere. The developed algorithm generates a verified set of kinematically safe exoskeleton states, providing a foundation for the kinematic safety layer of a hierarchical control system. These findings demonstrate the necessity of complementing analytical kinematics with physical collision detection when designing hybrid kinematic mechanisms, and the approach can be applied to verify collision-free movement trajectories in various robotic systems. The approach can be applied to verify collision-free movement trajectories in simulation, with physical validation deferred to future work.