Leveraging Symbolic Algebra Systems to Simulate Contact Dynamics in Rigid Body Systems

Simone Asci,Angadh Nanjangud
2023-03-03
Abstract:Collision detection plays a key role in the simulation of interacting rigid bodies. However, owing to its computational complexity current methods typically prioritize either maximizing processing speed or fidelity to real-world behaviors. Fast real-time detection is achieved by simulating collisions with simple geometric shapes whereas incorporating more realistic geometries with multiple points of contact requires considerable computing power which slows down collision detection. In this work, we present a new approach to modeling and simulating collision-inclusive multibody dynamics by leveraging computer algebra system (CAS). This approach offers flexibility in modeling a diverse set of multibody systems applications ranging from human biomechanics to space manipulators with docking interfaces, since the geometric relationships between points and rigid bodies are handled in a generalizable manner. We also analyze the performance of integrating this symbolic modeling approach with collision detection formulated either as a traditional overlap test or as a convex optimization problem. We compare these two collision detection methods in different scenarios and collision resolution using a penalty-based method to simulate dynamics. This work demonstrates an effective simplification in solving collision dynamics problems using a symbolic approach, especially for the algorithm based on convex optimization, which is simpler to implement and, in complex collision scenarios, faster than the overlap test.
Robotics,Symbolic Computation
What problem does this paper attempt to address?
The problem that this paper attempts to solve is how to balance the computational speed and the fidelity of real - world behavior when simulating contact dynamics in a rigid - body system. Current methods usually focus on maximizing either the processing speed or the fidelity of real - world behavior, but it is difficult to achieve both simultaneously. For example, fast real - time detection simulates collisions by using simple geometric shapes, while including more realistic geometric shapes and multi - point contacts requires a large amount of computational resources, which will significantly slow down the speed of collision detection. To this end, the paper proposes a new method for modeling and simulating multi - body dynamics including collisions by using a computer algebra system (CAS). This method can flexibly handle the applications of various multi - body systems, from human biomechanics to space manipulators with docking interfaces, because the geometric relationships between points and rigid bodies are handled in a general way. In addition, the paper also analyzes the performance of combining this symbolic modeling method with the traditional collision detection formalized as an overlap test or a convex optimization problem, and compares these two collision detection methods and the penalty - based collision resolution method in different scenarios. The research shows that using the symbolic method can effectively simplify the solution process of the collision dynamics problem. In particular, the convex - optimization - based algorithm is faster and easier to implement than the overlap test in complex collision scenarios.