Algebraic analysis of the structural properties of parametric linear time-invariant systems

By using techniques borrowed from algebraic geometry, some tests are proposed to certify structural properties (such as reachability, observability, controllability, constructibility, stabilisability, and detectability) of discrete-time and continuous-time linear time-invariant systems. These results are then generalised for linear time-invariant systems depending polynomially on some real parameters, by exploiting the notion of Gröbner cover. The main innovation of the proposed results with respect to existing techniques is that they provide exact certificates for the structural properties of linear time-invariant systems. Examples of application are given all throughout the study to illustrate and validate the theoretical results.