Input/output corrective control of switched asynchronous sequential machines under arbitrary switching

This article presents a novel modeling and corrective control of switched asynchronous sequential machines (ASMs) with input/output submachines. In particular, the considered switched ASM is harnessed by the external switching signal that provokes arbitrary change of the mode or submachine. The existence of the external switching signal imposes unpredictable state drift opposite to model matching as well as ambiguity in determining the active submachine. We first present a state observer for state observation and identification of the active submachine. Based on the information delivered by the observer, we address the existence condition and design procedure for a corrective controller that matches the stable-state behavior of the closed-loop system to that of a reference model for every possible switching sequence. To demonstrate the validity and applicability of the proposed control scheme, we conduct hardware experiments on field-programmable gate array (FPGA) circuits for a space-borne digital system and provide convincing experimental results.