Results and perspectives on fault tolerant control for a class of hybrid systems

References

• Aberkane , S , Sauter , D and Ponsart , JC . 2008 . Output Feedback Robust Control of Uncertain Active Fault Tolerant Control Systems via Convex Analysis . International Journal of Control , 81 : 252 – 263 .
   Web of Science ®Google Scholar
• Alur , R , Henzinger , TA , Lafferriere , G and Pappas , GJ . 2000 . Discrete Abstraction of Hybrid Systems . Proceedings of IEEE , 88 : 971 – 984 .
   Web of Science ®Google Scholar
• Asarin , E , Schneider , G and Yovine , S . 2007 . Algorithmic Analysis of Polygonal Hybrid Systems, Part I: Reachability . Theoretical Computer Science , 379 : 231 – 265 .
   Web of Science ®Google Scholar
• Balduzzi, F., and Febbraro, A.D. (2001), ‘Combining Fault Detection and Process Optimisation in Manufacturing Systems using First-order Hybrid Petri Nets’, in Proceedings of IEEE International Conference Robotics and Automation, Seoul, Korea, pp. 40–45
   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 (Vol. 2289) , 76 – 89 . Berlin, Heidelberg : Springer Verlag .
   Google Scholar
• Batt , G , Ropers , D , de Jong , H , Geiselmann , J , Page , M and Schneider , D . 2005 . “ Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks ” . In Hybrid Systems: Computation and Control, LNCS (Vol. 3414) , 134 – 150 . Berlin, Heidelberg : Springer Verlag .
   Google Scholar
• Bemporad , A and Giorgetti , N . 2006 . Logic-based Methods for Optimal Control of Hybrid Systems . IEEE Transactions on Automatic Control , 51 : 963 – 976 .
   Web of Science ®Google Scholar
• Benveniste , A , Fabre , E , Haar , S and Jard , C . 2003 . Diagnosis of Asynchronous Discrete-event Systems: A Net Unfolding Approach . IEEE Transactions on Automatic Control , 48 : 714 – 727 .
   Web of Science ®Google Scholar
• Blanke , M , Kinnaert , M , Lunze , J and Staroswiecki , M . 2006 . Diagnosis and Fault-tolerant Control, , 2nd , Berlin, Heidelberg : Springer Verlag .
   Google Scholar
• Chen , W and Saif , M . 2006 . An Iterative Learning Observer for Fault Detection and Accommodation in Nonlinear Time-delay Systems . International Journal of Robust and Nonlinear Control , 16 : 1 – 19 .
   Web of Science ®Google Scholar
• Cocquempot, V., EI Mezyani, T., and Staroswiecki, M. (2004), ‘Fault Detection and Isolation for Hybrid Systems using Structured Parity Residuals’, in Proceedings of 5th Asian Control Conference, Melbourne, Australia, pp. 1204–1212
   Google Scholar
• David , R and Alla , H . 2001 . On Hybrid Petri Nets . Journal of Discrete Event Dynamic Systems: Theory and Applications , 11 : 9 – 40 .
   Web of Science ®Google Scholar
• Decarlo , RA , Branicky , MS , Pettersson , S and Lennartson , B . 2000 . Perspectives and Results on the Stability and Stabilisability of Hybrid Systems . Proceedings of the IEEE , 88 : 1069 – 1082 .
   Web of Science ®Google Scholar
• Ding , SX . 2008 . Model-based Fault Diagnosis Techniques: Design Schemes, Algorithms, and Tools , Berlin : Springer .
   Google Scholar
• Duviella , E , Chiron , P , Charbonnaud , P and Hurand , P . 2007 . Supervision and Hybrid Control Accommodation for Water Asset Management . Control Engineering Practice , 15 : 17 – 27 .
   Web of Science ®Google Scholar
