• The Journal of the Korea institute of electronic communication sciences
• /
• v.17 no.3
• /
• pp.399-408
• /
• 2022

This paper proposes a corrective control system to achieve fault-tolerant control for input/output asynchronous sequential circuits vulnerable to transient faults violating fundamental mode operations. To overcome non-fundamental mode faults occurring in transient transitions of asynchronous sequential circuits, it is necessary to determine the end of unauthorized state transitions caused by the faults and to stably take the circuit from the faulty state to a desired state that is output equivalent with the normal next stable state. We address the existence condition for a proper output-feedback corrective controller that achieves fault diagnosis and fault-tolerant control for these non-fundamental mode faults. The corrective controller and asynchronous sequential circuit are implemented on field-programming gate array to demonstrate the synthesis procedure and applicability of the proposed control scheme.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.50 no.5
• /
• pp.253-261
• /
• 2013

In this paper, we study the problem of controlling composite asynchronous sequential machines. The considered asynchronous machine consists of two input/state machines in cascade connection, where the output of the front machine is delivered to the input channel of the rear machine. The objective is to design a corrective controller realizing model matching such that the stable state behavior of the closed-loop system matches that of a reference model. Since the controller receives the state feedback of the rear machine only, there exists uncertainty about the present state of the front machine. We specify the existence condition for a corrective controller given the uncertainty. The design procedure for the proposed controller is described in a case study.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.51 no.9
• /
• pp.173-181
• /
• 2014

This paper addresses the problem of model matching control for a class of systems modeled as input/output asynchronous sequential machines. Based on the feedback control scheme, we design a corrective controller that compensates the behavior of the closed-loop system so as to match a reference model. Whereas the former studies use state observers and the output burst for designing a controller, the present research needs neither the observer nor the output burst in controller design. We define the 'output equivalent machine' of the considered machine to describe the existence condition and the construction algorithm for the proposed controller. A case study is provided to show the operation of the proposed corrective controller.