Title :
A Model Checking Technique for the Verification of Fuzzy Control Systems
Author :
Intrigila, Benedetto ; Magazzeni, Daniele ; Tofani, Alessandro ; Melatti, Igor ; Tronci, Enrico
Author_Institution :
Dip. di Matematica Pura ed Applicata, Univ. di Roma "Tor Vergata"
Abstract :
Fuzzy control is well known as a powerful technique for designing and realizing control systems. However, statistical evidence for their correct behavior may be not enough, even when it is based on a large number of samplings. In order to provide a more systematic verification process, the cell-to-cell mapping technology has been used in a number of cases as a verification tool for fuzzy control systems and, more recently, to assess their optimality and robustness. However, cell-to-cell mapping is typically limited in the number of cells it can explore. To overcome this limitation, in this paper we show how model checking techniques may be instead used to verify the correct behavior of a fuzzy control system. To this end, we use a modified version of the Murphi verifier, which ease the modeling phase by allowing to use finite precision real numbers and external C functions. In this way, also already designed simulators may be used for the verification phase. With respect to the cell mapping technique, our approach appears to be complementary; indeed, it explores a much larger number of states, at the cost of being less informative on the global dynamic of the system
Keywords :
C language; control engineering computing; control system synthesis; formal verification; fuzzy control; fuzzy systems; Murphi verifier; cell-to-cell mapping technology; control system design; external C function; finite precision real number; fuzzy control system; model checking technique; systematic verification process; verification tool; Cities and towns; Control system synthesis; Control systems; Costs; Fuzzy control; Neural networks; Robust control; Robustness; Sampling methods; State-space methods;
Conference_Titel :
Computational Intelligence for Modelling, Control and Automation, 2005 and International Conference on Intelligent Agents, Web Technologies and Internet Commerce, International Conference on
Conference_Location :
Vienna
Print_ISBN :
0-7695-2504-0
DOI :
10.1109/CIMCA.2005.1631319