Fault-tolerant control for a class of hybrid systems with uncontrollable switching

References

• Azuma , S and Imura , J . Optimal control of sampled-data piecewise affine systems and its application to CPU processing control . Proceedings of 42nd IEEE Conference on Decision and Control . 2003 . pp. 161 – 166 . Maui, Hawaii, , USA
   Google Scholar
• Balluchi , A , Benvenuti , L , Di Benedetto , MD and Sangiovanni-Vincentelli , AL . 2002 . “ Design of Observers for Hybrid Systems ” . In Hybrid Systems: Computation and Control, LNCS , Edited by: Tomlin , Claire J and Greenstreet , Mark R . Vol. 2289 , 76 – 89 . Berlin Heidelberg : Springer-Verlag .
   Google Scholar
• Blanke , M , Kinnaert , M , Lunze , J and Staroswiecki , M . 2006 . Diagnosis and Fault-Tolerant Control, , 2nd , Berlin Heidelberg : Springer Verlag .
   Google Scholar
• Cheng , D , Guo , L , Lin , Y and Wang , Y . 2005 . Stabilization of Switched Linear Systems . IEEE Transactions on Automatic Control , 50 ( 5 ) : 661 – 666 .
   Web of Science ®Google Scholar
• Chen , J and Patton , RJ . 1999 . Robust Model-based Fault Diagnosis for Dynamics Systems , Boston : Kluwer Academic Publishers .
   Google Scholar
• Cocquempot , V , EI Mezyani , T and Staroswiecki , M . Fault detection and isolation for hybrid systems using structured parity residuals . Proceedings of 5th Asian Control Conference . 2004 . pp. 1204 – 1212 . Melbourne, Australia
   Google Scholar
• Decarlo , RA , Branicky , MS , Pettersson , S and Lennartson , B . 2000 . Perspectives and Results on the Stability and Stabilizability of Hybrid Systems . Proceedings of the IEEE , 88 ( 7 ) : 1069 – 1082 .
   Web of Science ®Google Scholar
• EI-Farra , NH , Mhaskar , P and Christofides , PD . 2005 . Output Feedback Control of Switched Nonlinear Systems using Multiple Lyapunov Functions . Systems and Control Letters , 54 : 1163 – 1182 .
   Google Scholar
• Floquet , T , Barbot , JP , Perruquetti , W and Djemaï , M . 2004 . On the Robust Fault Detection via a Sliding Mode Disturbance Observer . International Journal of Control , 77 ( 7 ) : 622 – 629 .
   Google Scholar
• Gao , H , James , L and Wang , C . 2006 . Model Simplification for Switched Hybrid Systems . Systems and Control Letters , 55 ( 12 ) : 1015 – 1021 .
   Web of Science ®Google Scholar
• Guéguen , H and Zaytoon , J . 2004 . On the Formal Verification of Hybrid Systems . Control Engineering Practice , 12 ( 10 ) : 1253 – 1267 .
   Google Scholar
• Guo , L and Wang , H . 2005 . Fault Detection and Diagnosis for General Stochastic Systems using B-Spline Expansions and Non-linear Observations . IEEE Transactions on Circuits and Systems I, Fundamential Theory and Applications , 52 ( 8 ) : 1644 – 1652 .
   Google Scholar
• Hespanha , J . 2004 . Uniform Stability of Switched Linear Systems: Extensions of LaSalle's Invariance Principle . IEEE Transactions on Automatic Control , 49 ( 4 ) : 470 – 482 .
   Web of Science ®Google Scholar
• Jiang , B , Staroswiecki , M and Cocquempot , V . 2004 . Fault Diagnosis Based on Adaptive Observer for a Class of Nonlinear Systems with Unknown Parameters . International Journal of Control , 77 ( 4 ) : 415 – 426 . 2004
   Web of Science ®Google Scholar
• Jiang , B , Staroswiecki , M and Cocquempot , V . 2006 . Fault Accommodation for a Class of Nonlinear Dynamic Systems . IEEE Transactions on Automatic Control , 51 ( 9 ) : 1578 – 1583 .
   Web of Science ®Google Scholar
• Khalil , HK . 2002 . Nonlinear Systems, , 3rd , Upper Saddle River, NJ : Prentice-Hall .
   Google Scholar
• Lee , JS and Cha , SD . 2005 . Fault Tree Construction of Hybrid System Requirements using Qualitative Formal Method . Reliability Engineering and System Safety , 87 : 121 – 131 .
   Web of Science ®Google Scholar
• Lin , Y and Sontag , ED . 1991 . A Universal Formula for Stabilization with Bounded Controls . Systems and Control Letters , 16 : 393 – 397 .
   Web of Science ®Google Scholar
