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