OBDD compression of numerical controllers

In the last years, the use of control systems has become very common, especially in the embedded systems contained in a growing number of everyday products. Therefore, the problem of the automatic synthesis of control systems is extremely important. However, most of the current techniques for the automatic generation of controllers, such as cell-to-cell mapping, dynamic programming, set oriented approach or model checking, typically generate numerical controllers that cannot be embedded in limited hardware devices due to their size. A possible solution to this problem is to compress the controller. However, most of the common lossless compression algorithms, such as LZ77, would decrease the controller performances due to their decompression overhead. In this paper we propose a new, completely automatic OBDD-based compression technique that is capable of reducing the size of any numerical controller up to a space savings of 90% without any noticeable decrease in the controller performances.