Reynold's Transport Theorem for Differential Inclusions

The well-known Reynold's Transport Theorem deals with the integral over a time-dependent set (that is evolving along a smooth vector field) and specifies its semiderivative with respect to time. Here reachable sets of differential inclusions are considered instead. Dispensing with any assumptions about the regularity of the compact initial set, we give sufficient conditions on the differential inclusion for the absolute continuity (of the integral) with respect to time and its weak derivative is formulated as a Hausdorff integral over the topological boundary.