IEEE Transactions on Automatic Control, Vol.61, No.2, 473-478, 2016
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.
Keywords:Asynchronous sequential machines;cascade composition;corrective control;partial observation