Further improvements of determinization methods for fuzzy finite automata

In this paper we provide further improvements of determinization methods for fuzzy finite automata. These methods perform better than all previous determinization methods for fuzzy finite automata, developed by Bělohlávek [3], Li and Pedrycz [38], Ignjatović et al. [25], and Jančić et al. [33], in t...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Fuzzy sets and systems Ročník 301; s. 79 - 102
Hlavní autori: Jančić, Zorana, Micić, Ivana, Ignjatović, Jelena, Ćirić, Miroslav
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Elsevier B.V 15.10.2016
Predmet:
ISSN:0165-0114, 1872-6801
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Abstract In this paper we provide further improvements of determinization methods for fuzzy finite automata. These methods perform better than all previous determinization methods for fuzzy finite automata, developed by Bělohlávek [3], Li and Pedrycz [38], Ignjatović et al. [25], and Jančić et al. [33], in the sense that they produce smaller automata, while require the same computation time. The only exception is the Brzozowski type determinization algorithm developed recently by Jančić and Ćirić [34], which produces a minimal crisp-deterministic fuzzy automaton, but the algorithms created here can also be used within the Brzozowski type algorithm and improve its performance.
AbstractList In this paper we provide further improvements of determinization methods for fuzzy finite automata. These methods perform better than all previous determinization methods for fuzzy finite automata, developed by Bělohlávek [3], Li and Pedrycz [38], Ignjatović et al. [25], and Jančić et al. [33], in the sense that they produce smaller automata, while require the same computation time. The only exception is the Brzozowski type determinization algorithm developed recently by Jančić and Ćirić [34], which produces a minimal crisp-deterministic fuzzy automaton, but the algorithms created here can also be used within the Brzozowski type algorithm and improve its performance.
Author Ćirić, Miroslav
Jančić, Zorana
Micić, Ivana
Ignjatović, Jelena
Author_xml – sequence: 1
  givenname: Zorana
  surname: Jančić
  fullname: Jančić, Zorana
  email: zoranajancic329@gmail.com
– sequence: 2
  givenname: Ivana
  surname: Micić
  fullname: Micić, Ivana
  email: ivanajancic84@gmail.com
– sequence: 3
  givenname: Jelena
  surname: Ignjatović
  fullname: Ignjatović, Jelena
  email: jelena.ignjatovic@pmf.edu.rs
– sequence: 4
  givenname: Miroslav
  surname: Ćirić
  fullname: Ćirić, Miroslav
  email: miroslav.ciric@pmf.edu.rs
BookMark eNp9kMFqAjEQQEOxULX9gN7yA7vNZHfdLD0Vqa0g9NKeQ0wmGHE3kkRBv76x7akHYWAGZt4w8yZkNPgBCXkEVgKD2dO2tDGWnEFTApQMuhsyBtHyYiYYjMg4zzQFA6jvyCTGLWO5nrExWS4OIW0wUNfvgz9ij0OK1FtqMGHo3eDOKjk_0B7TxptIrQ_UHs7nE7W5mZCqQ_K9Suqe3Fq1i_jwl6fka_H6OX8vVh9vy_nLqtC8a1PRtRWvcuimUUastWiqtcK6BqHV2tStMFxooSox46CBG6a5QdY1tq1b6IyopqT93auDjzGgldqlnxtTUG4ngcmLEbmV2Yi8GJEAMhvJJPwj98H1KpyuMs-_DOaXjg6DjNrhoNG4gDpJ490V-hsJj3y2
CitedBy_id crossref_primary_10_1007_s10489_019_01611_4
crossref_primary_10_1080_20479700_2019_1658160
crossref_primary_10_1016_j_fss_2017_09_004
crossref_primary_10_1016_j_fss_2022_05_003
crossref_primary_10_1016_j_fss_2019_03_009
crossref_primary_10_1016_j_fss_2024_109108
crossref_primary_10_1155_2021_1994732
crossref_primary_10_1155_2022_3684727
crossref_primary_10_1007_s10626_021_00342_4
crossref_primary_10_1016_j_fss_2024_108990
crossref_primary_10_1016_j_ins_2018_08_033
Cites_doi 10.1109/TFUZZ.2005.864085
10.1016/S0304-3975(03)00311-6
10.1016/j.ins.2008.07.009
10.1109/TSMCB.2002.1018761
10.1016/j.ins.2007.03.011
10.1016/j.fss.2009.12.011
10.1137/0222067
10.1016/j.fss.2014.02.021
10.1016/j.fss.2005.06.017
10.1109/TFUZZ.2014.2315620
10.1016/j.fss.2008.07.010
10.1016/S0888-613X(01)00028-7
10.1016/S0165-0114(01)00064-1
10.1016/j.ins.2008.06.016
10.1016/j.fss.2007.01.008
10.1016/j.ins.2009.01.015
10.1109/TFUZZ.2015.2404348
10.1109/91.660809
10.1016/j.fss.2014.11.013
10.1016/j.tcs.2004.02.048
10.1109/TFUZZ.2014.2310466
10.1016/j.ijar.2004.08.001
10.1109/TFUZZ.2008.924212
10.1016/S0165-0114(02)00607-3
10.1016/S0020-0255(02)00192-5
10.1109/TSMCB.2006.883429
10.1016/j.fss.2006.03.014
10.1016/j.jcss.2009.10.015
10.1016/j.ins.2010.05.020
10.1016/j.ins.2010.12.008
10.1016/0165-0114(94)90282-8
10.1109/TSMCB.2004.842252
10.1016/j.tcs.2004.09.008
10.1016/j.fss.2005.04.004
10.1109/TFUZZ.2009.2013840
10.1016/j.fss.2008.11.024
10.1016/j.ins.2013.07.029
10.1016/j.ins.2006.07.015
10.1016/S0165-0114(02)00609-7
10.1016/j.fss.2011.07.003
10.1016/j.ins.2014.02.028
10.1016/j.fss.2013.10.006
10.1016/j.fss.2012.05.006
10.1016/j.ins.2009.11.030
10.1016/j.ins.2007.08.003
10.1016/j.artint.2014.12.009
10.1016/S0020-0255(98)10073-7
10.3166/ejc.14.234-243
10.1016/j.tcs.2012.05.037
10.1016/j.fss.2009.06.007
ContentType Journal Article
Copyright 2015 Elsevier B.V.
Copyright_xml – notice: 2015 Elsevier B.V.
DBID AAYXX
CITATION
DOI 10.1016/j.fss.2015.11.019
DatabaseName CrossRef
DatabaseTitle CrossRef
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
Discipline Mathematics
EISSN 1872-6801
EndPage 102
ExternalDocumentID 10_1016_j_fss_2015_11_019
S0165011415005692
GrantInformation_xml – fundername: Ministry of Education, Science and Technological Development of the Republic of Serbia
  grantid: 174013
  funderid: http://dx.doi.org/10.13039/501100004564
