Finite deformation beam models and triality theory in dynamical post-buckling analysis☆