• Febbraro , AD , Giglio , D and Sacco , N . 2004 . Urban Traffic Control Structure Based on Hybrid Petri Nets . IEEE Transactions on Intelligent Transportation Systems , 5 : 224 – 237 .
   Web of Science ®Google Scholar
• Feng , W and Zhang , JF . 2006 . Stability Analysis and Stabilisation Control of Multi-variable Switched Stochastic Systems . Automatica , 42 : 169 – 176 .
   Web of Science ®Google Scholar
• Floquet , T , Barbot , JP , Perruquetti , W and Djemai , M . 2004 . On the Robust Fault Detection via a Sliding Mode Disturbance Observer . International Journal of Control , 77 : 622 – 629 .
   Web of Science ®Google Scholar
• Gertler , JJ . 1998 . Fault Detection and Diagnosis in Engineering Systems , New York : Marcel Dekker .
   Google Scholar
• Ghosh , MK , Arapostathis , A and Marcus , S . 1997 . Ergodic Control of Switching Diffusions . SIAM Journal of Control and Optimization , 35 : 1952 – 1988 .
   Web of Science ®Google Scholar
• Giua, A., and Seatzu, C. (2005), ‘Fault Detection for Discrete Event Systems using Petri Nets with Unobservable Transitions’, in Proceedings of the joint 44th IEEE Conference on Decision and Control, European Control Conference, pp. 6323–6328
   Google Scholar
• Giua , A , Seatzu , C and Basile , F . 2004 . Observer-based State-feedback Control of Timed Petri Nets with Deadlock Recovery . IEEE Transactions on Automatic Control , 49 : 17 – 29 .
   Web of Science ®Google Scholar
• Goebel , R , Sanfelice , R and Teel , AR . 2009 . Hybrid Dynamical Systems . IEEE Control Systems Magazine , 29 : 28 – 93 .
   Web of Science ®Google Scholar
• Guan , Z , Hill , DJ and Shen , X . 2005 . On Hybrid Impulsive and Switching Systems and Application to Nonlinear Control . IEEE Transactions on Automatic Control , 50 : 1058 – 1062 .
   Web of Science ®Google Scholar
• Guéguen , H and Zaytoon , J . 2004 . On the Formal Verification of Hybrid Systems . Control Engineering Practice , 12 : 1253 – 1267 .
   Web of Science ®Google Scholar
• Hespanha , JP . 2004 . Uniform Stability of Switched Linear Systems: Extensions of LaSalle's Invariance Principle . IEEE Transactions on Automatic Control , 49 : 470 – 482 .
   Web of Science ®Google Scholar
• Hsieh , F-S . 2004 . Fault-tolerant Deadlock Avoidance Algorithm for Assembly Processes . IEEE Transactions on on Systems, Man, and Cybernetics – Part A: Systems and Humans , 34 : 65 – 79 .
   Web of Science ®Google Scholar
• Isidori , A . 1995 . Nonlinear Control Systems, , 3rd , London : Springer Verlag .
   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 : 415 – 426 .
   Web of Science ®Google Scholar
• Jiang , B , Staroswiecki , M and Cocquempot , V . 2006 . Fault Accommodation for Nonlinear Dynamic Systems . IEEE Transactions on Automatic Control , 51 : 1578 – 1583 .
   Web of Science ®Google Scholar
• Jiang , B , Yang , H and Shi , P . 2010 . Switching Fault Tolerant Control Design via Global Dissipativity . International Journal of Systems Science , 41 : 1003 – 1012 .
   Web of Science ®Google Scholar
• Lakshmikantham , V , Bainov , DD and Simeonov , PS . 1989 . Theory of Impulse Differential Equations , Singapore : World Scientific .
   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
• Lee , TC and Jiang , ZP . 2008 . Uniform Asymptotic Stability of Nonlinear Switched Systems with an Application to Mobile Robots . IEEE Transactions on Automatic Control , 53 : 1235 – 1252 .
   Web of Science ®Google Scholar