GroupedDBID --K
--M
-~X
.DC
.~1
0R~
1B1
1RT
1~.
1~5
4.4
457
4G.
5VS
7-5
71M
8P~
9JN
9JO
AAAKF
AABNK
AACTN
AAEDT
AAEDW
AAIAV
AAIKJ
AAKOC
AALRI
AAOAW
AAQFI
AARIN
AAXUO
AAYFN
ABAOU
ABBOA
ABFNM
ABJNI
ABMAC
ABUCO
ABYKQ
ACAZW
ACDAQ
ACGFS
ACNCT
ACRLP
ACZNC
ADBBV
ADEZE
ADGUI
ADTZH
AEBSH
AECPX
AEKER
AENEX
AFKWA
AFTJW
AGHFR
AGUBO
AGYEJ
AHHHB
AHJVU
AHZHX
AIALX
AIEXJ
AIGVJ
AIKHN
AITUG
AJBFU
AJOXV
ALMA_UNASSIGNED_HOLDINGS
AMFUW
AMRAJ
AOUOD
APLSM
ARUGR
AXJTR
BJAXD
BKOJK
BLXMC
CS3
DU5
EBS
EFJIC
EFLBG
EJD
EO8
EO9
EP2
EP3
FDB
FIRID
FNPLU
FYGXN
G-Q
GBLVA
GBOLZ
HAMUX
IHE
J1W
JJJVA
K-O
KOM
LG9
LY1
M41
MHUIS
MO0
N9A
O-L
O9-
OAUVE
OZT
P-8
P-9
P2P
PC.
Q38
RIG
ROL
RPZ
SDF
SDG
SDP
SDS
SES
SPC
SPCBC
SSB
SSD
SST
SSV
SSW
SSZ
T5K
TN5
WH7
ZMT
~02
~G-
1OL
29H
9DU
AAAKG
AAQXK
AATTM
AAXKI
AAYWO
AAYXX
ABEFU
ABWVN
ABXDB
ACLOT
ACNNM
ACRPL
ACVFH
ADCNI
ADJOM
ADMUD
ADNMO
AEIPS
AEUPX
AFJKZ
AFPUW
AGQPQ
AI.
AIGII
AIIUN
AKBMS
AKRWK
AKYEP
ANKPU
APXCP
ASPBG
AVWKF
AZFZN
CITATION
EFKBS
F0J
FEDTE
FGOYB
HLZ
HVGLF
HZ~
R2-
SBC
SEW
VH1
WUQ
XPP
~HD
ID FETCH-LOGICAL-c297t-97323323c55ad8bc853bae4418cabd478d28c8a38621c12d0c2de095f74719d83
ISICitedReferencesCount 15
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000382310300006&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 0165-0114
IngestDate Sat Nov 29 02:04:18 EST 2025
Tue Nov 18 22:02:25 EST 2025
Fri Feb 23 02:36:04 EST 2024
IsPeerReviewed true
IsScholarly true
Keywords Nerode automaton
Determinization
Crisp-deterministic fuzzy automaton
State reduction
Fuzzy automaton
Complete residuated lattice
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-c297t-97323323c55ad8bc853bae4418cabd478d28c8a38621c12d0c2de095f74719d83
PageCount 24
ParticipantIDs crossref_citationtrail_10_1016_j_fss_2015_11_019
crossref_primary_10_1016_j_fss_2015_11_019
elsevier_sciencedirect_doi_10_1016_j_fss_2015_11_019
PublicationCentury 2000
PublicationDate 2016-10-15
PublicationDateYYYYMMDD 2016-10-15
PublicationDate_xml – month: 10
  year: 2016
  text: 2016-10-15
  day: 15
