More Web Proxy on the site http://driver.im/

research-article

Design and implementation of robust corrective control systems with permanent sensor faults

Authors:

Seong Woo KwakAuthors Info & Claims

Volume 607, Issue C

Pages 401 - 417

https://doi.org/10.1016/j.ins.2022.05.102

Published: 01 August 2022 Publication History

Highlights

•

Asynchronous sequential machines are vulnerable to permanent sensor faults.

•

Corrective control can diagnose and tolerant sensor faults under asynchrony.

•

Elucidation of controller existence and synthesis for model matching.

•

Implementation of asynchronous digital systems with sensor-fault tolerance.

•

Experimental verification on the FPGA circuit.

Abstract

This paper presents fault diagnosis and fault-tolerant corrective control for a class of asynchronous sequential machines (ASMs). In the considered problem setting, a permanent fault may occur to the sensor in the feedback channel so that the distorted state feedback is forced to be generated after a fault occurrence. We propose a scheme of identifying the permanent sensor fault only by observing the feedback value measured in the form of state bursts. Based on the diagnosis method, we address a novel design algorithm for a state-feedback corrective controller that matches the stable-state behavior of the closed-loop system to that of a reference model, while accommodating the permanent damage to the sensor. Hardware experiments on the field-programmable gate array (FPGA) circuit are provided to demonstrate the applicability of the proposed fault diagnosis and fault-tolerant corrective control methodology.

References

[1]

J. Sparsø, S. Furber, Principles of Asynchronous Circuit Design — A Systems Perspective, Kluwer Academic Publishers, Boston, MA, 2002.

[2]

M. Mehyar, D. Spanos, J. Pongsajapan, S.H. Low, R.M. Murray, Asynchronous distributed averaging on communication networks, IEEE/ACM Trans. Netw. 15 (3) (2007) 512–520.

[3]

T. Akutsu, Algorithms for Analysis, Inference, and Control of Boolean Networks, World Scientific, Singapore, 2018.

[4]

A. Banerjee, K.K. Venkatasubramanian, T. Mukherjee, S.K.S. Gupta, Ensuring safety, security, and sustainability of mission-critical cyber-physical systems, Proc. IEEE 100 (1) (2012) 283–299.

[5]

Y.C. Sun, G.H. Yang, Event-triggered resilient control for cyber-physical systems under asynchronous DoS attacks, Inf. Sci. 465 (2018) 340–352.

Digital Library

[6]

T.E. Murphy, X. Geng, J. Hammer, On the control of asynchronous machines with races, IEEE Trans. Autom. Control 48 (6) (2003) 1073–1081.

[7]

J. Peng, J. Hammer, Input/output control of asynchronous sequential machines with races, Int. J. Control 83 (1) (2010) 125–144.

[8]

N. Venkatraman, J. Hammer, On the control of asynchronous sequential machines with infinite cycles, Int. J. Control 79 (7) (2006) 764–785.

[9]

X. Geng, J. Hammer, Input/output control of asynchronous sequential machines, IEEE Trans. Autom. Control 50 (12) (2005) 1956–1970.

[10]

X.R. Xu, Y.G. Hong, Matrix approach to model matching of asynchronous sequential machines, IEEE Trans. Autom. Control 58 (11) (2013) 2974–2979.

[11]

B. Wang, J.E. Feng, M. Meng, Matrix approach to model matching of composite asynchronous sequential machines, IET Control Theory Appl. 11 (13) (2017) 2122–2130.

[12]

J. Wang, X. Han, Z. Chen, Q. Zhang, Calculating skeleton matrix of asynchronous sequential machines based on the semi-tensor product of matrices, IET Control Theory Appl. 11 (13) (2017) 2131–2139.

[13]

J. Wang, X. Han, Z. Chen, Q. Zhang, Model matching of input/output asynchronous sequential machines based on the semi-tensor product of matrices, Future Gener, Comput. Syst. 83 (2018) 468–475.

[14]

B. Wang, J.E. Feng, M. Meng, Model matching of switched asynchronous sequential machines via matrix approach, Int. J. Control 92 (10) (2019) 2430–2440.

[15]

J.M. Yang, J. Hammer, Asynchronous sequential machines with adversarial intervention: the use of bursts, Int. J. Control 83 (5) (2010) 956–969.

[16]

J. Hammer, Automatic defensive control of asynchronous sequential machines, Int. J. Control 89 (1) (2016) 193–209.

[17]

J.M. Yang, S.W. Kwak, Output feedback control of asynchronous sequential machines with disturbance inputs, Inf. Sci. 259 (2014) 87–99.

[18]

J.M. Yang, S.W. Kwak, Corrective control for transient faults with application to configuration controllers, IET Control Theory Appl. 9 (8) (2015) 1213–1220.

[19]

B. Zhang, N. Uysal, D. Fan, R. Ewetz, Handling stuck-at-fault defects using matrix transformation for robust inference of DNNs, IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 39 (10) (2020) 2448–2460.

[20]

S.U. Jan, Y.D. Lee, I.S. Koo, A distributed sensor-fault detection and diagnosis framework using machine learning, Inf. Sci. 547 (2021) 777–796.

[21]

