SYMBOLIC VERIFICATION OF TEMPORAL FUZZY LOGIC PROPERTIES ON FUZZY PROGRAM GRAPH

Q: How can I download an article?

To download an article from SID, first log in to the site, search for the article title, and click on the 'Download Article' option.

Q: How can I download an ISI article?

To download an ISI article on SID, enter the keyword or article title in the search bar, view the relevant results, click on the desired article, and select the 'Download Article' option.

Q: How can I access the SID database?

To access the SID database, visit SID.ir, create an account, and log in to access scientific resources.

Q: Is downloading articles from SID free?

Some articles on SID are available for free, while others require payment. Details are specified on the article's page.

SOTUDEH G.; MOVAGHAR A.

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Journal Paper

Paper Information

Journal: NASHRIYYAH -I MUHANDISI -I BARQ VA MUHANDISI -I KAMPYUTAR -I IRAN, B- MUHANDISI -I KAMPYUTAR Year:2017 | Volume:15 | Issue:1 Page(s): 55-63

Download Full-Text

Persian Verion

View:

968

Download:

Cites:

Information Journal Paper

Title

SYMBOLIC VERIFICATION OF TEMPORAL FUZZY LOGIC PROPERTIES ON FUZZY PROGRAM GRAPH

Author(s)

SOTUDEH G. | MOVAGHAR A. | Issue Writer Certificate

Keywords

VERIFICATIONQ1

KRIPKE MODELQ1

FUZZY TEMPORAL LOGICQ1

FUZZY PROGRAM GRAPHQ1

SYMBOLIC VERIFICATIONQ1

Abstract

We may investigate the correctness of dynamic fuzzy models by a combination of Modal Temporal Logics and Fuzzy Logic. So far Fuzzy-extended Kripke structure (FzKripke) and Fuzzy-extended Program Graph (FzPG) are introduced as two timed Fuzzy logic models. Meanwhile, a Fuzzy-extended Temporal Logic (FzCTL) is introduced. Although no VERIFICATION technique is devised for verifying FzCTL properties of timed Fuzzy logic models, its applications in VERIFICATION of Fuzzy Logic Circuits (i.e., Fuzzy Flip-Flops) are studied and elaborated. In this paper we introduce a symbolic approach to tackle the state space explosion problem in timed Fuzzy logic models with which models are simultaneously compressed and processed in the most compact representation possible yet. The applicability of this approach is also demonstrated through experiments on a case study concerning dynamic hazards in a Fuzzy D-Flip Flop. Performance measures like runtime and memory consumptions are also provided for different scenarios.

Cites

No record.

References

Cite

APA: Copy

SOTUDEH, G., & MOVAGHAR, A.. (2017). SYMBOLIC VERIFICATION OF TEMPORAL FUZZY LOGIC PROPERTIES ON FUZZY PROGRAM GRAPH. NASHRIYYAH -I MUHANDISI -I BARQ VA MUHANDISI -I KAMPYUTAR -I IRAN, B- MUHANDISI -I KAMPYUTAR, 15(1), 55-63. SID. https://sid.ir/paper/228444/en

Vancouver: Copy

SOTUDEH G., MOVAGHAR A.. SYMBOLIC VERIFICATION OF TEMPORAL FUZZY LOGIC PROPERTIES ON FUZZY PROGRAM GRAPH. NASHRIYYAH -I MUHANDISI -I BARQ VA MUHANDISI -I KAMPYUTAR -I IRAN, B- MUHANDISI -I KAMPYUTAR[Internet]. 2017;15(1):55-63. Available from: https://sid.ir/paper/228444/en

IEEE: Copy

G. SOTUDEH, and A. MOVAGHAR, “SYMBOLIC VERIFICATION OF TEMPORAL FUZZY LOGIC PROPERTIES ON FUZZY PROGRAM GRAPH,” NASHRIYYAH -I MUHANDISI -I BARQ VA MUHANDISI -I KAMPYUTAR -I IRAN, B- MUHANDISI -I KAMPYUTAR, vol. 15, no. 1, pp. 55–63, 2017, [Online]. Available: https://sid.ir/paper/228444/en

Related Journal Papers