PublicationDecade 2010
PublicationTitle Fuzzy sets and systems
PublicationYear 2016
Publisher Elsevier B.V
Publisher_xml – name: Elsevier B.V
References Doostfatemeh, Kremer (br0220) 2005; 38
Ignjatović, Ćirić (br0240) 2010; 180
Jančić (br0320) 2014; 249
Peeva, Kyosev (br0500) 2004; vol. 22
Cao, Ying (br0070) 2006; 14
Qiu (br0540) 2006; 157
Micić, Jančić, Ignjatović, Ćirić (br0460) 2015; 23
Ćirić, Ignjatović, Jančić, Damljanović (br0190) 2012; 208
Xing, Zhang, Huang (br0690) 2012; 456
Câmpeanu, Sântean, Yu (br0090) 2005; 330
Chatterjee, Doyen, Henzinger, Raskin (br0130) 2007; 3
Peeva, Zahariev (br0510) 2008; 178
Steimann, Adlassnig (br0620) 1994; 61
Lin, Ying (br0400) 2002; 32
Qiu, Liu (br0550) 2009; 17
Liu, Qiu (br0420) 2008; 3
Chatterjee, Doyen, Henzinger (br0120) 2010; vol. 6281
Ćirić, Ignjatović, Bašić, Jančić (br0170) 2014; 261
Sabbadin (br0580) 1999
Blanco, Delgado, Pegalajar (br0050) 2001; 27
Liu, Li (br0440) 2008; 178
Deng, Qiu (br0210) 2015; 23
Ćirić, Droste, Ignjatović, Vogler (br0160) 2010; 180
Ignjatović, Ćirić, Bogdanović (br0250) 2008; 178
Ignjatović, Ćirić, Bogdanović (br0260) 2009; 160
Cao, Ying (br0060) 2005; 35
van Glabbeek, Ploeger (br0630) 2008; vol. 5148
Reyneri (br0560) 1997; vol. 1240
Ilie, Yu (br0280) 2002; vol. 2420
Lei, Li (br0360) 2007; 177
Ćirić, Stamenković, Ignjatović, Petković (br0200) 2010; 76
Chen, Xing (br0140) 2015; 269
Xing, Qiu, Liu (br0670) 2009; 160
Cheng, Mo (br0150) 2004; 141
Chatterjee, Chmelík (br0110) 2015; 221
Jančić, Ignjatović, Ćirić (br0330) 2011; 181
Jančić, Ćirić (br0340) 2014; 249
Cao, Ying, Chen (br0080) 2007; 37
Rigatos (br0570) 2009; 179
Wu, Wang, Huang, Li (br0660) 2006; vol. 4223
Liu, Qiu (br0430) 2009; 17
Basak, Gupta (br0010) 2002; 125
Wu, Qiu (br0650) 2010; 161
Li, Pedrycz (br0390) 2005; 156
Ignjatović, Ćirić, Bogdanović, Petković (br0270) 2010; 161
Xing, Qiu, Liu, Fan (br0680) 2007; 158
Yu (br0700) 1997
Bělohlávek (br0020) 2002
Champarnaud, Coulon (br0100) 2004; 327
Malik, Mordeson, Sen (br0450) 1999; 113
van Glabbeek, Ploeger (br0640) 2008
Drougard, Teichteil-Königsbuch, Farges, Dubois (br0230) 2013
Ćirić, Ignjatović, Damljanović, Bašić (br0180) 2012; 186
Mordeson, Malik (br0470) 2002
Bělohlávek (br0030) 2002; 143
Ilie, Solis-Oba, Yu (br0310) 2005; vol. 3537
Omlin, Thornber, Giles (br0480) 1998; 6
Petković (br0520) 2006; 157
Bělohlávek, Vychodil (br0040) 2005
Jiang, Ravikumar (br0350) 1993; 22
Snášel, Keprt, Abraham, Hassanien (br0590) 2009; vol. 59
Qiu (br0530) 2001; 44
Stamenković, Ćirić, Ignjatović (br0600) 2014; 275
Ilie, Navarro, Yu (br0300) 2004; vol. 3113
Li, Qiu (br0370) 2015; 23
Ilie, Yu (br0290) 2003; 306
Lin, Ying, MacArthur, Cohn, Barth-Jones, Crane (br0410) 2007; 177
Peeva (br0490) 2004; 141
Stamenković, Ćirić, Ignjatović (br0610) 2015; 30
Stamenković (10.1016/j.fss.2015.11.019_br0600) 2014; 275
Chatterjee (10.1016/j.fss.2015.11.019_br0130) 2007; 3
Jančić (10.1016/j.fss.2015.11.019_br0330) 2011; 181
Mordeson (10.1016/j.fss.2015.11.019_br0470) 2002
Bělohlávek (10.1016/j.fss.2015.11.019_br0030) 2002; 143
Chatterjee (10.1016/j.fss.2015.11.019_br0120) 2010; vol. 6281
Jančić (10.1016/j.fss.2015.11.019_br0340) 2014; 249
Qiu (10.1016/j.fss.2015.11.019_br0530) 2001; 44
Qiu (10.1016/j.fss.2015.11.019_br0550) 2009; 17
Jančić (10.1016/j.fss.2015.11.019_br0320) 2014; 249
Drougard (10.1016/j.fss.2015.11.019_br0230) 2013
Ignjatović (10.1016/j.fss.2015.11.019_br0240) 2010; 180
Ćirić (10.1016/j.fss.2015.11.019_br0190) 2012; 208
Sabbadin (10.1016/j.fss.2015.11.019_br0580) 1999
Xing (10.1016/j.fss.2015.11.019_br0690) 2012; 456
Wu (10.1016/j.fss.2015.11.019_br0660) 2006; vol. 4223
Yu (10.1016/j.fss.2015.11.019_br0700) 1997
Stamenković (10.1016/j.fss.2015.11.019_br0610) 2015; 30
Lin (10.1016/j.fss.2015.11.019_br0410) 2007; 177
Peeva (10.1016/j.fss.2015.11.019_br0500) 2004; vol. 22
Liu (10.1016/j.fss.2015.11.019_br0440) 2008; 178
Xing (10.1016/j.fss.2015.11.019_br0680) 2007; 158
Omlin (10.1016/j.fss.2015.11.019_br0480) 1998; 6
Ćirić (10.1016/j.fss.2015.11.019_br0170) 2014; 261
Cao (10.1016/j.fss.2015.11.019_br0060) 2005; 35
Ilie (10.1016/j.fss.2015.11.019_br0290) 2003; 306
Ćirić (10.1016/j.fss.2015.11.019_br0160) 2010; 180
Ignjatović (10.1016/j.fss.2015.11.019_br0250) 2008; 178
Liu (10.1016/j.fss.2015.11.019_br0430) 2009; 17
Snášel (10.1016/j.fss.2015.11.019_br0590) 2009; vol. 59
Qiu (10.1016/j.fss.2015.11.019_br0540) 2006; 157
van Glabbeek (10.1016/j.fss.2015.11.019_br0630) 2008; vol. 5148
Chatterjee (10.1016/j.fss.2015.11.019_br0110) 2015; 221
Deng (10.1016/j.fss.2015.11.019_br0210) 2015; 23
Steimann (10.1016/j.fss.2015.11.019_br0620) 1994; 61
Rigatos (10.1016/j.fss.2015.11.019_br0570) 2009; 179
Wu (10.1016/j.fss.2015.11.019_br0650) 2010; 161
Li (10.1016/j.fss.2015.11.019_br0370) 2015; 23
Petković (10.1016/j.fss.2015.11.019_br0520) 2006; 157
Ilie (10.1016/j.fss.2015.11.019_br0300) 2004; vol. 3113
Basak (10.1016/j.fss.2015.11.019_br0010) 2002; 125
Lin (10.1016/j.fss.2015.11.019_br0400) 2002; 32
Cao (10.1016/j.fss.2015.11.019_br0070) 2006; 14
Liu (10.1016/j.fss.2015.11.019_br0420) 2008; 3
Jiang (10.1016/j.fss.2015.11.019_br0350) 1993; 22
Xing (10.1016/j.fss.2015.11.019_br0670) 2009; 160
Câmpeanu (10.1016/j.fss.2015.11.019_br0090) 2005; 330
Ignjatović (10.1016/j.fss.2015.11.019_br0270) 2010; 161
Li (10.1016/j.fss.2015.11.019_br0390) 2005; 156
Lei (10.1016/j.fss.2015.11.019_br0360) 2007; 177
Doostfatemeh (10.1016/j.fss.2015.11.019_br0220) 2005; 38
Ilie (10.1016/j.fss.2015.11.019_br0280) 2002; vol. 2420
Reyneri (10.1016/j.fss.2015.11.019_br0560) 1997; vol. 1240
van Glabbeek (10.1016/j.fss.2015.11.019_br0640) 2008
Cheng (10.1016/j.fss.2015.11.019_br0150) 2004; 141
Ćirić (10.1016/j.fss.2015.11.019_br0200) 2010; 76
Cao (10.1016/j.fss.2015.11.019_br0080) 2007; 37
Bělohlávek (10.1016/j.fss.2015.11.019_br0020) 2002
Bělohlávek (10.1016/j.fss.2015.11.019_br0040) 2005
Ignjatović (10.1016/j.fss.2015.11.019_br0260) 2009; 160
Peeva (10.1016/j.fss.2015.11.019_br0490) 2004; 141
Peeva (10.1016/j.fss.2015.11.019_br0510) 2008; 178
Ilie (10.1016/j.fss.2015.11.019_br0310) 2005; vol. 3537
Malik (10.1016/j.fss.2015.11.019_br0450) 1999; 113
Champarnaud (10.1016/j.fss.2015.11.019_br0100) 2004; 327
Ćirić (10.1016/j.fss.2015.11.019_br0180) 2012; 186
Chen (10.1016/j.fss.2015.11.019_br0140) 2015; 269
Blanco (10.1016/j.fss.2015.11.019_br0050) 2001; 27
Micić (10.1016/j.fss.2015.11.019_br0460) 2015; 23
References_xml – volume: 161
  start-page: 1635
  year: 2010
  end-page: 1656
  ident: br0650
  article-title: Automata theory based on complete residuated lattice-valued logic: reduction and minimization
  publication-title: Fuzzy Sets Syst.
– volume: vol. 2420
  start-page: 328
  year: 2002
  end-page: 340
  ident: br0280
  article-title: Algorithms for computing small NFAs
  publication-title: MFCS 2002
