PAHSCTRL - A control synthesis toolbox for piecewise-affine hybrid systems

The focus of this paper is automatic generation of controllers for piecewise-affine hybrid systems (PAHS). Using the proposed method fault tolerant controllers can be designed as faults modelled with uncontrollable events causing switches between discrete modes. The design method involves abstracting PAHS to discrete games and deriving controllers based on winning strategies for the game. The paper presents a Matlab toolbox capable of computing discrete game abstractions of the PAHS and deriving control laws based on solutions to the discrete game. This enables computation of a type of gain scheduling controller where the control gains are adjusted based on the position in the state space and the current fault condition.

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

[2]  Michel Kinnaert,et al.  Diagnosis and Fault-Tolerant Control , 2006 .

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

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

[5]  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.

[6]  Mihaly Petreczky,et al.  ConPAHS - a software package for control of piecewise-affine hybrid systems , 2006, 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control.

[7]  Mark R. Greenstreet,et al.  Hybrid Systems: Computation and Control , 2002, Lecture Notes in Computer Science.

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

[9]  Ian M. Mitchell,et al.  A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems , 2005, HSCC.

[10]  Thomas A. Henzinger,et al.  Hybrid Systems: Computation and Control , 1998, Lecture Notes in Computer Science.

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

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

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

[14]  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.

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

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

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

[18]  John Lygeros,et al.  Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems , 2008, Autom..