Interface controller synthesis from requirement specifications

Abstract

Presents a novel method for controller synthesis out of high-level interface specifications. Since the approach uses a novel partitioning technique and exploits structural properties of the synthesis input, the authors reduce the complexity of the synthesis process and the size of the synthesis output drastically in comparison with synthesis tools, which do not exploit structural properties of the synthesis input. The approach is demonstrated on typical examples.<>