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. © 2009 Springer Berlin Heidelberg.
Della Penna, G., Intrigila, B., & Magazzeni, D. (2009). Evaluating fuzzy controller robustness using model checking. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp.303-311).
Autori: | |
Autori: | Della Penna, G ; Intrigila, B ; Magazzeni, D |
Titolo: | Evaluating fuzzy controller robustness using model checking |
Nome del convegno: | 8th International Workshop on Fuzzy Logic and Applications, WILF 2009 |
Luogo del convegno: | Palermo |
Anno del convegno: | 9 June 2009 through 12 June 2009 |
Enti collegati al convegno: | Universita degli Studi di Palermo;Universita degli Studi di Napoli Parthenope";Centro Interdipartimentale di Tecnologie della Conoscenza;Indian Statistical Institute;Gruppo Italiano Ricercatori in Pattern Recognition" |
Rilevanza: | Rilevanza internazionale |
Data di pubblicazione: | 2009 |
Digital Object Identifier (DOI): | http://dx.doi.org/10.1007/978-3-642-02282-1_38 |
Settore Scientifico Disciplinare: | Settore INF/01 - Informatica |
Lingua: | English |
Tipologia: | Intervento a convegno |
Citazione: | Della Penna, G., Intrigila, B., & Magazzeni, D. (2009). Evaluating fuzzy controller robustness using model checking. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp.303-311). |
Appare nelle tipologie: | 02 - Intervento a convegno |