• Lefebvre , D and Delherm , C . 2007 . Diagnosis of DES with Petri Net Models . IEEE Transactions on Automation Science and Engineering , 4 : 114 – 118 .
   Web of Science ®Google Scholar
• Li , ZG , Soh , YC and Wen , CY . 2005 . Switched and Impulsive Systems: Analysis, Design and Application , Berlin : Springer-Vertag .
   Google Scholar
• Li , ZG , Wen , CY and Soh , YC . 2003 . Observer-based Stabilisation of Switching Linear Systems . Automatica , 39 : 517 – 524 .
   Web of Science ®Google Scholar
• Lunze , J . 2007 . Fault Diagnosis of Discretely Controlled Continuous Systems by Means of Discrete-event Models . Journal of Discrete Event Dynamic Systems , 18 : 181 – 210 .
   Web of Science ®Google Scholar
• Lunze , J and Nixdorf , B . 2003 . Discrete Reachability of Hybrid Systems . International Journal of Control , 76 : 1453 – 1468 .
   Web of Science ®Google Scholar
• Lunze , J , Nixdorf , B and Richter , H . 2001 . Process Supervision by Means of a Hybrid Model . Journal of Process Control , 11 : 89 – 104 .
   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 : 2 – 17 .
   Web of Science ®Google Scholar
• Mahmoud , M , Jiang , J and Zhang , YM . 2001 . Stochastic Stability Analysis of Fault-tolerant Control Systems in the Presence of Noise . IEEE Transactions on Automatic Control , 46 : 1810 – 1815 .
   Web of Science ®Google Scholar
• Mhaskar , P , EI-Farra , NH and Christofides , PD . 2005 . Predictive Control of Switched Nonlinear Systems with Schedules Mode Transitions . IEEE Transactions on Automatic Control , 50 : 1670 – 1680 .
   Web of Science ®Google Scholar
• Murata , T . 1989 . Petri Nets: Properties, Analysis and Applications . Proceedings of IEEE , 77 : 541 – 580 .
   Web of Science ®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 : 348 – 361 .
   Web of Science ®Google Scholar
• Nayebpanah, N., Rodrigues, L., and Zhang, Y. (2009a), ‘Fault Identification and Reconfigurable Control for Bimodal Piecewise Affine Systems’, in Proceedings of the European Control Conference, Budapest, Hungary, pp. 2694–2699
   Google Scholar
• Nayebpanah, N., Rodrigues, L., and Zhang, Y. (2009b), ‘Fault-tolerant Controller Synthesis for Piecewise-affine Systems’, in Proceedings of the American Control Conference, St. Louis, Missouri, USA, pp. 222–226
   Google Scholar
• Niemann, H., and Stoustrup, J. (1997), ‘Integration of Control and Fault Detection: Nominal and Robust Design’, in Proceedings of the IFAC Safeprocess, Hull, UK, pp. 341–346
   Google Scholar
• Ocampo-Martinez, C., and Puig, V. (2008), ‘Fault-tolerant Model Predictive Control Within the Hybrid Systems Framework: Application to Sewer Networks’, International Journal of Adaptive Control and Signal Processing, DOI 10.1002/acs.1099
   Google Scholar
• Parisini, T., and Sacone, S. (1998), ‘Fault Diagnosis and Controller Re-configuration: An Hybrid Approach’, in Proceedings of the IEEE ISIC/CIRA/ISAS Joint Conference, Gaithersburgh, Maryland, USA, pp. 163–168
   Google Scholar
• Parisini , T and Sacone , S . 2001 . Stable Hybrid Control Based on Discrete-event Automata and Receding-horizon Neural Regulators . Automatica , 37 : 1279 – 1292 .
   Web of Science ®Google Scholar
• Patton , RJ , Frank , PM and Clark , RN . 2000 . Issues of Fault Diagnosis for Dynamic Systems , London : Spring-Verlag .
   Google Scholar