– volume: 14
  start-page: 202
  year: 2006
  end-page: 216
  ident: br0070
  article-title: Observability and decentralized control of fuzzy discrete-event systems
  publication-title: IEEE Trans. Fuzzy Syst.
– start-page: 567
  year: 1999
  end-page: 574
  ident: br0580
  article-title: A possibilistic model for qualitative sequential decision problems under uncertainty in partially observable environments
  publication-title: Proceedings of the Fifteenth Conference on Uncertainty in Artificial Intelligence
– volume: 456
  start-page: 100
  year: 2012
  end-page: 111
  ident: br0690
  article-title: Analysis and control of fuzzy discrete event systems using bisimulation equivalence
  publication-title: Theor. Comput. Sci.
– volume: 275
  start-page: 168
  year: 2014
  end-page: 198
  ident: br0600
  article-title: Reduction of fuzzy automata by means of fuzzy quasi-orders
  publication-title: Inf. Sci.
– volume: vol. 1240
  start-page: 273
  year: 1997
  end-page: 283
  ident: br0560
  article-title: An introduction to fuzzy state automata
  publication-title: Biological and Artificial Computation: From Neuroscience to Technology
– volume: 32
  start-page: 408
  year: 2002
  end-page: 415
  ident: br0400
  article-title: Modeling and control of fuzzy discrete event systems
  publication-title: IEEE Trans. Syst. Man Cybern., Part B, Cybern.
– start-page: 41
  year: 1997
  end-page: 110
  ident: br0700
  article-title: Regular languages
  publication-title: Handbook of Formal Languages, vol. 1
– volume: 157
  start-page: 2128
  year: 2006
  end-page: 2138
  ident: br0540
  article-title: Pumping lemma in automata theory based on complete residuated lattice-valued logic: a note
  publication-title: Fuzzy Sets Syst.
– volume: 125
  start-page: 223
  year: 2002
  end-page: 229
  ident: br0010
  article-title: On quotient machines of a fuzzy automaton and the minimal machine
  publication-title: Fuzzy Sets Syst.
– volume: 330
  start-page: 23
  year: 2005
  end-page: 34
  ident: br0090
  article-title: Mergible states in large NFA
  publication-title: Theor. Comput. Sci.
– volume: 23
  start-page: 2144
  year: 2015
  end-page: 2153
  ident: br0460
  article-title: Determinization of fuzzy automata by means of the degrees of language inclusion
  publication-title: IEEE Trans. Fuzzy Syst.
– volume: 180
  start-page: 3497
  year: 2010
  end-page: 3520
  ident: br0160
  article-title: Determinization of weighted finite automata over strong bimonoids
  publication-title: Inf. Sci.
– volume: 208
  start-page: 22
  year: 2012
  end-page: 42
  ident: br0190
  article-title: Computation of the greatest simulations and bisimulations between fuzzy automata
  publication-title: Fuzzy Sets Syst.
– volume: 178
  start-page: 4152
  year: 2008
  end-page: 4165
  ident: br0510
  article-title: Computing behavior of finite fuzzy machines – algorithm and its application to reduction and minimization
  publication-title: Inf. Sci.
– volume: 3
  start-page: 1
  year: 2007
  end-page: 23
  ident: br0130
  article-title: Algorithms for omega-regular games with imperfect information
  publication-title: Log. Methods Comput. Sci.
– volume: 6
  start-page: 76
  year: 1998
  end-page: 89
  ident: br0480
  article-title: Fuzzy finite state automata can be deterministically encoded into recurrent neural networks
  publication-title: IEEE Trans. Fuzzy Syst.
– volume: 157
  start-page: 444
  year: 2006
  end-page: 458
  ident: br0520
  article-title: Congruences and homomorphisms of fuzzy automata
  publication-title: Fuzzy Sets Syst.
– volume: 269
  start-page: 47
  year: 2015
  end-page: 64
  ident: br0140
  article-title: Nonblocking check in fuzzy discrete event systems based on observation equivalence
  publication-title: Fuzzy Sets Syst.
– volume: vol. 6281
  start-page: 258
  year: 2010
  end-page: 269
  ident: br0120
  article-title: Qualitative analysis of partially-observable Markov decision processes
  publication-title: MFCS 2010
– volume: 306
  start-page: 373
  year: 2003
  end-page: 390
  ident: br0290
  article-title: Reducing NFAs by invariant equivalences
  publication-title: Theor. Comput. Sci.
– volume: vol. 5148
  start-page: 161
  year: 2008
  end-page: 170
  ident: br0630
  article-title: Five determinization algorithms
  publication-title: CIAA 2008
– volume: vol. 3537
  start-page: 310
  year: 2005
  end-page: 321
  ident: br0310
  article-title: Reducing the size of NFAs by using equivalences and preorders
  publication-title: CPM 2005
– volume: 180
  start-page: 1104
  year: 2010
  end-page: 1120
  ident: br0240
  article-title: Formal power series and regular operations on fuzzy languages
  publication-title: Inf. Sci.
– volume: 61
  start-page: 37
  year: 1994
  end-page: 42
  ident: br0620
  article-title: Clinical monitoring with fuzzy automata
  publication-title: Fuzzy Sets Syst.
– volume: 113
  start-page: 323
  year: 1999
  end-page: 330
  ident: br0450
  article-title: Minimization of fuzzy finite automata
  publication-title: Inf. Sci.
– volume: 38
  start-page: 175
  year: 2005
  end-page: 214
  ident: br0220
  article-title: New directions in fuzzy automata
  publication-title: Int. J. Approx. Reason.
– volume: 23
  start-page: 434
  year: 2015
  end-page: 443
  ident: br0370
  article-title: On the state minimization of fuzzy automata
  publication-title: IEEE Trans. Fuzzy Syst.
– volume: 141
  start-page: 415
  year: 2004
  end-page: 437
  ident: br0490
  article-title: Finite L-fuzzy machines
  publication-title: Fuzzy Sets Syst.
– volume: 17
  start-page: 578
  year: 2009
  end-page: 589
  ident: br0550
  article-title: Fuzzy discrete-event systems under fuzzy observability and a test algorithm
  publication-title: IEEE Trans. Fuzzy Syst.
– volume: 35
  start-page: 366
  year: 2005
  end-page: 371
  ident: br0060
  article-title: Supervisory control of fuzzy discrete event systems
  publication-title: IEEE Trans. Syst. Man Cybern., Part B, Cybern.
– volume: 141
  start-page: 439
  year: 2004
  end-page: 448
  ident: br0150
  article-title: Minimization algorithm of fuzzy finite automata
  publication-title: Fuzzy Sets Syst.
– volume: 161
  start-page: 1288
  year: 2010
  end-page: 1324
  ident: br0270
  article-title: Myhill–Nerode type theory for fuzzy languages and automata
  publication-title: Fuzzy Sets Syst.
– year: 2002
  ident: br0020
  article-title: Fuzzy Relational Systems: Foundations and Principles
