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) [10.1007/978-3-642-02282-1_38].

Evaluating fuzzy controller robustness using model checking

INTRIGILA, BENEDETTO;
2009

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. © 2009 Springer Berlin Heidelberg.
8th International Workshop on Fuzzy Logic and Applications, WILF 2009
Palermo
9 June 2009 through 12 June 2009
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 internazionale
Settore INF/01 - Informatica
English
Fuzzy controllers; Model checking; Cell mapping
Intervento a convegno
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) [10.1007/978-3-642-02282-1_38].
Della Penna, G; Intrigila, B; Magazzeni, D
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/2108/33159
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 0
social impact