no code implementations • 4 Oct 2022 • Matin Macktoobian, W. Murray Wonham
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).
1 code implementation • 29 Mar 2018 • Liyong Lin, Tomáš Masopust, W. Murray Wonham, Rong Su
A (partial) solution to this problem is provided, which consists of 1) an incremental algorithm for the production of candidate reductions and 2) a reduction validation procedure.
Systems and Control Formal Languages and Automata Theory Optimization and Control