Reachability and exact controllability of linear Stieltjes differential systems

Abstract

We study reachability and exact controllability for systems driven by a nondecreasing left-continuous Stieltjes derivator whose measure may have continuous, singular-continuous and atomic parts, while flat intervals represent inactivity. We construct an evolution family and post-jump variation-of-constants formula, and characterize the reachable subspace as the essential span of input directions. For constant coefficients, the Kalman condition is necessary for every derivator and, under regressivity, sufficient when the derivator is continuous and nonconstant on a subinterval. If the measure is purely atomic with exactly $N$ positive atoms, the reachable subspace is the truncated Krylov space generated by $B,AB,\ldots,A^{N-1}B$; for a Kalman-controllable pair, the minimum atom count among purely atomic derivators equals the controllability index. At the threshold count, one vanishing mass with the others converging to positive finite limits causes Gramian degeneration and worst-case energy blow-up; at or above threshold, compact positive mass ranges yield uniform coercivity. A mixed double-integrator example illustrates the results.