Abstract
Fuzzy control is well known as a powerful technique for designing and realizing controllers. However, statistical evidence for their correct behavior may be not enough, even when it is based on a large number of samplings. Therefore, much work is being done to provide a systematic verification of fuzzy controllers and to asses their robustness, that is the ability of a controller to maintain good performance even in the presence of significant disturbances or parameter variations. In the present paper, we introduce a model checking based methodology for the fuzzy controller robustness analysis, that can be applied on plant-controller pairs in a nearly automatic way, giving higher precision results than other approaches, such as cell mapping. We support our conclusions with a case study that compares two different fuzzy controllers for the inverted pendulum on a cart problem.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Jin, J.: Advanced Fuzzy Systems Design and Applications. Physica-Verlag (2003)
Isidori, A.: Nonlinear Control Systems II. Springer, Heidelberg (1999)
Levine, W.: The Control Handbook. Jaico Publishing House (2005)
Papa, M., Wood, J., Shenoi, S.: Evaluating controller robustness using cell mapping. Fuzzy Sets and Systems 121(1), 3–12 (2001)
Hsu, C.: Cell-to-Cell Mapping. Springer, Heidelberg (1987)
Intrigila, B., Magazzeni, D., Melatti, I., Tofani, A., Tronci, E.: A model checking technique for the verification of fuzzy control systems. In: Proceedings of Int. Conf. on Computational Intelligence for Modelling Control and Automation (CIMCA 2005) (2005)
CMurphi Web Page, http://www.di.univaq.it/gdellape/murphi/cmurphi.php
Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)
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)
Holzmann, G.J.: Design and Validation of Computer Protocols. Prentice-Hall, Englewood Cliffs (1991)
Murphi Web Page, http://sprout.stanford.edu/dill/murphi.html
SPIN Web Page, http://spinroot.com
Della Penna, G., Intrigila, B., Magazzeni, D., Melatti, I., Tofani, A., Tronci, E.: Automatic generation of optimal controllers through model checking techniques. In: Informatics in Control, Automation and Robotics. LNEE, vol. 15, pp. 107–122. Springer, Heidelberg (2008)
Della Penna, G., Intrigila, B., Melatti, I., Tronci, E., Venturini Zilli, M.: Exploiting transition locality in automatic verification of finite state concurrent systems. STTT 6(4) (2004)
Hu, H., Tai, H., Shenoi, S.: Incorporating cell map information in fuzzy controller design. In: Proceedings of the 3rd IEEE Conf. on Fuzzy Systems (1994)
Smith, S., Comer, D.: An algorithm for automated fuzzy logic controller tuning. In: Proceedings of IEEE Int. Conf. on Fuzzy Systems 1992, pp. 615–622 (1992)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Della Penna, G., Intrigila, B., Magazzeni, D. (2009). Evaluating Fuzzy Controller Robustness Using Model Checking. In: Di Gesù, V., Pal, S.K., Petrosino, A. (eds) Fuzzy Logic and Applications. WILF 2009. Lecture Notes in Computer Science(), vol 5571. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02282-1_38
Download citation
DOI: https://doi.org/10.1007/978-3-642-02282-1_38
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02281-4
Online ISBN: 978-3-642-02282-1
eBook Packages: Computer ScienceComputer Science (R0)