Resilient Corrective Control of Asynchronous Sequential Machines Against Intermittent Loss of Actuator Outputs

Area of Science:

• Control Systems Engineering
• Fault-Tolerant Systems
• Digital Systems

Background:

• Asynchronous Sequential Machines (ASMs) are crucial in digital systems but vulnerable to actuator faults.
• Temporary loss of actuator outputs can disrupt normal system operation and state reachability.
• Existing control schemes may not adequately address intermittent actuator failures.

Purpose of the Study:

• To propose a resilient corrective control scheme for ASMs facing temporary actuator faults.
• To develop a mathematical framework for analyzing system reachability under actuator failures.
• To design a state-feedback controller and diagnoser for resilient operation.

Main Methods:

• Mathematical formulation of reachability for ASMs with intermittent actuator output loss.
• Development of existence conditions for a state-feedback corrective controller.
• Design of a diagnoser to ensure resilient system behavior.
• Implementation and experimental validation on a Field-Programmable Gate Array (FPGA).

Main Results:

• A resilient corrective control scheme for ASMs against temporary actuator faults is proposed.
• The mathematical formulation accurately describes system reachability under intermittent actuator failures.
• The designed controller and diagnoser enable the closed-loop system to exhibit normal behaviors.
• Experimental validation confirms the practical applicability and effectiveness of the methodology.

Conclusions:

• The proposed resilient corrective control scheme effectively enhances fault tolerance in ASMs.
• The methodology provides a robust solution for systems susceptible to intermittent actuator failures.
• FPGA implementation and experimental results validate the practical utility of the approach.