CINECA IRIS Institutional Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishFuzzy 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 |
File in questo prodotto:
http://hdl.handle.net/2108/33159
Copyright © 2021