An algebraic model for the hardware monitoring of automata

An algebraic model of monitoring the automata, invariant with the imput state encoding method is based upon the pair algebra techniques. The necessary and sufficient conditions for the realisation of hardware monitoring within the framework of the proposed model are presented. Some realisations of algebraic monitoring model illustrated with an example are considered.