计算机科学
等价(形式语言)
计算
理论计算机科学
算法
抽象
逻辑综合
树(集合论)
逻辑程序
数学
逻辑门
逻辑程序设计
离散数学
组合数学
哲学
认识论
作者
Hui Deng,Yuzhe Zhang,Zhilong Huang
出处
期刊:IEEE Access
[Institute of Electrical and Electronics Engineers]
日期:2023-01-01
卷期号:11: 2478-2487
被引量:1
标识
DOI:10.1109/access.2022.3231458
摘要
Recently, probabilistic Kripke structures have been used to represent uncertain systems; nevertheless, important transition costs were ignored in earlier studies, making it impossible to model some uncertain systems with costs.To compensate for the major shortcoming, this research addresses the transition costs suggested in uncertain systems.First of all, we offer possibilistic Kripke cost structures and associated possibilistic costs such as cumulative cost and possibilistic expected cost.As the verification model, furthermore, we investigated the syntax and semantics of possibilistic cost computation tree logic and utilized them to develop verification characteristics of possibilistic Kripke cost structures.Finally, as solutions to the state space explosion problem of possibilistic cost computation tree logic model checking, abstraction and equivalence are presented as methods to reduce the state numbers and frameworks of possibilistic Kripke cost structures.
科研通智能强力驱动
Strongly Powered by AbleSci AI