Fault tolerant control for a class of interconnected asynchronous sequential machines

Abstract This paper considers fault tolerant control for parallel interconnected asynchronous sequential machines (ASMs) governed by a single corrective controller with output feedback. The control objective is to diagnose unauthorized state transitions and to recover the normal input/output behavior of the closed-loop system in an asynchronous mechanism. The existence condition and design algorithm for a fault tolerant controller is addressed in the framework of corrective control. The proposed scheme is efficient in that it does not require complete modeling of parallel composition nor output bursts in the feedback channel. An illustrative example is provided to demonstrate the procedure of controller synthesis.

[1]  Edward A. Lee,et al.  Structure and interpretation of signals and systems , 2002 .

[2]  Jun Peng,et al.  Input/output control of asynchronous sequential machines with races , 2010, Int. J. Control.

[3]  Shengbing Jiang,et al.  Decentralized control of discrete event systems with specializations to local control and concurrent systems , 2000, IEEE Trans. Syst. Man Cybern. Part B.

[4]  Jacob Hammer Automatic defensive control of asynchronous sequential machines , 2016, Int. J. Control.

[5]  Mark Lawford,et al.  Hierarchical interface-based supervisory control of a flexible manufacturing system , 2006, IEEE Transactions on Control Systems Technology.

[6]  Stéphane Lafortune,et al.  Active fault tolerant control of discrete event systems using online diagnostics , 2011, Autom..

[7]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[8]  Michael Heymann,et al.  Supervisory control of concurrent discrete-event systems , 1991 .

[9]  Jun Peng,et al.  Bursts and Output Feedback Control of Non-Deterministic Asynchronous Sequential Machines , 2012, Eur. J. Control.

[10]  Jung-Min Yang A simple fault tolerant control for input/output asynchronous sequential machines , 2015, Autom..

[11]  Niraj K. Jha,et al.  Switching and Finite Automata Theory , 2010 .

[12]  Raja Sengupta,et al.  Diagnosability of discrete-event systems , 1995, IEEE Trans. Autom. Control..

[13]  Jung-Min Yang Corrective Control of Composite Asynchronous Sequential Machines Under Partial Observation , 2016, IEEE Transactions on Automatic Control.

[14]  Kwen-Siong Chong,et al.  Design of several asynchronous-logic macrocells for a low-voltage micropower cell library , 2007, IET Circuits Devices Syst..