Symbolic Verification of Fuzzy Logic Models

Siang Zhao, Zhongyang Li, Zhenbang Chen, Ji Wang

DOI 10.1109/ase56229.2023.00087 dblp

Abstract

Fuzzy logic is widely applied in various applications. However, verifying the correctness of fuzzy logic models can be difficult. This extended abstract presents our ongoing work on verifying fuzzy logic models. We treat a fuzzy logic model as a program and propose a verification method based on symbolic execution for fuzzy logic models. We have developed and implemented the environment models for the common functions and the inference rules in fuzzy logic models. Our preliminary evaluation shows the potential of our verification method.

BibTeX

@inproceedings{Zhao-al:ASE23,
  author    = {Siang Zhao and
               Zhongyang Li and
               Zhenbang Chen and
               Ji Wang},
  title     = {Symbolic Verification of Fuzzy Logic Models},
  booktitle = {ASE},
  pages     = {1787--1789},
  publisher = {{IEEE}},
  year      = {2023},
}

Symbolic Verification of Fuzzy Logic Models

Abstract

Related papers