Collective steering in finite time: controllability on $\text{GL}^+(n,\mathbb{R})$
Mahmoud Abdelgalil, Tryphon T. Georgiou
TL;DR
This work studies collective steering of $N$ identical linear agents via a common feedback to realize a rearrangement of their configuration, formulated as controllability on the identity component of $GL^+(n,\mathbb{R})$. By recasting the problem as a right-invariant bilinear system $\dot{\Phi}_t=(A+B K_t)\,\Phi_t$ with $\det(\Phi_t)>0$, the authors establish controllability on $GL^+(n,\mathbb{R})$ under the Kalman rank condition and, further, strong controllability by constructing motion primitives and leveraging an SPD-factorization (Ballantine's result) to decompose targets into at most five factors. A topological obstruction shows that a universal, continuous feedback gain depending on problem data cannot exist for this class of systems, though well-behaved continuous laws exist for related linear and Lyapunov dynamics. The paper also extends the discussion to orientation-preserving diffeomorphisms, linking controllability insights to optimal transport and holonomy concepts, and provides an illustrative numerical example to demonstrate the constructive path-building approach.
Abstract
We consider the problem of steering a collection of n particles that obey identical n-dimensional linear dynamics via a common state feedback law towards a rearrangement of their positions, cast as a controllability problem for a dynamical system evolving on the space of matrices with positive determinant. We show that such a task is always feasible and, moreover, that it can be achieved arbitrarily fast. We also show that an optimal feedback control policy to achieve a similar feat, may not exist. Furthermore, we show that there is no universal formula for a linear feedback control law to achieve a rearrangement, optimal or not, that is everywhere continuous with respect to the specifications. We conclude with partial results on the broader question of controllability of dynamics on orientation-preserving diffeomorphisms.