– volume: 156
  start-page: 68
  year: 2005
  end-page: 92
  ident: br0390
  article-title: Fuzzy finite automata and fuzzy regular expressions with membership values in lattice ordered monoids
  publication-title: Fuzzy Sets Syst.
– volume: vol. 4223
  start-page: 1
  year: 2006
  end-page: 10
  ident: br0660
  article-title: Theory research on a new type fuzzy automaton
  publication-title: FSKD 2006
– volume: 178
  start-page: 164
  year: 2008
  end-page: 180
  ident: br0250
  article-title: Determinization of fuzzy automata with membership values in complete residuated lattices
  publication-title: Inf. Sci.
– volume: 17
  start-page: 372
  year: 2009
  end-page: 384
  ident: br0430
  article-title: Diagnosability of fuzzy discrete event systems: a fuzzy approach
  publication-title: IEEE Trans. Fuzzy Syst.
– volume: 160
  start-page: 1125
  year: 2009
  end-page: 1140
  ident: br0670
  article-title: Automata theory based on complete residuated lattice-valued logic: pushdown automata
  publication-title: Fuzzy Sets Syst.
– volume: 143
  start-page: 205
  year: 2002
  end-page: 209
  ident: br0030
  article-title: Determinism and fuzzy automata
  publication-title: Inf. Sci.
– volume: 177
  start-page: 3749
  year: 2007
  end-page: 3763
  ident: br0410
  article-title: Decision making in fuzzy discrete event systems
  publication-title: Inf. Sci.
– year: 2008
  ident: br0640
  article-title: Five determinization algorithms
– volume: 160
  start-page: 2345
  year: 2009
  end-page: 2365
  ident: br0260
  article-title: Fuzzy homomorphisms of algebras
  publication-title: Fuzzy Sets Syst.
– volume: 23
  start-page: 178
  year: 2015
  end-page: 191
  ident: br0210
  article-title: Supervisory control of fuzzy discrete-event systems for simulation equivalence
  publication-title: IEEE Trans. Fuzzy Syst.
– volume: vol. 22
  year: 2004
  ident: br0500
  article-title: Fuzzy Relational Calculus: Theory, Applications, and Software (with CD-ROM)
  publication-title: Advances in Fuzzy Systems – Applications and Theory
– volume: 181
  start-page: 1358
  year: 2011
  end-page: 1368
  ident: br0330
  article-title: An improved algorithm for determinization of weighted and fuzzy automata
  publication-title: Inf. Sci.
– volume: 249
  start-page: 73
  year: 2014
  end-page: 82
  ident: br0340
  article-title: Brzozowski type determinization for fuzzy automata
  publication-title: Fuzzy Sets Syst.
– volume: 178
  start-page: 4142
  year: 2008
  end-page: 4151
  ident: br0440
  article-title: The relationship of controllability between classical and fuzzy discrete-event systems
  publication-title: Inf. Sci.
– volume: vol. 59
  start-page: 281
  year: 2009
  end-page: 290
  ident: br0590
  article-title: Approximate string matching by fuzzy automata
  publication-title: Man–Machine Interactions
– year: 2005
  ident: br0040
  article-title: Fuzzy Equational Logic, Studies in Fuzziness and Soft Computing
– volume: 30
  start-page: 235
  year: 2015
  end-page: 253
  ident: br0610
  article-title: Different models of automata with fuzzy states
  publication-title: Facta Univ., Ser. Math. Inform.
– volume: 186
  start-page: 100
  year: 2012
  end-page: 139
  ident: br0180
  article-title: Bisimulations for fuzzy automata
  publication-title: Fuzzy Sets Syst.
– volume: 22
  start-page: 1117
  year: 1993
  end-page: 1141
  ident: br0350
  article-title: Minimal NFA problems are hard
  publication-title: SIAM J. Comput.
– volume: 221
  start-page: 46
  year: 2015
  end-page: 72
  ident: br0110
  article-title: POMDPs under probabilistic semantics
  publication-title: Artif. Intell.
– volume: 44
  start-page: 419
  year: 2001
  end-page: 429
  ident: br0530
  article-title: Automata theory based on completed residuated lattice-valued logic (I)
  publication-title: Sci. China Ser. E
– volume: 37
  start-page: 410
  year: 2007
  end-page: 424
  ident: br0080
  article-title: State-based control of fuzzy discrete-event systems
  publication-title: IEEE Trans. Syst. Man Cybern., Part B, Cybern.
– volume: 179
  start-page: 1893
  year: 2009
  end-page: 1902
  ident: br0570
  article-title: Fault detection and isolation based on fuzzy automata
  publication-title: Inf. Sci.
– volume: vol. 3113
  start-page: 112
  year: 2004
  end-page: 124
  ident: br0300
  article-title: On NFA reductions
  publication-title: Theory Is Forever
– volume: 158
  start-page: 1407
  year: 2007
  end-page: 1422
  ident: br0680
  article-title: Equivalence in automata theory based on complete residuated lattice-valued logic
  publication-title: Fuzzy Sets Syst.
– start-page: 192
  year: 2013
  end-page: 201
  ident: br0230
  article-title: Qualitative possibilistic mixed-observable MDPs
  publication-title: Proceedings of the 29th Conference on Uncertainty in Artificial Intelligence
– volume: 76
  start-page: 609
  year: 2010
  end-page: 633
  ident: br0200
  article-title: Fuzzy relation equations and reduction of fuzzy automata
  publication-title: J. Comput. Syst. Sci.
– volume: 249
  start-page: 49
  year: 2014
  end-page: 72
  ident: br0320
  article-title: Weak bisimulations for fuzzy automata
  publication-title: Fuzzy Sets Syst.
– year: 2002
  ident: br0470
  article-title: Fuzzy Automata and Languages: Theory and Applications
– volume: 3
  start-page: 234
  year: 2008
  end-page: 243
  ident: br0420
  article-title: Decentralized supervisory control of fuzzy discrete event systems
  publication-title: Eur. J. Control
– volume: 27
  start-page: 1
  year: 2001
  end-page: 26
  ident: br0050
  article-title: Fuzzy automaton induction using neural network
  publication-title: Int. J. Approx. Reason.
– volume: 327
  start-page: 241
  year: 2004
  end-page: 253
  ident: br0100
  article-title: NFA reduction algorithms by means of regular inequalities
  publication-title: Theor. Comput. Sci.
– volume: 261
  start-page: 185
  year: 2014
  end-page: 218
  ident: br0170
  article-title: Nondeterministic automata: equivalence, bisimulations, and uniform relations
  publication-title: Inf. Sci.
– volume: 177
  start-page: 1413
  year: 2007
  end-page: 1421
  ident: br0360
  article-title: Minimization of states in automata theory based on finite lattice-ordered monoids
  publication-title: Inf. Sci.
– volume: 14
  start-page: 202
  year: 2006
  ident: 10.1016/j.fss.2015.11.019_br0070
  article-title: Observability and decentralized control of fuzzy discrete-event systems
  publication-title: IEEE Trans. Fuzzy Syst.
  doi: 10.1109/TFUZZ.2005.864085
