LAUSR

Having no internal states, static corrective controllers are advantageous over dynamic ones in terms of resource usage, albeit requiring stricter existence conditions. This study presents a novel static corrective control strategy that solves the model matching problem of input/state asynchronous sequential machines. Compared with the previous result, the proposed scheme provides a relaxed existence condition by utilising the model matching indicator that specifies the desirable state at hand. It is shown that the proposed static controller can be designed as long as a corresponding dynamic one exists. The improvement of resource usage in controller synthesis is validated by applying the proposed scheme to the payload data manager in the mass memory unit of satellite systems.