Analysis and Synthesis of Fault-Tolerant Control Systems

MagdiSadek Mahmoud obtained Ph. D. in systems engineering from Cairo University, 1974. He has been a professor of engineering since 1984. He is now a Distinguished University Professor at KFUPM, Saudi Arabia. He worked at different universities world-wide including Egypt, Kuwait, UAE, UK, USA, Singapore and Australia.He lectured in Venezuela, Germany, UK, USA, Canada and China. He has been actively engaged in teaching and research in the development of modern methodologies to distributed control and filtering, switched time-delay systems, fault-tolerant systems and information technology. He is the principal author of thirty (30) books, inclusive book-chapters and the author/co-author of more than 500 peer-reviewed papers.  He is the recipient of two national, one regional and four university prizes for outstanding research in engineering. He is a fellow of the IEE, a senior member of the IEEE, the CEI (UK), and a registered consultant engineer of information engineering and systems (Egypt).Email: magdim@yahoo.com, msmahmoud@kfupm.edu.sa,Website: http://faculty.kfupm.edu.sa/se/msmahmoud/Dr. Yuanqing Xia received his M.S. degree in Fundamental Mathematics from Anhui University, China, in 1998 and his Ph.D. Degree in Control Theory and Control Engineering from Beijing University of Aeronautics and Astronautics, Beijing, China, in 2001. From 1991-1995, he was with Tongcheng Middle-School, Anhui, China, where he worked as a teacher. During January 2002-November 2003, he was a postdoctoral research associate in the Institute of Systems Science, Academy of Mathematics and System Sciences, Chinese Academy of Sciences, Beijing, China, where he worked on navigation, guidance and control. From November 2003 to February 2004, he was with the National University of Singapore as a research fellow, where he worked on variable structure control. From February 2004 to February 2006, he was with the University of Glamorgan, Pontypridd, U.K., as a Research Fellow, where he worked on networked control systems. From February 2007 to June 2008, he was a Guest Professor with Innsbruck Medical University, Innsbruck, Austria, where he worked on biomedical signal processing. Since July 2004, he has been with the Department of Automatic Control, Beijing Institute of Technology, Beijing, first as an Associate Professor, then, since 2008, as a Professor and in 2012. He has published five monographs in Springer and more than 100 papers in journals. He was appointed as ``Xu Teli" distinguished professor in Beijing Institute of Technology and obtained National Science Foundation for Distinguished Young Scholars of China. He was obtained Second Award of Beijing Municipal Science and Technology (No.1) in 2010 , Second National Award for Science and Technology (No.2) in 2011, and second natural science award of The  Ministry of Education in 2012. He is an editor in deputy of Journal of Beijing Institute of Technology, associate editor of Acta Automatica Sinica, International Journal of Innovative Computing, Information and Control.