– volume: 306
  start-page: 373
  year: 2003
  ident: 10.1016/j.fss.2015.11.019_br0290
  article-title: Reducing NFAs by invariant equivalences
  publication-title: Theor. Comput. Sci.
  doi: 10.1016/S0304-3975(03)00311-6
– volume: 178
  start-page: 4152
  year: 2008
  ident: 10.1016/j.fss.2015.11.019_br0510
  article-title: Computing behavior of finite fuzzy machines – algorithm and its application to reduction and minimization
  publication-title: Inf. Sci.
  doi: 10.1016/j.ins.2008.07.009
– volume: 32
  start-page: 408
  year: 2002
  ident: 10.1016/j.fss.2015.11.019_br0400
  article-title: Modeling and control of fuzzy discrete event systems
  publication-title: IEEE Trans. Syst. Man Cybern., Part B, Cybern.
  doi: 10.1109/TSMCB.2002.1018761
– volume: 177
  start-page: 3749
  year: 2007
  ident: 10.1016/j.fss.2015.11.019_br0410
  article-title: Decision making in fuzzy discrete event systems
  publication-title: Inf. Sci.
  doi: 10.1016/j.ins.2007.03.011
– volume: vol. 3113
  start-page: 112
  year: 2004
  ident: 10.1016/j.fss.2015.11.019_br0300
  article-title: On NFA reductions
– year: 2005
  ident: 10.1016/j.fss.2015.11.019_br0040
– volume: 161
  start-page: 1635
  year: 2010
  ident: 10.1016/j.fss.2015.11.019_br0650
  article-title: Automata theory based on complete residuated lattice-valued logic: reduction and minimization
  publication-title: Fuzzy Sets Syst.
  doi: 10.1016/j.fss.2009.12.011
– volume: 22
  start-page: 1117
  issue: 6
  year: 1993
  ident: 10.1016/j.fss.2015.11.019_br0350
  article-title: Minimal NFA problems are hard
  publication-title: SIAM J. Comput.
  doi: 10.1137/0222067
– volume: vol. 5148
  start-page: 161
  year: 2008
  ident: 10.1016/j.fss.2015.11.019_br0630
  article-title: Five determinization algorithms
– volume: 249
  start-page: 73
  year: 2014
  ident: 10.1016/j.fss.2015.11.019_br0340
  article-title: Brzozowski type determinization for fuzzy automata
  publication-title: Fuzzy Sets Syst.
  doi: 10.1016/j.fss.2014.02.021
– volume: 157
  start-page: 444
  year: 2006
  ident: 10.1016/j.fss.2015.11.019_br0520
  article-title: Congruences and homomorphisms of fuzzy automata
  publication-title: Fuzzy Sets Syst.
  doi: 10.1016/j.fss.2005.06.017
– volume: 23
  start-page: 434
  issue: 2
  year: 2015
  ident: 10.1016/j.fss.2015.11.019_br0370
  article-title: On the state minimization of fuzzy automata
  publication-title: IEEE Trans. Fuzzy Syst.
  doi: 10.1109/TFUZZ.2014.2315620
– volume: 160
  start-page: 1125
  year: 2009
  ident: 10.1016/j.fss.2015.11.019_br0670
  article-title: Automata theory based on complete residuated lattice-valued logic: pushdown automata
  publication-title: Fuzzy Sets Syst.
  doi: 10.1016/j.fss.2008.07.010
– volume: 27
  start-page: 1
  year: 2001
  ident: 10.1016/j.fss.2015.11.019_br0050
  article-title: Fuzzy automaton induction using neural network
  publication-title: Int. J. Approx. Reason.
  doi: 10.1016/S0888-613X(01)00028-7
– volume: 125
  start-page: 223
  year: 2002
  ident: 10.1016/j.fss.2015.11.019_br0010
  article-title: On quotient machines of a fuzzy automaton and the minimal machine
  publication-title: Fuzzy Sets Syst.
  doi: 10.1016/S0165-0114(01)00064-1
– volume: 178
  start-page: 4142
  year: 2008
  ident: 10.1016/j.fss.2015.11.019_br0440
  article-title: The relationship of controllability between classical and fuzzy discrete-event systems
  publication-title: Inf. Sci.
  doi: 10.1016/j.ins.2008.06.016
– volume: 158
  start-page: 1407
  year: 2007
  ident: 10.1016/j.fss.2015.11.019_br0680
  article-title: Equivalence in automata theory based on complete residuated lattice-valued logic
  publication-title: Fuzzy Sets Syst.
  doi: 10.1016/j.fss.2007.01.008
– start-page: 567
  year: 1999
  ident: 10.1016/j.fss.2015.11.019_br0580
  article-title: A possibilistic model for qualitative sequential decision problems under uncertainty in partially observable environments
– volume: vol. 1240
  start-page: 273
  year: 1997
  ident: 10.1016/j.fss.2015.11.019_br0560
  article-title: An introduction to fuzzy state automata
– volume: 179
  start-page: 1893
  year: 2009
  ident: 10.1016/j.fss.2015.11.019_br0570
  article-title: Fault detection and isolation based on fuzzy automata
  publication-title: Inf. Sci.
  doi: 10.1016/j.ins.2009.01.015
– volume: 23
  start-page: 2144
  issue: 6
  year: 2015
  ident: 10.1016/j.fss.2015.11.019_br0460
  article-title: Determinization of fuzzy automata by means of the degrees of language inclusion
  publication-title: IEEE Trans. Fuzzy Syst.
  doi: 10.1109/TFUZZ.2015.2404348
– volume: 6
  start-page: 76
  year: 1998
  ident: 10.1016/j.fss.2015.11.019_br0480
  article-title: Fuzzy finite state automata can be deterministically encoded into recurrent neural networks
  publication-title: IEEE Trans. Fuzzy Syst.
  doi: 10.1109/91.660809
– volume: 269
  start-page: 47
  year: 2015
  ident: 10.1016/j.fss.2015.11.019_br0140
  article-title: Nonblocking check in fuzzy discrete event systems based on observation equivalence
  publication-title: Fuzzy Sets Syst.
  doi: 10.1016/j.fss.2014.11.013
– volume: 327
  start-page: 241
  year: 2004
  ident: 10.1016/j.fss.2015.11.019_br0100
  article-title: NFA reduction algorithms by means of regular inequalities
  publication-title: Theor. Comput. Sci.
  doi: 10.1016/j.tcs.2004.02.048
– volume: 23
  start-page: 178
  issue: 1
  year: 2015
  ident: 10.1016/j.fss.2015.11.019_br0210
  article-title: Supervisory control of fuzzy discrete-event systems for simulation equivalence
  publication-title: IEEE Trans. Fuzzy Syst.
  doi: 10.1109/TFUZZ.2014.2310466
– volume: 38
  start-page: 175
  year: 2005
  ident: 10.1016/j.fss.2015.11.019_br0220
  article-title: New directions in fuzzy automata
  publication-title: Int. J. Approx. Reason.
  doi: 10.1016/j.ijar.2004.08.001
