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 as the source states for RE. The reconfiguration problem itself is formulated as that of establishing guaranteed finite reachability of a desired RE source state in RSUP from the current state in RSUP at which a change in configuration is commanded by an external user. The solvability (or otherwise) of this reachability problem is established by backtracking as in standard dynamic programming.
Cite
@article{arxiv.2210.01332,
title = {Automatic Reconfiguration of Untimed Discrete-Event Systems},
author = {Matin Macktoobian and W. Murray Wonham},
journal= {arXiv preprint arXiv:2210.01332},
year = {2022}
}
Comments
2017 14th International Conference on Electrical Engineering, Computing Science and Automatic Control (CCE)