2017 14th International Conference on Electrical Engineering, Computing Science and Automatic Control (CCE) 2017
DOI: 10.1109/iceee.2017.8108839
|View full text |Cite
|
Sign up to set email alerts
|

Automatic reconfiguration of untimed discrete-event systems

Abstract: This work introduces a general formulation of the reconfiguration problem for untimed discrete-event systems (DES), which can be treated directly by supervisory control theory (SCT). To model the reconfiguration requirements we introduce the concept of reconfiguration specification (RS); here reconfiguration events (RE) are introduced to force a transition from one system configuration to another. Standard SCT synthesis is employed to obtain a reconfiguration supervisor (RSUP) in which designated states serve … Show more

Help me understand this report
View preprint versions

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
20
0

Year Published

2019
2019
2022
2022

Publication Types

Select...
5
2

Relationship

0
7

Authors

Journals

citations
Cited by 8 publications
(20 citation statements)
references
References 19 publications
0
20
0
Order By: Relevance
“…In the context of SCT, taking into account faulty events as well as events associated with reconfiguration for centralized approaches leads not only to a state space explosion but also to a model interpretation problem [16]. Moreover, the literature shows that there are few methodologies for the implementation of reconfigurable controllers and more specifically in a PLC [17,18]. To address these issues, a framework for flexible, reconfigurable, and implementable controllers is developed in this paper.…”
Section: Discussionmentioning
confidence: 99%
“…In the context of SCT, taking into account faulty events as well as events associated with reconfiguration for centralized approaches leads not only to a state space explosion but also to a model interpretation problem [16]. Moreover, the literature shows that there are few methodologies for the implementation of reconfigurable controllers and more specifically in a PLC [17,18]. To address these issues, a framework for flexible, reconfigurable, and implementable controllers is developed in this paper.…”
Section: Discussionmentioning
confidence: 99%
“…Alternatively, supervisory control theory [19] and discrete-event systems are legit options to yield verifiability. In this regard, a new derivation of the attraction field idea [20], i.e., backtracking forcibility, can be effectively used to coordinate astrobots swarms, as well. In particular, [21] established a verifiable supervisory coordination solution which determines whether or not a particular observation setup of astrobots can be completely coordinated.…”
Section: B Coordination Controlmentioning
confidence: 99%
“…While the second solution is to have a reconfigurable control able to adapt and exploit the services still available offered by the operative part. Several approaches have been proposed in [15] [16], [17], [18], [19] and [20].…”
Section: Reconfiguration Processmentioning
confidence: 99%
“…The key advantage of our approach is the use of separate plant element models in order to exploit a distributed control that in the one hand avoid the combinatorial explosion recurrent in the reconfiguration approaches based on centralized and decentralized control [20], [19], [18]. On the other hand, it allows the reconfiguration of the only faulty plant element without reconfiguring all the system's control.…”
Section: Conclusion and Prospectsmentioning
confidence: 99%