Nondeterministic fuzzy automata with membership values in complete   residuated lattices

doi:10.1016/j.ijar.2016.11.020

CORC > 北京大学 > 信息科学技术学院

	Nondeterministic fuzzy automata with membership values in complete residuated lattices
	Pan, Haiyu ; Li, Yongming ; Cao, Yongzhi ; Li, Ping
刊名	INTERNATIONAL JOURNAL OF APPROXIMATE REASONING
	2017
关键词	Fuzzy automaton Complete residuated lattice Heyting algebra Language equivalence Formal verification DISCRETE-EVENT SYSTEMS TRANSITION-SYSTEMS FINITE AUTOMATA CATEGORICAL APPROACH SUPERVISORY CONTROL LOGIC SIMULATION WORDS MODEL BISIMULATIONS
DOI	10.1016/j.ijar.2016.11.020
英文摘要	Automata theory based on complete residuated lattice-valued logic has been initiated by Qiu, and further systematically established by Qiu et al. In this paper, we propose the notion of nondeterministic fuzzy automata with membership values in a complete residuated lattice L, called lattice-valued nondeterministic fuzzy automata (L-NFAs). In our setting, a state of an L-NFA may have more than one transition labeled by the same input symbol, which reflects nondeterminism. To compare the behaviors of L-NFAs, we introduce two language equivalence relations which have different discriminating power. Furthermore, we extend the two relations to the complete residuated lattice-valued setting and investigate their properties such as robustness and compositionality. The theory developed here is applicable to the quantitative modeling and verification of fuzzy systems. (C) 2016 Elsevier Inc. All rights reserved.; National Natural Science Foundation of China [61672023, 61673352, 11671244, 61370053, 11301321]; China Postdoctoral Science Foundation [2014M552408]; Guangxi Key Laboratory of Trusted Software [kx201609]; SCI(E); ARTICLE; 22-38; 82
语种	英语
内容类型	期刊论文
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/474985]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	Pan, Haiyu,Li, Yongming,Cao, Yongzhi,et al. Nondeterministic fuzzy automata with membership values in complete residuated lattices[J]. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING,2017.
APA	Pan, Haiyu,Li, Yongming,Cao, Yongzhi,&Li, Ping.(2017).Nondeterministic fuzzy automata with membership values in complete residuated lattices.INTERNATIONAL JOURNAL OF APPROXIMATE REASONING.
MLA	Pan, Haiyu,et al."Nondeterministic fuzzy automata with membership values in complete residuated lattices".INTERNATIONAL JOURNAL OF APPROXIMATE REASONING (2017).