A Method Converting Multi-Properties Objective Reachability Problems to Multi-Objective Sets Reachability Problems over FKS

Gespeichert in:
Bibliographische Detailangaben
Titel: A Method Converting Multi-Properties Objective Reachability Problems to Multi-Objective Sets Reachability Problems over FKS
Autoren: Zhaokai Li, Zhanyou Ma, Xia Li, Yingnan Gao
Quelle: Symmetry; Volume 14; Issue 11; Pages: 2278
Verlagsinformationen: MDPI AG, 2022.
Publikationsjahr: 2022
Schlagwörter: multi-properties objective reachability, multi-objective sets reachability, fuzzy kripke structure, conversion algorithm, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
Beschreibung: In this paper, we focus on the symmetrical relationship between multi-properties objective reachability problems and multi-objective sets reachability problems over FKS based on Zadeh logic. First, we give the formal definitions of those two problems. Then, we study their relationships and find that a multi-properties objective reachability problem and a special case of multi-objective sets reachability problems have symmetry. Finally, we give a polynomial time algorithm based on this symmetry to convert a multi-properties objective reachability problem to a multi-objective sets reachability problem. In addition, an illustrative example is listed to express some possible application methods based on our work.
Publikationsart: Article
Other literature type
Dateibeschreibung: application/pdf
Sprache: English
ISSN: 2073-8994
DOI: 10.3390/sym14112278
Rights: CC BY
Dokumentencode: edsair.doi.dedup.....1be524d284e6815685dce09ffdea8ba9
Datenbank: OpenAIRE
Beschreibung
Abstract:In this paper, we focus on the symmetrical relationship between multi-properties objective reachability problems and multi-objective sets reachability problems over FKS based on Zadeh logic. First, we give the formal definitions of those two problems. Then, we study their relationships and find that a multi-properties objective reachability problem and a special case of multi-objective sets reachability problems have symmetry. Finally, we give a polynomial time algorithm based on this symmetry to convert a multi-properties objective reachability problem to a multi-objective sets reachability problem. In addition, an illustrative example is listed to express some possible application methods based on our work.
ISSN:20738994
DOI:10.3390/sym14112278