On the static output feedback stabilisation of discrete event dynamic systems based upon the approach of semi-tensor product of matrices

In this paper, the static output feedback stabilisation of discrete event dynamic systems (DEDSs) is investigated via the semi-tensor product (STP) of matrices. Firstly, the dynamics of DEDSs modelled by deterministic Moore-type finite automata are converted into an matrix expression in the STP frame. Secondly, necessary and sufficient conditions for the existence of a static output feedback control pattern, stabilising the controlled discrete event dynamic systems to some equilibrium point, are given, and constructive algorithms to seek the static output feedback control pattern including an effective specific solution algorithm and an analytic solution algorithm are proposed. Thirdly, the equilibrium-based static output feedback stabilisation of DEDSs is extended to the set-based static output feedback stabilisation and necessary and sufficient conditions and constructive algorithms to seek the corresponding control pattern are provided. Finally, some examples are presented to illustrate the effectiveness of the proposed approach.