• Pola, G., Bujorianu, M.L., Lygeros, J., and Benedetto, M.D.D. (2003), ‘Stochastic Hybrid Models: An Overview’, in Proceedings of the IFAC Conference on Analysis and Design of Hybrid System, Saint-Malo, France, pp. 45–50
   Google Scholar
• Prieur , C , Goebel , R and Teel , AR . 2007 . Hybrid Feedback Control and Robust Stabilisation of Nonlinear Systems . IEEE Transactions on Automatic Control , 52 : 2103 – 2117 .
   Web of Science ®Google Scholar
• Ramadge , PJ and Wonham , WM . 1989 . The Control of Discrete Event Systems . Proceedings of the IEEE , 77 : 81 – 98 .
   Web of Science ®Google Scholar
• Ramírez-Treviño , A , Ruiz-Beltrán , E , Rivera-Rangel , I and López-Mellado , E . 2007 . Online Fault Diagnosis of Discrete Event Systems: A Petri Net-based Approach . IEEE Transactions on Automation Science and Engineering , 4 : 31 – 39 .
   Web of Science ®Google Scholar
• Richter, J.H., Heemels, W.P.M.H., van de Wouw, N., and Lunze, J. (2008), ‘Reconfigurable Control of Piecewise Affine Systems with Actuator and Sensor Faults’, in Proceedings of the 47th IEEE Conference on Decision and Control, Cancun, Mexico, pp. 1060–1065
   Google Scholar
• Rodrigues, M., Theilliol, D., and Sauter, D. (2006), ‘Fault Tolerant Control Design for Switched Systems’, in Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, Alghero, Italy, pp. 223–228
   Google Scholar
• Sampath , M , Lafortune , S and Teneketzis , D . 1998 . Active Diagnosis of Discrete Event Systems . IEEE Transactions on Automatic Control , 43 : 908 – 929 .
   Web of Science ®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 : 1188 – 1210 .
   Web of Science ®Google Scholar
• Seron , MM , Zhuo , XW , De Doná , JA and Martínez , JJ . 2008 . Multisensor Switching Control Strategy with Fault Tolerance Guarantees . Automatica , 44 : 88 – 97 .
   Web of Science ®Google Scholar
• Silva , M and Recalde , L . 2004 . On Fluidification of Petri Nets: From Discrete to Hybrid and Continuous Models . Annual Reviews in Control , 28 : 253 – 266 .
   Web of Science ®Google Scholar
• Staroswiecki , M and Gehin , A-L . 2001 . From Control to Supervision . Annual Reviews in Control , 25 : 1 – 11 .
   Google Scholar
• Staroswiecki , M , Yang , H and Jiang , B . 2007 . Progressive Accommodation of Parametric Faults in Linear Quadratic Control . Automatica , 43 : 2070 – 2076 .
   Web of Science ®Google Scholar
• Tafazoli , S and Sun , X . 2006 . Hybrid System State Tracking and Fault Detection using Particle Filters . IEEE Transactions on Control System Technology , 14 : 1078 – 1087 .
   Web of Science ®Google Scholar
• Tao , F and Zhao , Q . 2007 . Synthesis of Stochastic Fault Tolerant Control Systems with Random FDI Delay . International Journal of Control , 80 : 684 – 694 .
   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 : 986 – 1001 .
   Web of Science ®Google Scholar
• Tran, T.H., Stursberg, O., and Engell, S. (2007), ‘Reconfiguration of Discretely Controlled Hybrid Systems for Changing Specifications’, in Proceedings of the 1st IFAC Workshop on Dependable Control of Discrete Systems, Paris, France, pp. 247–252
   Google Scholar
• Tsuda, K., Mignone, D., Ferrari-Trecate, G., and Morari, M. (2001), ‘Reconfiguration Strategies for Hybrid Systems’, in Proceedings of the 2001 American Control Conference, Arlington, VA, USA, pp. 868–873
   Google Scholar
