a hybrid system is a dynamical system that exhibits both continuous and discrete dynamic behavior. the state of a hybrid system changes either continuously by the flow described by a differential equation or discretely following some jump conditions. a canonical example of a hybrid system is the bouncing ball, imagined as a point-mass, under the influence of gravity. in this talk, we explore the solutions and algorithms to the extensions of this example in 3-dimension, where the body of interest is rigid and convex in general and the plane may be tilted. in particular, the solutions utilize the theory of nonsmooth lagrangian mechanics to derive the differential equations and jump conditions, which heavily depend on the collision detection function. the proposed algorithm called lie group variational collision integrator (lgvci) is developed using the combination of techniques and knowledge from variational collision integrators and lie group variational integrators. furthermore, we also developed a sensible and practical regularization (by analysis and applying $\epsilon$-rounding on signed distance functions) for collision response for convex rigid bodies with corners, and this completely avoids the need for nonsmooth convex analysis, and computations of tangent and normal cones. we have extensive numerical experiments and animations from our algorithm demonstrating that lgcvi are symplectic-momentum preserving and have long-time, near energy conservation.

this is a joined work with professor melvin leok, and we are looking to apply and extend this work in the fields of control & optimal control theory and robotics, especially in the realm of bipedal robots. there will be further discussions on these topics in the section of future directions of the talk.