IEEE - Institute of Electrical and Electronics Engineers, Inc. - A Model Checking Technique for the Verification of Fuzzy Control Systems

Proceedings. 2006 International Conference on Intelligence For Modelling, Control and Automation. Jointly with International Conference on Intelligent Agents, Web Technologies and Internet Commerce

Author(s): B. Intrigila ; D. Magazzeni ; A. Tofani ; I. Melatti ; E. Tronci
Sponsor(s): IEEE Comput Intelligence Soc.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2005
Conference Location: Vienna, Austria
Conference Date: 28 November 2005
Volume: 1
Page(s): 536 - 542
ISBN (Paper): 0-7695-2504-0
DOI: 10.1109/CIMCA.2005.1631319
Regular:

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... View More

Advertisement