Sökning: onr:"swepub:oai:DiVA.org:kth-302929" >
An Approach for Sup...
An Approach for Supervisor Reduction of Discrete-Event Systems
-
Zhang, H. (författare)
-
- Feng, Lei (författare)
- KTH,Mekatronik
-
Xie, W. (författare)
-
visa fler...
-
Yu, F. (författare)
-
visa färre...
-
(creator_code:org_t)
- 2020-12-20
- 2020
- Engelska.
-
Ingår i: 14th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2020. - Cham : Springer Science and Business Media Deutschland GmbH. ; , s. 3-14
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- In the supervisory control theory of discrete event systems, since the supremal supervisor incorporates transition constrains of both the plant and the specification, the state size of the supervisor is usually large and the control logic is difficult to understand. Thus, computing for reduced supervisors with small sizes is meaningful both for designing and implementation. We propose an algorithm that a reduced supervisor can be separated from the supremal supervisor if a sufficient condition is satisfied. The algorithm for checking the sufficient condition is also presented. In the case that the sufficient condition is satisfied, a reduced supervisor can be computed in a complexity of O(m.n), where the integers m and n are the state number of the supremal supervisor and the cardinality of the event set, respectively. And the state size of the reduced supervisor is equal or less than that of the specification. Some examples are presented to illustrate 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
- Discrete-Event System
- Supervisor reduction
- Supervisory Control Theory
- Discrete event simulation
- Specifications
- Cardinalities
- Control logic
- Supervisory personnel
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)