Abstract
As a feedback control methodology exclusively targeting asynchronous sequential machines (ASMs), corrective control has been rapidly developing for the past two decades. This paper presents a comprehensive survey on the theory and application of dynamic corrective control in which the controller also has the form of an ASM. First, basic notions and principles of dynamic corrective control, including models of ASMs and configurations of closed-loop systems, are reviewed. Next, assorted dynamic corrective control schemes are presented aiming at solving specific control problems of ASMs, such as model matching and fault-tolerant control. Variations of control aspects are classified according to modeling formalisms of controlled ASMs—input/state, input/output, and composite ASMs—and involved fault characteristics, such as transient, permanent, and intermittent faults and intelligent attacks. Representative results on the application of fault-tolerant corrective control to real-world engineering systems are also provided with an emphasis on space-borne digital systems. Finally, some challenging topics for future studies on corrective control are discussed.
Highlights
Asynchronous sequential machines (ASMs) are referred to as event-driven dynamic systems whose operations are governed by no global synchronizing clock
As mentioned, refs. [43,44] achieve the primary control objective of model matching by transforming the dynamics of input/state asynchronous sequential machines (ASMs) into the matrix formulation and applying numerical calculations based on the semi-tensor product (STP) of matrices
An overview of recent advances in dynamic corrective control for ASMs has been presented in this paper
Summary
Asynchronous sequential machines (ASMs) are referred to as event-driven dynamic systems whose operations are governed by no global synchronizing clock. Though not employing the ASM formulation, these publications address the design of feedback controllers that correct the faulty behaviors of general sequential machines caused by corrupted inputs [12], incomplete knowledge of models [13], and external disturbances [14]. These studies can be said to serve as the foundation for initiating the study of corrective control for ASMs. Beginning from a preliminary study [16], the research on corrective control has greatly progressed over the past two decades in both theoretical development and application to real-world systems. Theoretical and practical challenges in corrective control are discussed to encourage participatory research
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
