Normalized cascade structures and state feedback control logic synthesis

This paper proposed a new state feedback controller synthesis method for solving forbidden states avoidance problems. The method can be used when all influentially uncontrollable subnets have normalized cascade structures, which differ from marked graph, state machine as well as forward and backward conflict-free structure. Two advantages of the method are shown as follows: 1) It is suitable for a class of controlled discrete event plants modeled by generalized Petri nets; 2) The online computation of maximally permissive control law can be carried out within polynomial times.