Abstract:
This paper considers the stabilization problem for pipelines. A pipeline is a network of functional units with one-pulse delay. The least upper bound for the length of the stabilization test, valid for a class of isomorphic pipelines, is obtained. An algorithm for constructing the result of the stabilization test is presented.