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.

References

  1. Bryant, R. (1986). Graph-based algorithms for boolean function manipulation. IEEE Trans. on Computers, C-35(8):677-691.
  2. Burch, J. R., Clarke, E. M., McMillan, K. L., Dill, D. L., and Hwang, L. J. (1992). Symbolic model checking: 1020 states and beyond. Inf. Comput., 98(2):142-170.
  3. CGMurphi Web Page (2006). http://www.di.univaq.it/magazzeni/cgmurphi.php.
  4. Clarke, E. M., Grumberg, O., and Peled, D. A. (1999). Model Checking. The MIT Press.
  5. Cormen, T., Leiserson, C., Rivest, R., and Stein, C. (2001). Introduction to Algorithms. MIT Press.
  6. Cover, T. M. and Thomas, J. A. (2006). Elements of Information Theory. Wiley.
  7. CUDD Web Page (2007). http://vlsi.colorado.edu/ fabio/.
  8. Della Penna, G., Fallucchi, F., Intrigila, B., and Magazzeni, D. (2007a). A genetic approach to the automatic generation of fuzzy control systems from numerical controllers. In AI*IA, volume 4733 of LNAI, pages 230- 241. Springer-Verlag.
  9. Della Penna, G., Intrigila, B., Magazzeni, D., Melatti, I., Tofani, A., and Tronci, E. (2006). Automatic generation of optimal controllers through model checking techniques. In Proceedings of 3rd International Conference on Informatics in Control, Automation and Robotics (ICINCO2006), to be published in Informatics in Control, Automation and Robotics III, draft available at the url http://www.di.univaq.it/magazzeni/cgmurphi.php.
  10. Della Penna, G., Magazzeni, D., Tofani, A., Intrigila, B., Melatti, I., and Tronci, E. (2007b). Automatic synthesis of robust numerical controllers. In ICAS 7807, page 4. IEEE Computer Society.
  11. Grüne, L. and Junge, O. (2005). A set oriented approach to optimal feedback stabilization. Systems Control Lett., 54(2):169-180.
  12. GZip Web Page (2007). http://www.gzip.org/.
  13. Hand, D. J., Mannila, H., and Smyth, P. (2001). Principles of Data Mining. MIT Press.
  14. Junge, O. and Osinga, H. (2004). A set oriented approach to global optimal control. ESAIM Control Optim. Calc. Var., 10(2):259-270 (electronic), 2004.
  15. Kosko, B. (1992). Neural Networks and Fuzzy Systems. Prentice Hall.
  16. Kreisselmeier, G. and Birkholzer, T. (1994). Numerical nonlinear regulator design. IEEE Transactions on Automatic Control, 39(1):33-46.
  17. Leu, M. C. and Kim, T.-Q. (1998). Cell mapping based fuzzy control of car parking. In ICRA, pages 2494- 2499.
  18. Nelson, M. and Gailly, J. (1995). The Data Compression Book. MT Books.
  19. Pedroni, V. (2004). Circuit Design with VHDL. MIT Press.
  20. Sekine, S., Imasaki, N., and Tsunekazu, E. (1995). Application of fuzzy neural network control to automatic train operation and tuning of its control rules. In Proc. IEEE Int. Conf. on Fuzzy Systems 1993, pages 1741- 1746, Yokohama.
  21. Stufflebeam, J. and Prasad, N. (1999). Hierarchical fuzzy control. In Proceedings of IEEE International Fuzzy Systems Conference, pages 498-503.
  22. Ziv, J. and Lempel, A. (1977). A universal algorithm for sequential data compression. IEEE Transactions on Information Theory, 23(3):337-343.
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