OBDD compression of numerical controllers

TY - CHAP

T1 - OBDD compression of numerical controllers

AU - Della Penna, Giuseppe

AU - Lauri, Nadia

AU - Magazzeni, Daniele

PY - 2008

Y1 - 2008

N2 - 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.

AB - 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.

M3 - Conference paper

SN - 978-989-8111-30-2

VL - ICSO

SP - 43

EP - 50

BT - ICINCO 2008: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, VOL ICSO

A2 - Filipe, J

A2 - Cetto, JA

A2 - Ferrier, JL

PB - INSTICC-INST SYST TECHNOLOGIES INFORMATION CONTROL & COMMUNICATION

CY - SETUBAL

T2 - 5th International Conference on Informatics in Control, Automation and Robotics

Y2 - 11 May 2008 through 15 May 2008

ER -