• Wang , W , Zhou , DH and Li , Z . 2006 . Robust State Estimation and Fault Diagnosis for Uncertain Hybrid Systems . Nonlinear Analysis , 65 : 2193 – 2215 .
   Web of Science ®Google Scholar
• Wu , Y and Hadjicostis , CN . 2005 . Algebraic Approaches for Fault Identification in Discrete-event Systems . IEEE Transactions on Automatic Control , 50 : 2048 – 2053 .
   Web of Science ®Google Scholar
• Xie , WX , Wen , CY and Li , ZG . 2001 . Input-to-state Stabilisation of Switched Nonlinear Systems . IEEE Transactions on Automatic Control , 46 : 1111 – 1116 .
   Web of Science ®Google Scholar
• Xu , X and Antsaklis , P . 2000 . Stabilization of Second-order LTI Switched System . International Journal of Control , 73 : 1261 – 1279 .
   Web of Science ®Google Scholar
• Yang , H , Cocquempot , V and Jiang , B . 2008a . Fault Tolerance Analysis for Switched Systems via Global Passivity . IEEE Transactions on Circuits and Systems II , 55 : 1279 – 1283 .
   Google Scholar
• Yang , H , Cocquempot , V and Jiang , B . 2009a . Robust Fault Tolerant Tracking Control with Applications to Hybrid Nonlinear Systems . IET Control Theory and Applications , 3 : 211 – 224 .
   Web of Science ®Google Scholar
• Yang , H , Cocquempot , V and Jiang , B . 2009b . Fault Tolerant Control for a Class of Hybrid Systems with Uncontrollable Switching . International Journal of Systems Science , 40 : 1063 – 1075 .
   Web of Science ®Google Scholar
• Yang , H , Jiang , B and Cocquempot , V . 2008b . Qualitative Fault Tolerant Analysis for a Class of Hybrid Systems . Nonlinear Analysis: Hybrid Systems , 2 : 846 – 861 .
   Web of Science ®Google Scholar
• Yang , H , Jiang , B and Cocquempot , V . 2009c . A Fault Tolerant Control Framework for Periodic Switched Nonlinear Systems . International Journal of Control , 82 : 117 – 129 .
   Web of Science ®Google Scholar
• Yang , H , Jiang , B and Cocquempot , V . 2010 . Fault Tolerant Control Design For Hybrid Systems , Berlin Heidelberg : Springer-Verlag .
   Google Scholar
• Yang , H , Jiang , B and Staroswiecki , M . 2009d . Supervisory Fault Tolerant Control for a Class of Uncertain Nonlinear Systems . Automatica , 45 : 2319 – 2324 .
   Web of Science ®Google Scholar
• Yfoulis, C., and Shorten, R. (2004), ‘A Computational Technique Characterising the Asymptotic Stabilisability of Planar Linear Switched Systems with Unstable Modes Yfoulis’, in Proceedings of the 43rd IEEE Conference on Decision and Control, Bahamas, Atlantis, Paradise Island, pp. 2792–2797
   Google Scholar
• Zhai , G , Hu , B , Yasuda , K and Michel , AN . 2001 . Stability Analysis of Switched Systems with Stable and Unstable Subsystems: an Average Dwell Time Approach . International Journal of System Science , 32 : 1055 – 1061 .
   Web of Science ®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 : 838 – 848 .
   Web of Science ®Google Scholar
• Zhang , YM and Jiang , J . 2008 . Bibliographical Review on Reconfigurable Fault-tolerant Control Systems . Annual Reviews in Control , 32 : 229 – 252 .
   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 .
   Web of Science ®Google Scholar
• Zhang , X , Polycarpou , MM and Parisini , T . 2008 . Design and Analysis of a Fault Isolation Scheme for a Class of Uncertain Nonlinear Systems . Annual Reviews in Control , 32 : 107 – 121 .
   Web of Science ®Google Scholar