Automated fault tolerant control synthesis based on discrete games

This paper focuses on how fault tolerant controllers can be designed based on discrete game abstractions of piecewise-affine hybrid systems (PAHS). The proposed method aims at automatic generation of the controllers by converting the discrete games to timed games, which can be solved by the UppAal toolbox. Winning strategies to the games are then refined to piecewise-affine control strategies which is a type of gain scheduling. The feasibility of the method is shown through the automated design of a fault tolerant controller for a simple example.

[1]  James H. Taylor,et al.  MODELING AND SIMULATION OF HYBRID SYSTEMS IN MATLAB , 1996 .

[2]  L. Rodrigues,et al.  Piecewise-affine controller synthesis for a model of 2D orbital path following , 2005, Proceedings of 2005 IEEE Conference on Control Applications, 2005. CCA 2005..

[3]  Jonathan P. How,et al.  Automated control design for a piecewise-affine approximation of a class of nonlinear systems , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).

[4]  Youmin Zhang,et al.  Active Fault Tolerant Control Systems: Stochastic Analysis and Synthesis , 2003 .

[5]  Jan H. van Schuppen,et al.  Control of piecewise-affine hybrid systems , 2007 .

[6]  Thomas Bak,et al.  A Piecewise Affine Hybrid Systems Approach to Fault Tolerant Satellite Formation Control , 2008 .

[7]  J. Stoustrup,et al.  Passive fault tolerant control of a double inverted pendulum—a case study , 2003 .

[8]  J.H. van Schuppen,et al.  Control to facet problems for affine systems on simplices and polytopes – With applications to control of hybrid systems , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[9]  Thomas A. Henzinger,et al.  The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[10]  Wang Yi,et al.  Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.

[11]  Jan Dimon Bendtsen,et al.  Discrete game abstraction for fault tolerant control synthesis , 2008, 2008 IEEE International Conference on Computer-Aided Control Systems.

[12]  Jesper Abildgaard Larsen,et al.  Combinatorial Vector Fields for Piecewise Affine Control Systems , 2008 .

[13]  Jonathan P. How,et al.  Synthesis of piecewise-affine controllers for stabilization of nonlinear systems , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[14]  Jan H. van Schuppen,et al.  Reachability and control synthesis for piecewise-affine hybrid systems on simplices , 2006, IEEE Transactions on Automatic Control.

[15]  Michel Kinnaert,et al.  Diagnosis and Fault-Tolerant Control , 2004, IEEE Transactions on Automatic Control.

[16]  Gang Tao,et al.  Adaptive control of systems with actuator failures , 2004, 2008 Chinese Control and Decision Conference.

[17]  Lei Feng,et al.  TCT: A Computation Tool for Supervisory Control Synthesis , 2006, 2006 8th International Workshop on Discrete Event Systems.

[18]  Jan Dimon Bendtsen,et al.  PAHSCTRL - A control synthesis toolbox for piecewise-affine hybrid systems , 2009, 2009 European Control Conference (ECC).

[19]  Kim G. Larsen,et al.  Efficient On-the-Fly Algorithms for the Analysis of Timed Games , 2005, CONCUR.

[20]  Jie Chen,et al.  Robust Model-Based Fault Diagnosis for Dynamic Systems , 1998, The International Series on Asian Studies in Computer and Information Science.

[21]  C. A. Petri,et al.  Concurrency Theory , 1986, Advances in Petri Nets.

[22]  Rolf Isermann,et al.  Fault-diagnosis systems : an introduction from fault detection to fault tolerance , 2006 .

[23]  R. Malik,et al.  Supremica - An integrated environment for verification, synthesis and simulation of discrete event systems , 2006, 2006 8th International Workshop on Discrete Event Systems.