Abstract:In this paper, we use supervisory control techniques to design a protocol converter, which avoids divergence in a communication system. A typical application is to design gateways that interface heterogeneous computer networks while minimizing the communication time with the involved parties. As an example, we design a divergence-free converter that interfaces an alternating bit sender and a nonsequenced receiver, and we implement the converter as an asynchronous circuit.