Defensive state feedback control of asynchronous sequential machines
Jacob M. Hammer · 2015
The design of state feedback controllers that protect asynchronous sequential machines from pre-programmed adversarial agents is considered. Necessary and sufficient conditions for the existence of such controllers are derived. These conditions are stated in terms of certain matrices of zeros and ones derived from the given description of the protected machine. Controller design algorithms are outlined.