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.
Moreover, the output of this compression process can be easily embedded in software/hardware devices by automatically translating it in C or VHDL code.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Leu, M.C., Kim, T.Q.: Cell mapping based fuzzy control of car parking. In: ICRA, pp. 2494–2499 (1998)
Kreisselmeier, G., Birkholzer, T.: Numerical nonlinear regulator design. IEEE Transactions on Automatic Control 39(1), 33–46 (1994)
Grüne, L., Junge, O.: A set oriented approach to optimal feedback stabilization. Systems Control Lett. 54(2), 169–180 (2005)
Della Penna, G., Intrigila, B., Magazzeni, D., Melatti, I., Tofani, A., Tronci, E.: Automatic generation of optimal controllers through model checking techniques. In: Proceedings of 3rd International Conference on Informatics in Control, Automation and Robotics, ICINCO2006 (2006) (to be published in Informatics in Control, Automation and Robotics III), http://www.di.univaq.it/magazzeni/cgmurphi.php
Della Penna, G., Magazzeni, D., Tofani, A., Intrigila, B., Melatti, I., Tronci, E.: Automatic synthesis of robust numerical controllers. In: ICAS 2007, p. 4. IEEE Computer Society, Los Alamitos (2007)
Kosko, B.: Neural Networks and Fuzzy Systems. Prentice-Hall, Englewood Cliffs (1992)
Sekine, S., Imasaki, N., Tsunekazu, E.: 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, Yokohama, pp. 1741–1746 (1995)
Della Penna, G., Fallucchi, F., Intrigila, B., Magazzeni, D.: A genetic approach to the automatic generation of fuzzy control systems from numerical controllers. In: Basili, R., Pazienza, M.T. (eds.) AI*IA 2007. LNCS (LNAI), vol. 4733, pp. 230–241. Springer, Heidelberg (2007)
Cover, T.M., Thomas, J.A.: Elements of Information Theory. Wiley, Chichester (2006)
Nelson, M., Gailly, J.-l.: The Data Compression Book. MT Books (1995)
Ziv, J., Lempel, A.: A universal algorithm for sequential data compression. IEEE Transactions on Information Theory 23(3), 337–343 (1977)
Bryant, R.: Graph-based algorithms for boolean function manipulation. IEEE Trans. on Computers C-35(8), 677–691 (1986)
Hand, D.J., Mannila, H., Smyth, P.: Principles of Data Mining. MIT Press, Cambridge (2001)
Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic model checking: 1020 states and beyond. Inf. Comput. 98(2), 142–170 (1992)
Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)
Cormen, T.H., Leiserson, C.D., Rivest, R.L., Stein, C.: Introduction to Algorithms. MIT Press, Cambridge (2001)
CUDD Web Page (2007), http://vlsi.colorado.edu/~fabio/
GCC Compiler, http://gcc.gnu.org/
Pedroni, V.A.: Circuit Design with VHDL. MIT Press, Cambridge (2004)
GZip Web Page (2007), http://www.gzip.org/
CGMurphi Web Page (2006), http://www.di.univaq.it/magazzeni/cgmurphi.php
Junge, O., Osinga, H.: A set oriented approach to global optimal control. ESAIM Control Optim. Calc. Var. 10(2), 259–270 (2004)
Stufflebeam, J., Prasad, N.R.: Hierarchical fuzzy control. In: Proceedings of IEEE International Fuzzy Systems Conference, pp. 498–503 (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Della Penna, G., Intrigila, B., Lauri, N., Magazzeni, D. (2009). Fast and Compact Encoding of Numerical Controllers Using OBDDs. In: Cetto, J.A., Ferrier, JL., Filipe, J. (eds) Informatics in Control, Automation and Robotics. Lecture Notes in Electrical Engineering, vol 37. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-00271-7_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-00271-7_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-00270-0
Online ISBN: 978-3-642-00271-7
eBook Packages: EngineeringEngineering (R0)