L. Cao, X. Jiang, Y. Zhao, S. Wang, D. You, X. Xu, A survey of network attacks on cyber-physical systems, IEEE Access 8 (2020) 44219–44227.

[22]

R. Su, Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations, Automatica 94 (2018) 35–44.

Digital Library

[23]

L.K. Carvalho, Y.C. Wu, R.H. Kwong, S. Lafortune, Detection and mitigation of classes of attacks in supervisory control systems, Automatica 97 (2018) 121–133.

[24]

M. Wakaiki, P. Tabuada, J.P. Hespanha, Supervisory control of discrete-event systems under attacks, Dyn. Games Appl. 9 (4) (2019) 965–983.

[25]

R. Meira-Góes, E. Kang, R.H. Kwong, S. Lafortune, Synthesis of sensor deception attacks at the supervisory layer of Cyber-Physical Systems, Automatica 121 (2020).

[26]

H.J. Ma, G.H. Yang, Simultaneous fault diagnosis for robot manipulators with actuator and sensor faults, Inf. Sci. 366 (2016) 12–30.

[27]

X. Song, M. Wang, B. Zhang, S. Song, Event-triggered reliable H_∞ fuzzy filtering for nonlinear parabolic PDE systems with Markovian jumping sensor faults, Inf. Sci. 510 (2020) 50–69.

[28]

A.S. Hadi, M.S. Shaker, A new estimation/decoupling approach for robust observer-based fault reconstruction in nonlinear systems affected by simultaneous time varying actuator and sensor faults, J. Frankl. Inst. 357 (13) (2020) 8956–8979.

[29]

Z. He, J. Lu, Y. Chu, Y. Li, S. Xu, Z. Zhang, H_∞ control for uncertain discrete-time MJSs with piecewise-constant transition probabilities subject to multiple intermittent sensor faults, J. Frankl. Inst. 357 (17) (2020) 10211–10226.

[30]

G. Guo, P. Li, L.Y. Hao, Adaptive fault-tolerant control of platoons with guaranteed traffic flow stability, IEEE Trans. Veh. Technol. 69 (7) (2020) 6916–6927.

[31]

G. Guo, J. Kang, H. Lei, D. Li, Finite-time stabilization of a collection of connected vehicles subject to communication interruptions, IEEE Trans. Intell. Transp. Syst. (2022) in press.

[32]

J.M. Yang, Robust corrective control of asynchronous sequential machines with control input and feedback faults, Automatica 107 (2019) 605–609.

[33]

J.M. Yang, Tolerating permanent state transition faults in asynchronous sequential machines, J. Comput. Sci. Technol. 31 (5) (2016) 1028–1037.

[34]

J. Wu, E.M. Rudnick, Bridge fault diagnosis using stuck-at fault simulation, IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 19 (4) (2000) 489–495.

[35]

Z. Kohavi, N.K. Jha, Switching and Finite Automata Theory, 3rd ed., Cambridge University Press, Cambridge, UK, 2010.

[36]

J.M. Yang, A simple fault tolerant control for input/output asynchronous sequential machines, Automatica 52 (2015) 76–82.

[37]

L. Sterpone, M. Porrmann, J. Hagemeyer, A novel fault tolerant and runtime reconfigurable platform for satellite payload processing, IEEE Trans. Comput. 62 (8) (2013) 1508–1525.

[38]

B. Gu, S. Kim, J. Lee, S. Oh, Design of mass memory unit in the NEXTSat-2 (in Korean), in: Proc. Korean Society for Aeronautical & Space Sciences (KSAS) Fall Conference, 2018, pp. 1079–1980.

[39]

R.H. Maurer, K. Fretz, M.P. Angert, D.L. Bort, J.O. Goldsten, G. Ottman, J.S. Dolan, G. Needell, D. Bodet, Radiation-induced single-event effects on the Van Allen probes spacecraft, IEEE Trans. Nucl. Sci. 64 (11) (2017) 2782–2793.

Index Terms

Design and implementation of robust corrective control systems with permanent sensor faults

Index terms have been assigned to the content through auto-classification.

Recommendations

Robust corrective control of asynchronous sequential machines with control input and feedback faults
Abstract
Fault tolerance for asynchronous sequential machines (ASMs) is studied in the framework of corrective control theory. The considered ASM is subjected to adversarial inputs entering the closed-loop system through control input and state ...
Fault tolerant control of asynchronous sequential machines with transient faults in non-fundamental mode
Abstract
This paper addresses fault tolerant corrective control of asynchronous sequential machines (ASMs) against transient faults causing unauthorized state transitions. While the prior work considers only those kinds of faults that comply ...
Reliability Analysis of N-Modular Redundancy Systems with Intermittent and Permanent Faults

It is well known that static redundancy techniques are very efficient against intermittent (transient) faults which constitute a large portion of logic faults in digital systems. However, very little theoretical work has been done in evaluating the ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Information Sciences: an International Journal

Information Sciences: an International Journal Volume 607, Issue C

Aug 2022

1637 pages

ISSN:0020-0255

Issue’s Table of Contents

Elsevier Inc.

Publisher

Elsevier Science Inc.

United States

Publication History

Published: 01 August 2022

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

0
Total Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 12 Jan 2025

Other Metrics

View Author Metrics

Citations

View Options

View options

Media

Figures

Other

Tables

View Issue’s Table of Contents