• Lygeros , J , Johansson , KH , Simić , SN , Zhang , J and Sastry , S . 2003 . Dynamical Properties of Hybrid Automata . IEEE Transactions on Automatic Control , 48 ( 1 ) : 2 – 17 .
   Web of Science ®Google Scholar
• Mahmoud , M . 2008 . Bilinear Discrete Fault Tolerant Control Systems: Controller Design . International Journal of Innovative Computing Information and Control , 4 ( 12 ) : 3399 – 3408 .
   Google Scholar
• Narasimhan , S and Biswas , G . 2007 . Model-based Diagnosis of Hybrid Systems . IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and humans , 37 ( 3 ) : 348 – 361 .
   Web of Science ®Google Scholar
• Saadaouia , H , Manamannib , N , Djemaï , M , Barbot , JP and Floquet , T . 2006 . Exact Differentiation and Sliding Mode Observers for Switched Lagrangian Systems . Nonlinear Analysis , 65 ( 5 ) : 1050 – 1069 .
   Google Scholar
• Seatzua , C , Gromovb , D , Raischb , J , Corona , D and Giua , A . 2006 . Optimal Control of Discrete-time Hybrid Automata Under Safety and Liveness Constraints . Nonlinear Analysis , 65 ( 6 ) : 1188 – 1210 .
   Google Scholar
• Shi , P , Xia , Y , Liu , G and Rees , D . 2006 . On Designing of Sliding-mode Control for Stochastic Jump Systems . IEEE Transactions on Automatic Control , 51 ( 1 ) : 97 – 103 .
   Web of Science ®Google Scholar
• Tomlin , CJ , Mitchell , I , Bayen , AM and Oishi , M . 2003 . Computational Techniques for the Verification of Hybrid Systems . Proceedings of the IEEE , 91 ( 7 ) : 986 – 1001 .
   Web of Science ®Google Scholar
• Tong , S , Wang , T and Wang , W . 2008 . Fault Tolerant Control for Uncertain Fuzzy Systems with Actuator Failures . International Journal of Innovative Computing Information and Control , 4 ( 10 ) : 2461 – 2474 .
   Google Scholar
• Trontis , A and Spathopoulos , MP . 2003 . Hybrid Control Synthesis for Eventuality Specifications using Level Set Methods . International Journal of Control , 76 ( 16 ) : 1599 – 1627 .
   Web of Science ®Google Scholar
• Wang , W , Zhou , DH and Li , Z . 2006 . Robust State Estimation and Fault Diagnosis for Uncertain Hybrid Systems . Nonlinear Analysis , 65 ( 12 ) : 2193 – 2215 .
   Google Scholar
• Yang , Z . 2002 . An Algebraic Approach Towards the Controllability of Controlled Switching Linear Hybrid Systems . Automatica , 38 ( 7 ) : 1221 – 1228 .
   Google Scholar
• Yang , H , Jiang , B and Cocquempot , V . 2007b . Observer-Based Fault Tolerant Control for Constraint Switched Systems . International Journal of Control, Automation and Systems , 5 ( 6 ) : 707 – 711 .
   Google Scholar
• Yang , H , Jiang , B and Cocquempot , V . 2009 . A Fault Tolerant Control Framework for Periodic Switched Nonlinear Systems . International Journal of Control , 82 ( 1 ) : 117 – 129 .
   Web of Science ®Google Scholar
• Yang , H , Jiang , B , Cocquempot , V and Staroswiecki , M . 2006 . “ Adaptive Fault Tolerant Strategy for a Class of Hybrid Systems ” . In Proceedings of IFAC Safeprocess 06' 1021 – 1026 . Beijing, , China
   Google Scholar
• Yang , H , Jiang , B and Staroswiecki , M . 2007a . Observer Based Fault Tolerant Control for a Class of Switched Nonlinear Systems . IET Proceedings: Control Theory and Applications , 1 ( 5 ) : 1523 – 1532 .
   Google Scholar
• Zhang , YM and Jiang , J . 2003 . Fault Tolerant Control System Design with Explicit Consideration of Performance Degradation . IEEE Transactions on Aerospace and Electronic Systems , 39 ( 3 ) : 838 – 848 .
   Web of Science ®Google Scholar
• Zhao , F , Koutsoukos , X , Haussecker , H , Reich , J and Cheung , P . 2005 . Monitoring and Fault Diagnosis of Hybrid Systems . IEEE Transactions on Systems, Man, and Cybernetics-Part B: Cybernetics , 99 : 1225 – 1240 .
   Google Scholar