Real-Time Error Detection in Nonlinear Control Systems Using Machine Learning Assisted State-Space Encoding

被引:2
作者
Banerjee, Suvadeep [1 ]
Samynathan, Balavinayagam [2 ]
Abraham, Jacob A. [2 ]
Chatterjee, Abhijit [3 ]
机构
[1] Intel Labs, Santa Clara, CA 95054 USA
[2] Univ Texas Austin, Dept Elect & Comp Engn, Austin, TX 78712 USA
[3] Georgia Inst Technol, Sch Elect & Comp Engn, Atlanta, GA 30332 USA
基金
美国国家科学基金会;
关键词
Nonlinear systems; Hardware; Real-time systems; Nonlinear control systems; Actuators; Degradation; Nonlinear Systems; Nonlinear Control; Real-time Systems; State-space Checksum; Fault Detection;
D O I
10.1109/TDSC.2019.2903049
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Successful deployment of autonomous systems in a wide range of societal applications depends on error-free operation of the underlying signal processing and control functions. Real-time error detection in nonlinear systems has mostly relied on redundancy at the component or algorithmic level causing expensive area and power overheads. This paper describes a real-time error detection methodology for nonlinear control systems for detecting sensor and actuator degradations as well as malfunctions due to soft errors in the execution of the control algorithm on a digital processor. Our approach is based on creation of a redundant check state in such a way that its value can be computed from the current states of the system as well as from a history of prior observable state values and inputs (via machine learning algorithms). By checking for consistency between the two, errors are detected with low latency. The method is demonstrated on two test case simulations - an inverted pendulum balancing problem and a sliding mode controller driven brake-by-wire (BBW) system. In addition, hardware results from error injection experiments in an ARM core representation on an FPGA and artificial sensor degradations on a self-balancing robot prove the practical feasibility of implementation.
引用
收藏
页码:576 / 592
页数:17
相关论文
共 50 条
[1]   Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants [J].
Abate, Alessandro ;
Bessa, Iury ;
Cattaruzza, Dario ;
Cordeiro, Lucas ;
David, Cristina ;
Kesseli, Pascal ;
Kroening, Daniel .
PROCEEDINGS OF THE 20TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (PART OF CPS WEEK) (HSCC' 17), 2017, :197-206
[2]   Robust event-triggered output feedback controllers for nonlinear systems [J].
Abdelrahim, Mahmoud ;
Postoyan, Romain ;
Daafouz, Jamal ;
Nesic, Dragan .
AUTOMATICA, 2017, 75 :96-108
[3]  
Actel, 2002, UND SOFT FIRM ERRORS
[4]  
[Anonymous], 2012, PIN A DYNAMIC BINARY
[5]  
[Anonymous], 2016, ABS161003295 CORR
[6]  
[Anonymous], 2010, EMSOFT, DOI DOI 10.1145/1879021.1879024
[7]  
[Anonymous], 2010, Amber ARM-Compatible Core
[8]   An antilock-braking algorithm for an eddy-current-based brake-by-wire system [J].
Anwar, Sohel ;
Bing Zheng .
IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY, 2007, 56 (03) :1100-1107
[9]  
Banerjee S, 2016, 2016 17TH IEEE LATIN-AMERICAN TEST SYMPOSIUM (LATS), P182, DOI 10.1109/LATW.2016.7483362
[10]  
Banerjee S, 2015, IEEE INT ON LINE, P53, DOI 10.1109/IOLTS.2015.7229832