– volume: 17
  start-page: 578
  issue: 3
  year: 2009
  ident: 10.1016/j.fss.2015.11.019_br0550
  article-title: Fuzzy discrete-event systems under fuzzy observability and a test algorithm
  publication-title: IEEE Trans. Fuzzy Syst.
  doi: 10.1109/TFUZZ.2008.924212
– volume: vol. 22
  year: 2004
  ident: 10.1016/j.fss.2015.11.019_br0500
  article-title: Fuzzy Relational Calculus: Theory, Applications, and Software (with CD-ROM)
– volume: 141
  start-page: 439
  year: 2004
  ident: 10.1016/j.fss.2015.11.019_br0150
  article-title: Minimization algorithm of fuzzy finite automata
  publication-title: Fuzzy Sets Syst.
  doi: 10.1016/S0165-0114(02)00607-3
– volume: 143
  start-page: 205
  year: 2002
  ident: 10.1016/j.fss.2015.11.019_br0030
  article-title: Determinism and fuzzy automata
  publication-title: Inf. Sci.
  doi: 10.1016/S0020-0255(02)00192-5
– volume: 37
  start-page: 410
  year: 2007
  ident: 10.1016/j.fss.2015.11.019_br0080
  article-title: State-based control of fuzzy discrete-event systems
  publication-title: IEEE Trans. Syst. Man Cybern., Part B, Cybern.
  doi: 10.1109/TSMCB.2006.883429
– volume: vol. 6281
  start-page: 258
  year: 2010
  ident: 10.1016/j.fss.2015.11.019_br0120
  article-title: Qualitative analysis of partially-observable Markov decision processes
– volume: 157
  start-page: 2128
  year: 2006
  ident: 10.1016/j.fss.2015.11.019_br0540
  article-title: Pumping lemma in automata theory based on complete residuated lattice-valued logic: a note
  publication-title: Fuzzy Sets Syst.
  doi: 10.1016/j.fss.2006.03.014
– year: 2008
  ident: 10.1016/j.fss.2015.11.019_br0640
– volume: vol. 4223
  start-page: 1
  year: 2006
  ident: 10.1016/j.fss.2015.11.019_br0660
  article-title: Theory research on a new type fuzzy automaton
– start-page: 41
  year: 1997
  ident: 10.1016/j.fss.2015.11.019_br0700
  article-title: Regular languages
– volume: 76
  start-page: 609
  year: 2010
  ident: 10.1016/j.fss.2015.11.019_br0200
  article-title: Fuzzy relation equations and reduction of fuzzy automata
  publication-title: J. Comput. Syst. Sci.
  doi: 10.1016/j.jcss.2009.10.015
– volume: 180
  start-page: 3497
  year: 2010
  ident: 10.1016/j.fss.2015.11.019_br0160
  article-title: Determinization of weighted finite automata over strong bimonoids
  publication-title: Inf. Sci.
  doi: 10.1016/j.ins.2010.05.020
– volume: 181
  start-page: 1358
  year: 2011
  ident: 10.1016/j.fss.2015.11.019_br0330
  article-title: An improved algorithm for determinization of weighted and fuzzy automata
  publication-title: Inf. Sci.
  doi: 10.1016/j.ins.2010.12.008
– volume: vol. 2420
  start-page: 328
  year: 2002
  ident: 10.1016/j.fss.2015.11.019_br0280
  article-title: Algorithms for computing small NFAs
– volume: 61
  start-page: 37
  year: 1994
  ident: 10.1016/j.fss.2015.11.019_br0620
  article-title: Clinical monitoring with fuzzy automata
  publication-title: Fuzzy Sets Syst.
  doi: 10.1016/0165-0114(94)90282-8
– start-page: 192
  year: 2013
  ident: 10.1016/j.fss.2015.11.019_br0230
  article-title: Qualitative possibilistic mixed-observable MDPs
– volume: 35
  start-page: 366
  year: 2005
  ident: 10.1016/j.fss.2015.11.019_br0060
  article-title: Supervisory control of fuzzy discrete event systems
  publication-title: IEEE Trans. Syst. Man Cybern., Part B, Cybern.
  doi: 10.1109/TSMCB.2004.842252
– volume: 30
  start-page: 235
  issue: 3
  year: 2015
  ident: 10.1016/j.fss.2015.11.019_br0610
  article-title: Different models of automata with fuzzy states
  publication-title: Facta Univ., Ser. Math. Inform.
– volume: 330
  start-page: 23
  year: 2005
  ident: 10.1016/j.fss.2015.11.019_br0090
  article-title: Mergible states in large NFA
  publication-title: Theor. Comput. Sci.
  doi: 10.1016/j.tcs.2004.09.008
– volume: 156
  start-page: 68
  year: 2005
  ident: 10.1016/j.fss.2015.11.019_br0390
  article-title: Fuzzy finite automata and fuzzy regular expressions with membership values in lattice ordered monoids
  publication-title: Fuzzy Sets Syst.
  doi: 10.1016/j.fss.2005.04.004
– volume: 17
  start-page: 372
  issue: 2
  year: 2009
  ident: 10.1016/j.fss.2015.11.019_br0430
  article-title: Diagnosability of fuzzy discrete event systems: a fuzzy approach
  publication-title: IEEE Trans. Fuzzy Syst.
  doi: 10.1109/TFUZZ.2009.2013840
– year: 2002
  ident: 10.1016/j.fss.2015.11.019_br0470
– volume: 160
  start-page: 2345
  year: 2009
  ident: 10.1016/j.fss.2015.11.019_br0260
  article-title: Fuzzy homomorphisms of algebras
  publication-title: Fuzzy Sets Syst.
  doi: 10.1016/j.fss.2008.11.024
– volume: 44
  start-page: 419
  issue: 6
  year: 2001
  ident: 10.1016/j.fss.2015.11.019_br0530
  article-title: Automata theory based on completed residuated lattice-valued logic (I)
  publication-title: Sci. China Ser. E
– volume: 261
  start-page: 185
  year: 2014
  ident: 10.1016/j.fss.2015.11.019_br0170
  article-title: Nondeterministic automata: equivalence, bisimulations, and uniform relations
  publication-title: Inf. Sci.
  doi: 10.1016/j.ins.2013.07.029
– volume: 177
  start-page: 1413
  year: 2007
  ident: 10.1016/j.fss.2015.11.019_br0360
  article-title: Minimization of states in automata theory based on finite lattice-ordered monoids
  publication-title: Inf. Sci.
  doi: 10.1016/j.ins.2006.07.015
– volume: 141
  start-page: 415
  year: 2004
  ident: 10.1016/j.fss.2015.11.019_br0490
  article-title: Finite L-fuzzy machines
  publication-title: Fuzzy Sets Syst.
  doi: 10.1016/S0165-0114(02)00609-7
– volume: 186
  start-page: 100
  year: 2012
  ident: 10.1016/j.fss.2015.11.019_br0180
  article-title: Bisimulations for fuzzy automata
  publication-title: Fuzzy Sets Syst.
  doi: 10.1016/j.fss.2011.07.003
