Version 1
: Received: 24 October 2024 / Approved: 24 October 2024 / Online: 24 October 2024 (12:36:37 CEST)
How to cite:
Yu, X.; Li, Y.; Geng, S.; Li, H. Research on Fuzzy Computation Tree Temporal Logic with Quality Constraints and Its Model Checking. Preprints2024, 2024101921. https://doi.org/10.20944/preprints202410.1921.v1
Yu, X.; Li, Y.; Geng, S.; Li, H. Research on Fuzzy Computation Tree Temporal Logic with Quality Constraints and Its Model Checking. Preprints 2024, 2024101921. https://doi.org/10.20944/preprints202410.1921.v1
Yu, X.; Li, Y.; Geng, S.; Li, H. Research on Fuzzy Computation Tree Temporal Logic with Quality Constraints and Its Model Checking. Preprints2024, 2024101921. https://doi.org/10.20944/preprints202410.1921.v1
APA Style
Yu, X., Li, Y., Geng, S., & Li, H. (2024). Research on Fuzzy Computation Tree Temporal Logic with Quality Constraints and Its Model Checking. Preprints. https://doi.org/10.20944/preprints202410.1921.v1
Chicago/Turabian Style
Yu, X., ShengLing Geng and HuiRong Li. 2024 "Research on Fuzzy Computation Tree Temporal Logic with Quality Constraints and Its Model Checking" Preprints. https://doi.org/10.20944/preprints202410.1921.v1
Abstract
This treatise represents a significant contribution to the field by integrating quality constraint functions and predicates into Possibility Computation Tree Temporal Logic (PoCTL), thus giving rise to Fuzzy Computation Tree Temporal Logic with Quality Constraints (QFCTL). We provide a comprehensive definition of QFCTL's syntax, conduct an in-depth analysis of its logical characteristics, outline a precise model checking algorithm for QFCTL, and perform a meticulous complexity assessment of said algorithm. Moreover, by enriching QFCTL with a quantitative characteristic predicate operator, we innovate, culminating in the development of an enhanced Fuzzy Computation Tree Temporal Logic with Quality Constraints (QFCTL*). The treatise explores the logical facets of QFCTL*, formulates a bespoke model checking algorithm for QFCTL*, and conducts a rigorous analysis of its algorithmic complexity. To attest to the practical utility and robust expressive power of QFCTL and QFCTL*, we present a model checking example that serves as empirical evidence of the efficacy of the proposed model checking algorithms.
Keywords
Quality function; Quality predicate; QFCTL; QFCTL*; Model checking
Subject
Computer Science and Mathematics, Computational Mathematics
Copyright:
This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.