OBDD COMPRESSION OF NUMERICAL CONTROLLERS

Giuseppe Della Penna, Nadia Lauri, Daniele Magazzeni, Benedetto Intrigila

2008

Abstract

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.

Download


Paper Citation


in Harvard Style

Della Penna G., Lauri N., Magazzeni D. and Intrigila B. (2008). OBDD COMPRESSION OF NUMERICAL CONTROLLERS . In Proceedings of the Fifth International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO, ISBN 978-989-8111-30-2, pages 43-50. DOI: 10.5220/0001497900430050

in Bibtex Style

@conference{icinco08,
author={Giuseppe Della Penna and Nadia Lauri and Daniele Magazzeni and Benedetto Intrigila},
title={OBDD COMPRESSION OF NUMERICAL CONTROLLERS},
booktitle={Proceedings of the Fifth International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,},
year={2008},
pages={43-50},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001497900430050},
isbn={978-989-8111-30-2},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Fifth International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,
TI - OBDD COMPRESSION OF NUMERICAL CONTROLLERS
SN - 978-989-8111-30-2
AU - Della Penna G.
AU - Lauri N.
AU - Magazzeni D.
AU - Intrigila B.
PY - 2008
SP - 43
EP - 50
DO - 10.5220/0001497900430050