Corrective Control of Composite Asynchronous Sequential Machines under Partial Observation

In this note, we address the corrective control problem of composite asynchronous sequential machines. A number of input/state asynchronous machines subject to adversarial inputs form cascade compositions, wherein their states are unobservable except for the final state. The objective is to design a corrective controller so that the closed-loop system maintains the normal input/output behavior against unauthorized state transitions caused by adversarial inputs. The existence of a controller depends on finding an input sequence that achieves the deterministic corrective action while accommodating uncertainty under partial observation.