Author:
Ma Zhanyou,Li Zhaokai,Li Weijun,Gao Yingnan,Li Xia
Abstract
In order to solve the problems in fuzzy computation tree logic model checking with cost operator, we propose a fuzzy decision process computation tree logic model checking method with cost. Firstly, we introduce a fuzzy decision process model with cost, which can not only describe the uncertain choice and transition possibility of systems, but also quantitatively describe the cost of the systems. Secondly, under the model of the fuzzy decision process with cost, we give the syntax and semantics of the fuzzy computation tree logic with cost operators. Thirdly, we study the problem of computation tree logic model checking for fuzzy decision process with cost, and give its matrix calculation method and algorithm. We use the example of medical expert systems to illustrate the method and model checking algorithm.
Funder
National Natural Science Foundation of China
Graduate Innovation Project of North Minzu University
Scientific Research Project of Introducing Personnel from North Minzu University
Subject
General Physics and Astronomy
Reference30 articles.
1. Baier, C., and Katoen, J.P. (2008). Principles of Model Checking, MIT Press.
2. Deriving unbounded reachability proof of linear hybrid automata during bounded checking procedure;IEEE Trans. Comput.,2017
3. Supervisory control of labeled transition systems subject to multiple reachability requirements via symbolic model checking;IEEE Trans. Control. Syst. Technol.,2020
4. Probabilistic propositional temporal logics;Inf. Control.,1986
5. Graf, S., and Schwartzbach, M. (2000). Tools and Algorithms for the Construction and Analysis of Systems, Springer.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献