A5011356630- Logic, Reasoning, and Knowledge
- Formal Methods in Verification
- Model-Driven Software Engineering Techniques
- Safety Systems Engineering in Autonomy
- Advanced Control Systems Optimization
- Software Reliability and Analysis Research
- Logic, programming, and type systems
- Rough Sets and Fuzzy Logic
- Bayesian Modeling and Causal Inference
- Risk and Safety Analysis
North Minzu University
2022-2023
The verification of reachability properties fuzzy systems is usually based on the Kripke structure or possibilistic structure. However, not enough to describe nondeterministic and concurrent in real life. In this paper, firstly, we propose generalized decision process as model systems, deduce possibilities sets paths relying defining schedulers. Then, give matrices calculation methods maximal minimal eventual reachability, always constrained repeated persistent reachability. Finally, a...
In order to solve the problems in fuzzy computation tree logic model checking with cost operator, we propose a decision process method cost. Firstly, introduce cost, which can not only describe uncertain choice and transition possibility of systems, but also quantitatively systems. Secondly, under give syntax semantics operators. Thirdly, study problem for its matrix calculation algorithm. We use example medical expert systems illustrate
In this paper, we focus on the symmetrical relationship between multi-properties objective reachability problems and multi-objective sets over FKS based Zadeh logic. First, give formal definitions of those two problems. Then, study their relationships find that a problem special case have symmetry. Finally, polynomial time algorithm symmetry to convert problem. addition, an illustrative example is listed express some possible application methods our work.