This work models and analyses the dynamics of a general spring-mass-damper system that is in frictional contact with its support, taking into account frictional heat generation and a reactive obstacle. Friction, heat generation and contact are modelled with subdifferentials of, possibly non-convex, potential functions. The model consists of a non-linear system of first-order differential inclusions for the position, velocity and temperature of the mass. The existence of a global solution is established and additional assumptions yield its uniqueness. Nine examples of conditions arising in applications, for which the analysis results are valid, are presented.
