Automatic Reconfiguration of Untimed and Timed Discrete-Event Systems
Matin Macktoobian · TSpace (University of Toronto) · 2018
This work introduces a general formulation of the reconfiguration problem for untimed and timed discrete-event systems treated by supervisory control theory. To model the reconfiguration requirements we introduce the concept of reconfiguration specification in which reconfiguration events are introduced to force a transition from one system configuration to another. Supervisory control theory then synthesizes a reconfiguration supervisor in which designated states serve as the target states for a particular reconfiguration event. An untimed (or timed) reconfiguration is commanded at a source state in the reconfiguration supervisor at which a change in configuration is requested. The solvability (or otherwise) of this reachability problem is checked by forcible backtracking in a recursive tree-based manner. The proposed method solves centralized and decentralized reconfiguration problems in both untimed and timed cases. To our knowledge, the solution to the timed case is the first solution to the automatic reconfiguration problem of automaton-based timed discrete-event systems.