TY - CONF AU - Intrigila, Benedetto AU - Magazzeni, Daniele AU - Melatti, Igor AU - Tronci, Enrico PY - 2005 DA - 2005// TI - A Model Checking Technique for the Verification of Fuzzy Control Systems BT - CIMCA '05: Proceedings of the International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce Vol-1 (CIMCA-IAWTIC'06) SP - 536 EP - 542 PB - IEEE Computer Society CY - Washington, DC, USA AB - 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 theMurphi 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. SN - 0-7695-2504-0-01 L1 - http://mclab.di.uniroma1.it/publications/papers/papers/Intrigila2005.pdf UR - https://doi.org/10.1109/CIMCA.2005.1631319 DO - 10.1109/CIMCA.2005.1631319 N1 - exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=75), last updated on Sat, 24 Nov 2012 14:18:31 +0100 ID - Intrigila_etal2005 ER -