Sökning: onr:"swepub:oai:DiVA.org:kth-223884" >
A learning-based sy...
A learning-based synthesis approach to the supremal nonblocking supervisor of discrete-event systems
-
- Zhang, Huimin (författare)
- School of Electro-Mechanical Engineering, Xidian University, Xi'an China
-
- Feng, Lei, 1976- (författare)
- KTH,Mekatronik
-
- Li, Zhiwu (författare)
- School of Electro-Mechnical Engineering, Xidian University, Xi'an China
-
(creator_code:org_t)
- IEEE, 2018
- 2018
- Engelska.
-
Ingår i: IEEE Transactions on Automatic Control. - : IEEE. - 0018-9286 .- 1558-2523. ; 63:10, s. 3345-3360
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- The paper presents a novel approach to synthesize supremal nonblocking supervisors of discrete-event systems (DES), when the automaton models of specifications are not available. Extending the L* learning algorithm, an S* algorithm is developed to infer a tentatively correct supervisor. If the tentatively correct supervisor is nonblocking, it is indeed the supremal nonblocking supervisor with respect to the plant and specifications. Otherwise, the blocking automaton is regarded as a new plant, and the specification is the nonblocking property. Then, the supremal nonblocking supervisor with respect to the new problem is computed using supervisory control theory of DES. Two simplification rules are introduced to the S* algorithm to decrease the computational cost. Finally, the S* algorithm is implemented based on the LearnLib framework, and experiments are performed to verify the proposed approach.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Reglerteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Control Engineering (hsv//eng)
Nyckelord
- Computer Science
- Datalogi
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas