onr:"swepub:oai:DiVA.org:kth-256054"
Search: onr:"swepub:oai:DiVA.org:kth-256054" > Control of Black-Bo...
- 1 of 1
- Previous record
- Next record
- To hitlist
Control of Black-Box Embedded Systems by Integrating Automaton Learning and Supervisory Control Theory of Discrete-Event Systems
-
- Zhang, Huimin (author)
- Guangxi Normal University
-
- Feng, Lei (author)
- KTH,Maskinkonstruktion (Avd.)
-
- Li, Zhiwu (author)
- Xidian University
- Guangxi Normal University Maskinkonstruktion (Avd) (creator_code:org_t)
- IEEE, 2019
- 2019
- English.
- In: IEEE Transactions on Automation Science and Engineering. - : IEEE. - 1545-5955 .- 1558-3783. ; , s. 1-14
- Journal article (peer-reviewed)
Abstract
Subject headings
Close
- The paper presents an approach to the control of black-box embedded systems by integrating automaton learning and supervisory control theory (SCT) of discrete-event systems (DES), where automaton models of both the system and requirements are unavailable or hard to obtain. First, the system is tested against the requirements. If all the requirements are satisfied, no supervisor is needed and the process terminates. Otherwise, a supervisor is synthesized to enforce the system to satisfy the requirements. To apply SCT and automaton learning technologies efficiently, the system is abstracted to be a finite-discrete model. Then, a C* learning algorithm is proposed based on the classical L* algorithm to infer a Moore automaton describing both the behavior of the system and the conjunctive behavior of the system and the requirements. Subsequently, a supervisor for the system is derived from the learned Moore automaton and patched on the system. Finally, the controlled system is tested again to check the correctness of the supervisor. If the requirements are still not satisfied, a larger Moore automaton is learned and a refined supervisor is synthesized. The whole process iterates until the requirements hold in the controlled system. The effectiveness of the proposed approach is manifested through two realistic case studies.
Subject headings
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Reglerteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Control Engineering (hsv//eng)
Keyword
- automaton learning algorithm
- black-box embedded system
- software testing
- supervisory control theory
- Industrial Information and Control Systems
- Industriella informations- och styrsystem
Publication and Content Type
- ref (subject category)
- art (subject category)
Find in a library
- IEEE Transactions on Automation Science and Engineering (Search for host publication in LIBRIS)
To the university's database
- 1 of 1
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Zhang, Huimin
- Feng, Lei
- Li, Zhiwu
- About the subject
-
- ENGINEERING AND TECHNOLOGY
- ENGINEERING AND ...
- and Electrical Engin ...
- and Control Engineer ...
- Articles in the publication
- IEEE Transaction ...
- By the university
- Royal Institute of Technology
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
