Algorithmic synthesis of control compensators

The submodule construction problem is examined from the point of view of the formal specification language LOTOS. A method for the construction of the unknown nth submodule in a system of known n-1 submodules is presented, taking advantage of the finite state machine approach using regular languages. The use of this design method is demonstrated on a communication protocol which uses error detection and retransmission. The authors discuss how the results could be applied to error correction through the synthesis of an nth “corrector module” which when incorporated into the system helps rectify the overall behavior