• Preface xv Acknowledgments xvii1 Introduction 11.1 Overview 11.2 Basic Concepts of Faults 21.3 Classification of Fault Detection Methods 31.3.1 Hardware redundancy based fault detection 31.3.2 Plausibility test 31.3.3 Signal-based fault diagnosis 41.3.4 Model-based fault detection 51.4 Types of Fault-Tolerant Control System 81.5 Objectives and Structure of AFTCS 81.6 Classification of Reconfigurable Control Methods 101.6.1 Classification based on control algorithms 101.6.2 Classification based on field of application 111.7 Outline of the Book 111.7.1 Methodology 111.7.2 Chapter organization 121.8 Notes 13References 132 Fault Diagnosis and Detection 172.1 Introduction 172.2 Related Work 172.2.1 Model-based schemes 172.2.2 Model-free schemes 182.2.3 Probabilistic schemes 192.3 Integrated Approach 192.3.1 Improved multi-sensor data fusion 192.3.2 Unscented transformation 212.3.3 Unscented Kalman filter 222.3.4 Parameter estimation 232.3.5 Multi-sensor integration architectures 242.4 Robust Unscented Kalman Filter 262.4.1 Introduction 262.4.2 Problem formulation 282.4.3 Residual generation 292.4.4 Residual evaluation 292.5 Quadruple Tank System 302.5.1 Model of the QTS 312.5.2 Fault scenarios in QTS 322.5.3 Implementation structure of UKF 332.5.4 UKF with centralized multi-sensor data fusion 352.5.5 UKF with decentralized multi-sensor data fusion 352.5.6 Drift detection 352.6 Industrial Utility Boiler 382.6.1 Steam flow dynamics 382.6.2 Drum pressure dynamics 402.6.3 Drum level dynamics 402.6.4 Steam temperature 412.6.5 Fault model for the utility boiler 422.6.6 Fault scenarios in the utility boiler 432.6.7 UKF with centralized multi-sensor data fusion 432.6.8 UKF with decentralized multi-sensor data fusion 432.6.9 Drift detection 452.6.10 Remarks 452.7 Notes 46References 463 Robust Fault Detection 493.1 Distributed Fault Diagnosis 493.1.1 Introduction 493.1.2 System model 503.1.3 Distributed FDI architecture 553.1.4 Distributed fault detection method 553.1.5 Adaptive thresholds 573.1.6 Distributed fault isolation method 623.1.7 Adaptive thresholds for DFDI 643.1.8 Fault detectability condition 673.1.9 Fault isolability analysis 693.1.10 Stability and learning capability 713.2 Robust Fault Detection Filters 743.2.1 Reference model 743.2.2 Design of adaptive threshold 763.2.3 Iterative update of noise mean and covariance 773.2.4 Unscented transformation (UT) 793.2.5 Car-like mobile robot application 823.3 Simultaneous Fault Detection and Control 903.3.1 Introduction 933.3.2 System model 933.3.3 Problem formulation 953.3.4 Simultaneous fault detection and control problem 963.3.5 Two-tank system simulation 1063.4 Data-Driven Fault Detection Design 1083.4.1 Introduction 1093.4.2 Problem formulation 1113.4.3 Selection of weighting matrix 1123.4.4 Design of FDF for time-delay system 1133.4.5 LMI design approach 1143.4.6 Four-tank system simulation 1193.5 Robust Adaptive Fault Estimation 1223.5.1 Introduction 1243.5.2 Problem statement 1253.5.3 Adaptive observer 1273.6 Notes 131References 1314 Fault-Tolerant Control Systems 1354.1 Model Prediction-Based Design Approach 1354.1.1 Introduction 1354.1.2 System description 1364.1.3 Discrete-time UKF 1384.1.4 Unscented Transformation (UT) 1414.1.5 Controller reconfiguration 1434.1.6 Model predictive control 1444.1.7 Interconnected CSTR units 1494.1.8 Four-tank system 1514.1.9 Simulation results 1524.1.10 Drift detection in the interconnected CSTRs 1524.1.11 Information fusion from UKF 1524.1.12 Drift detection in the four-tank system 1564.2 Observer-Based Active Structures 1604.2.1 Problem statement 1604.2.2 A separation principle 1624.2.3 FDI residuals 1644.2.4 Control of integrity 1644.2.5 Overall stability 1654.2.6 Design outline 1654.2.7 Design of an active FTC scheme 1664.2.8 Extraction of FDI–FTC pairs 1664.2.9 Simulation 1694.3 Notes 172References 1725 Fault-Tolerant Nonlinear Control Systems 1755.1 Comparison of Fault Detection Schemes 1755.2 Fault Detection in Nonlinear Systems 1765.3 Nonlinear Observer-Based Residual Generation Schemes 1765.3.1 General considerations 1765.3.2 Extended Luenberger observer 1775.3.3 Nonlinear identity observer approach 1775.3.4 Unknown input observer approach 1785.3.5 The disturbance decoupling nonlinear observer approach 1785.3.6 Adaptive nonlinear observer approach 1785.3.7 High-gain observer approach 1785.3.8 Sliding-mode observer approach 1785.3.9 Geometric approach 1795.3.10 Game-theoretic approach 1795.3.11 Observers for Lipschitz nonlinear systems 1795.3.12 Lyapunov-reconstruction-based passive scheme 1805.3.13 Time-varying results 1855.3.14 Optimization-based active scheme 1875.3.15 Learning-based active scheme 1905.3.16 Adaptive backstepping-based active scheme 1915.3.17 Switched control-based active scheme 1935.3.18 Predictive control-based active scheme 1955.4 Integrated Control Reconfiguration Scheme 1975.4.1 Introduction 1975.4.2 Basic features 1985.4.3 Nonlinear model of a pendulum on a cart 1995.4.4 NGA adaptive filter design 2015.4.5 Simulation results 2075.4.6 Performance evaluation 2095.4.7 Comparative studies 2115.5 Notes 215References 2156 Robust Fault Estimation 2196.1 Introduction 2196.2 System Description 2206.3 Multiconstrained Fault Estimation 2216.3.1 Observer design 2216.3.2 Existence conditions 2266.3.3 Improved results 2286.3.4 Simulation results 2326.4 Adaptive Fault Estimation 2356.4.1 Introduction 2366.4.2 Problem statement 2386.4.3 Robust adaptive estimation 2396.4.4 Internal stability analysis 2406.4.5 Robust performance index 2416.4.6 Simulation 2426.5 Adaptive Tracking Control Scheme 2446.5.1 Attitude dynamics 2446.5.2 Fault detection scheme 2486.5.3 Fault-tolerant tracking scheme 2506.6 Notes 254References 2547 Fault Detection of Networked Control Systems 2577.1 Introduction 2577.2 Problem Formulation 2587.3 Modified Residual Generator Scheme 2597.3.1 Modified residual generator and dynamic analysis 2597.3.2 Residual evaluation 2617.3.3 Co-design of residual generator and evaluation 2647.4 Quantized Fault-Tolerant Control 2677.4.1 Introduction 2677.4.2 Problem statement 2687.4.3 Quantized control design 2717.4.4 Simulation 2767.5 Sliding-Mode Observer 2787.5.1 Introduction 2787.5.2 Dynamic model 2807.5.3 Limited state measurements 2867.5.4 Simulation results: full state measurements 2907.5.5 Simulation results: partial state measurements 2937.6 Control of Linear Switched Systems 2947.6.1 Introduction 2957.6.2 Problem formulation 2957.6.3 Stability of a closed-loop system 2967.6.4 Simulation 3007.7 Notes 303References 3038 Industrial Fault-Tolerant Architectures 3078.1 Introduction 3078.2 System Architecture 3088.3 Architecture of a Fault-Tolerant Node 3098.3.1 Basic architecture 3098.3.2 Architecture with improved reliability 3108.3.3 Symmetric node architecture 3108.3.4 Results 3118.4 Recovery Points 3128.5 Networks 3148.6 System Fault Injection and Monitoring 3158.6.1 Monitoring systems 3158.6.2 Design methodology 3168.7 Notes 318References 3199 Fault Estimation for Stochastic Systems 3219.1 Introduction 3219.2 Actuator Fault Diagnosis Design 3229.3 Fault-Tolerant Controller Design 3249.4 Extension to an Unknown Input Case 3259.5 Aircraft Application 3269.5.1 Transforming the system into standard form 3279.5.2 Simulation results 3299.6 Router Fault Accommodation in Real Time 3309.6.1 Canonical controller and achievable behavior 3339.6.2 Router modeling and desired behavior 3349.6.3 Description of fault behavior 3369.6.4 A least restrictive controller 3389.7 Fault Detection for Markov Jump Systems 3389.7.1 Introduction 3399.7.2 Problem formulation 3409.7.3 H∞ bounded real lemmas 3439.7.4 H∞ FD filter design 3459.7.5 Simulation 3479.8 Notes 352References 35310 Applications 35510.1 Detection of Abrupt Changes in an Electrocardiogram 35510.1.1 Introduction 35510.1.2 Modeling ECG signals with an AR model 35610.1.3 Linear models with additive abrupt changes 35810.1.4 Off-line detection of abrupt changes in ECG 36110.1.5 Online detection of abrupt changes in ECG 36310.2 Detection of Abrupt Changes in the Frequency Domain 36510.2.1 Introduction 36510.2.2 Problem formulation 36610.2.3 Frequency domain ML ratio estimation 36810.2.4 Likelihood of the hypothesis of no abrupt change 37210.2.5 Effect of an abrupt change 37410.2.6 Simulation results 38210.3 Electromechanical Positioning System 38310.3.1 Introduction 38310.3.2 Problem formulation 38510.3.3 Test bed 38610.4 Application to Fermentation Processes 38710.4.1 Nonlinear faulty dynamic system 38810.4.2 Residual characteristics 38910.4.3 The parameter filter 39910.4.4 Fault filter 40010.4.5 Fault isolation and identification 40110.4.6 Isolation speed 40110.4.7 Parameter partition 40210.4.8 Adaptive intervals 40210.4.9 Simulation studies 40510.5 Flexible-Joint Robots 41510.5.1 Problem formulation 41510.5.2 Fault detection scheme 41710.5.3 Adaptive fault accommodation control 42010.5.4 Control with prescribed performance bounds 42210.5.5 Simulation results 42510.6 Notes 429References 430A Supplementary Information 435A.1 Notation 435A.1.1 Kronecker products 436A.1.2 Some definitions 437A.1.3 Matrix lemmas 438A.2 Results from Probability Theory 440A.2.1 Results-A 440A.2.2 Results-B 441A.2.3 Results-C 441A.2.4 Minimum mean square estimate 442A.3 Stability Notions 444A.3.1 Practical stabilizability 444A.3.2 Razumikhin stability 445A.4 Basic Inequalities 447A.4.1 Schur complements 447A.4.2 Bounding inequalities 449A.5 Linear Matrix Inequalities 453A.5.1 Basics 453A.5.2 Some standard problems 454A.5.3 The S-procedure 455A.6 Some Formulas on Matrix Inverses 456A.6.1 Inverse of block matrices 456A.6.2 Matrix inversion lemma 457References 458Index 459