CSpace  > 系统科学研究所
Observability of Finite Labeled Transition Systems
Zhang, Kuize1,2,3; Liu, Ting4; Cheng, Daizhan4
2018-06-01
Source PublicationIEEE TRANSACTIONS ON AUTOMATIC CONTROL
ISSN0018-9286
Volume63Issue:6Pages:1591-1602
AbstractFinite labeled transition systems are nondeterministic and nontotal systems with finitely many inputs, states, and outputs. This paper provides algorithms for verifying the observability of finite labeled transition systems in the so-called multiple-experiment case, the simple-experiment case, and the arbitrary-experiment case, respectively, where these algorithms run in exponential time, exponential time, and quartic polynomial time, respectively, and are more effective than the existing algorithms in the literature.
KeywordFinite automaton finite labeled transition system (FLTS) observability
DOI10.1109/TAC.2017.2749380
Language英语
Funding ProjectNational Natural Science Foundation of China[61603109] ; National Natural Science Foundation of China[61333001] ; National Natural Science Foundation of China[61273013] ; Natural Science Foundation of Heilongjiang Province of China[LC2016023] ; Fundamental Research Funds for the Central Universities[HEUCFM170406]
WOS Research AreaAutomation & Control Systems ; Engineering
WOS SubjectAutomation & Control Systems ; Engineering, Electrical & Electronic
WOS IDWOS:000433367600004
PublisherIEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
Citation statistics
Document Type期刊论文
Identifierhttp://ir.amss.ac.cn/handle/2S8OKBNM/30462
Collection系统科学研究所
Affiliation1.Harbin Engn Univ, Coll Automat, Harbin 150001, Heilongjiang, Peoples R China
2.Chinese Acad Sci, Inst Syst Sci, Beijing 100190, Peoples R China
3.Tech Univ Munich, Dept Elect & Comp Engn, D-80333 Munich, Germany
4.Chinese Acad Sci, Acad Math & Syst Sci, Key Lab Syst Control, Beijing 100190, Peoples R China
Recommended Citation
GB/T 7714
Zhang, Kuize,Liu, Ting,Cheng, Daizhan. Observability of Finite Labeled Transition Systems[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL,2018,63(6):1591-1602.
APA Zhang, Kuize,Liu, Ting,&Cheng, Daizhan.(2018).Observability of Finite Labeled Transition Systems.IEEE TRANSACTIONS ON AUTOMATIC CONTROL,63(6),1591-1602.
MLA Zhang, Kuize,et al."Observability of Finite Labeled Transition Systems".IEEE TRANSACTIONS ON AUTOMATIC CONTROL 63.6(2018):1591-1602.
Files in This Item:
There are no files associated with this item.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Zhang, Kuize]'s Articles
[Liu, Ting]'s Articles
[Cheng, Daizhan]'s Articles
Baidu academic
Similar articles in Baidu academic
[Zhang, Kuize]'s Articles
[Liu, Ting]'s Articles
[Cheng, Daizhan]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Zhang, Kuize]'s Articles
[Liu, Ting]'s Articles
[Cheng, Daizhan]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.