CTL Symbolic Model Checking Based on Fuzzy Logic

被引：0
作者：
Nie, Pengzhan [1 ]
Jiang, Jiulei [2 ]
Ma, Zhanyou [1 ]
机构：
[1] North Minzu Univ, Coll Comp Sci & Engn, Yinchuan, Ningxia, Peoples R China
[2] Changshu Inst Technol, Sch Comp Sci & Engn, Suzhou 215500, Peoples R China
来源：
2020 IEEE INTL CONF ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING, INTL CONF ON PERVASIVE INTELLIGENCE AND COMPUTING, INTL CONF ON CLOUD AND BIG DATA COMPUTING, INTL CONF ON CYBER SCIENCE AND TECHNOLOGY CONGRESS (DASC/PICOM/CBDCOM/CYBERSCITECH) | 2020年
关键词：
fuzzy logic; symbolic model checking; MTBDD; CTL;
D O I：
10.1109/DASC-PICom-CBDCom-CyberSciTech49142.2020.00074
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
The problem of state space explosion is often encountered in model checking, and the fuzzy uncertainty information in the system also needs to be processed. We have proposed a new calculation method of model checking. Unlike the classical symbolic model checking, CTL based on fuzzy logic is symbolized, and quasi-Boolean functions that can be represented by multiple terminal binary decision diagrams (MTBDD) are used to represent system models and attribute specifications. Combining the operation rules between quasi-Boolean functions with classic symbol model checking formulas and verifying them, a quasiBoolean function formula is finally obtained. By putting the state code into the formula, the corresponding probability value can be obtained.
引用
收藏
页码：380 / 385
页数：6
相关论文
共 50 条
  • [31] Fuzzy Logic Based Symbolic Grounding for Best Grasp Pose for Homecare Robotics
    Liu, Beisheng
    Li, Dayou
    Yue, Yong
    Maple, Carsten
    Gu, Shuang
    Qiu, Renxi
    2012 10TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2012, : 1164 - 1169
  • [32] GENERATING BDDS FOR SYMBOLIC MODEL CHECKING IN CCS
    ENDERS, R
    FILKORN, T
    TAUBNER, D
    DISTRIBUTED COMPUTING, 1993, 6 (03) : 155 - 164
  • [33] Verification of CTLBDI Properties by Symbolic Model Checking
    Chen, Ran
    Zhang, Wenhui
    2019 26TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC), 2019, : 102 - 109
  • [34] Adaptive variable reordering for symbolic model checking
    Kamhi, G
    Fix, L
    1998 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN: DIGEST OF TECHNICAL PAPERS, 1998, : 359 - 365
  • [35] Symbolic model checking quantum circuits in Maude
    Do, Canh Minh
    Ogata, Kazuhiro
    PEERJ COMPUTER SCIENCE, 2024, 10
  • [36] Symbolic model checking with rich assertional languages
    Kesten, Y
    Maler, O
    Marcus, M
    Pnueli, A
    Shahar, E
    THEORETICAL COMPUTER SCIENCE, 2001, 256 (1-2) : 93 - 112
  • [37] Salary Increment Model Based on Fuzzy Logic
    Mobasshera, Atia
    Naher, Kamrun
    Tamal, T. M. Rezoan
    Rahman, Rashedur M.
    ARTIFICIAL INTELLIGENCE AND ALGORITHMS IN INTELLIGENT SYSTEMS, 2019, 764 : 344 - 353
  • [38] Technology Foresight Model Based on Fuzzy Logic
    A. Kupchyn
    V. Komarov
    I. Borokhvostov
    A. Kuprinenko
    V. Sotnyk
    M. Bilokur
    V. Oleksiiuk
    Cybernetics and Systems Analysis, 2021, 57 : 978 - 989
  • [39] A Fuzzy Logic Based Policy Negotiation Model
    Zhan, Jieyu
    Luo, Xudong
    Jiang, Yuncheng
    Ma, Wenjun
    Cao, Mukun
    KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT (KSEM 2017): 10TH INTERNATIONAL CONFERENCE, KSEM 2017, MELBOURNE, VIC, AUSTRALIA, AUGUST 19-20, 2017, PROCEEDINGS, 2017, 10412 : 79 - 92
  • [40] Technology Foresight Model Based on Fuzzy Logic
    Kupchyn, A.
    Komarov, V.
    Borokhvostov, I.
    Kuprinenko, A.
    Sotnyk, V.
    Bilokur, M.
    Oleksiiuk, V.
    CYBERNETICS AND SYSTEMS ANALYSIS, 2021, 57 (06) : 978 - 989
12345