– volume: 275
  start-page: 168
  year: 2014
  ident: 10.1016/j.fss.2015.11.019_br0600
  article-title: Reduction of fuzzy automata by means of fuzzy quasi-orders
  publication-title: Inf. Sci.
  doi: 10.1016/j.ins.2014.02.028
– volume: 3
  start-page: 1
  issue: 3–4
  year: 2007
  ident: 10.1016/j.fss.2015.11.019_br0130
  article-title: Algorithms for omega-regular games with imperfect information
  publication-title: Log. Methods Comput. Sci.
– volume: vol. 3537
  start-page: 310
  year: 2005
  ident: 10.1016/j.fss.2015.11.019_br0310
  article-title: Reducing the size of NFAs by using equivalences and preorders
– volume: 249
  start-page: 49
  year: 2014
  ident: 10.1016/j.fss.2015.11.019_br0320
  article-title: Weak bisimulations for fuzzy automata
  publication-title: Fuzzy Sets Syst.
  doi: 10.1016/j.fss.2013.10.006
– year: 2002
  ident: 10.1016/j.fss.2015.11.019_br0020
– volume: 208
  start-page: 22
  year: 2012
  ident: 10.1016/j.fss.2015.11.019_br0190
  article-title: Computation of the greatest simulations and bisimulations between fuzzy automata
  publication-title: Fuzzy Sets Syst.
  doi: 10.1016/j.fss.2012.05.006
– volume: 180
  start-page: 1104
  year: 2010
  ident: 10.1016/j.fss.2015.11.019_br0240
  article-title: Formal power series and regular operations on fuzzy languages
  publication-title: Inf. Sci.
  doi: 10.1016/j.ins.2009.11.030
– volume: vol. 59
  start-page: 281
  year: 2009
  ident: 10.1016/j.fss.2015.11.019_br0590
  article-title: Approximate string matching by fuzzy automata
– volume: 178
  start-page: 164
  year: 2008
  ident: 10.1016/j.fss.2015.11.019_br0250
  article-title: Determinization of fuzzy automata with membership values in complete residuated lattices
  publication-title: Inf. Sci.
  doi: 10.1016/j.ins.2007.08.003
– volume: 221
  start-page: 46
  year: 2015
  ident: 10.1016/j.fss.2015.11.019_br0110
  article-title: POMDPs under probabilistic semantics
  publication-title: Artif. Intell.
  doi: 10.1016/j.artint.2014.12.009
– volume: 113
  start-page: 323
  year: 1999
  ident: 10.1016/j.fss.2015.11.019_br0450
  article-title: Minimization of fuzzy finite automata
  publication-title: Inf. Sci.
  doi: 10.1016/S0020-0255(98)10073-7
– volume: 3
  start-page: 234
  year: 2008
  ident: 10.1016/j.fss.2015.11.019_br0420
  article-title: Decentralized supervisory control of fuzzy discrete event systems
  publication-title: Eur. J. Control
  doi: 10.3166/ejc.14.234-243
– volume: 456
  start-page: 100
  year: 2012
  ident: 10.1016/j.fss.2015.11.019_br0690
  article-title: Analysis and control of fuzzy discrete event systems using bisimulation equivalence
  publication-title: Theor. Comput. Sci.
  doi: 10.1016/j.tcs.2012.05.037
– volume: 161
  start-page: 1288
  year: 2010
  ident: 10.1016/j.fss.2015.11.019_br0270
  article-title: Myhill–Nerode type theory for fuzzy languages and automata
  publication-title: Fuzzy Sets Syst.
  doi: 10.1016/j.fss.2009.06.007
SSID ssj0001160
Score 2.3000991
Snippet In this paper we provide further improvements of determinization methods for fuzzy finite automata. These methods perform better than all previous...
SourceID crossref
elsevier
SourceType Enrichment Source
Index Database
Publisher
StartPage 79
SubjectTerms Complete residuated lattice
Crisp-deterministic fuzzy automaton
Determinization
Fuzzy automaton
Nerode automaton
State reduction
Title Further improvements of determinization methods for fuzzy finite automata
URI https://dx.doi.org/10.1016/j.fss.2015.11.019
Volume 301
WOSCitedRecordID wos000382310300006&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVESC
  databaseName: Elsevier SD Freedom Collection Journals 2021
  customDbUrl:
  eissn: 1872-6801
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0001160
  issn: 0165-0114
  databaseCode: AIEXJ
  dateStart: 19950113
  isFulltext: true
  titleUrlDefault: https://www.sciencedirect.com
  providerName: Elsevier
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1bb9MwFLaqlQd4QFzFxkV-4IkqU3Nx4jxWYxOd6MTDQH2LfAtK1aVTkkZjv4KfvONLslAYYg9IVVrZjtvmfDn-7JzzGaH3ep4jRBh4PODci2jMPMpT4kWExVEcpJIbdf5vn5OzM7pcpl9Go59dLky7TsqSXl2ll__V1FAGxtaps_cwd98pFMBnMDocwexw_CfDn2wrTep0_mO1MWrgNlxDusAXl3jp9o42cgyTfHt9_WOSF5qATti22VzYlLXbHTxNg1o1VtK5Huicm0T90pDSj4V5S8wTD8BW2fv8RSEGdfN2UDX_Xq5g5t8O6k_1WNg3MOVxUQ0aLAoY3NesHa5Z-LF29jZrs1vGjHXIoE0f7fxw6FY1rCe1W8y4Mdk3Wdm_u3u78rA6zGutvO6TQy3I6lzwL9LaO0NeH4jYxbitMugi013AlCibah3ZcZCQFFz9eDY_Xp72o7vvm8zz_h90T8pNzODO7_gz1xnwl_Mn6LGbeOCZBcxTNFLlM_Ro0av21s_R3EEHD6GDNznegQ520MEAHWyggy10cAedF-jryfH50SfPbbXhiSBNGk9rNoXwEoQwSbkAEseZAqpMBeMySqgMqKAshPmvL_xATkUgFbDzXN_rqaThS7RXbkr1CmFOVBrKRE1VLCJgiJywUHASJwo6EcLfR9PuomTC6dDr7VDW2Z3G2Ecf-lMurQjL3xpH3ZXOHIu07DAD1Nx92sF9vuM1engL6zdor6m26i16INqmqKt3DjI3cYSQVA
linkProvider Elsevier
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Further+improvements+of+determinization+methods+for+fuzzy+finite+automata&rft.jtitle=Fuzzy+sets+and+systems&rft.au=Jan%C4%8Di%C4%87%2C+Zorana&rft.au=Mici%C4%87%2C+Ivana&rft.au=Ignjatovi%C4%87%2C+Jelena&rft.au=%C4%86iri%C4%87%2C+Miroslav&rft.date=2016-10-15&rft.issn=0165-0114&rft.volume=301&rft.spage=79&rft.epage=102&rft_id=info:doi/10.1016%2Fj.fss.2015.11.019&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_fss_2015_11_019
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0165-0114&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0165-0114&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0165-0114&client=summon