Safety verification and adaptive model predictive control of the hybrid dynamics of a fuel cell system

The problem of safety verification of a fuel cell (FC) system is addressed in this paper. The aim of safety verification is to check whether the oxygen ratio can reach dangerous values or not. Assuming that the compressor voltage is controlled by means of a feedforward control, two algorithms for safety verification are formulated and applied to the PWA model of the FC. An improved behavior is obtained using an adaptive predictive controller to determine the voltage to be applied to the compressor. An admissible robust control invariant set for the PWA model of the system is computed. The control action of the predictive controller is obtained in such a way that the state is always included in the safe region provided by the admissible robust control invariant set. This guarantees that the proposed controller always provides safe evolutions of the system. Copyright © 2007 John Wiley & Sons, Ltd.

[1]  Rajeev Alur,et al.  Counterexample-guided predicate abstraction of hybrid systems , 2003, Theor. Comput. Sci..

[2]  D. Mayne,et al.  Computation of invariant sets for piecewise affine discrete time systems subject to bounded disturbances , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[3]  Anna G. Stefanopoulou,et al.  Control of Fuel Cell Power Systems: Principles, Modeling, Analysis and Feedback Design , 2004 .

[4]  Andreas Podelski,et al.  Tools and algorithms for the construction and analysis of systems , 2006, International Journal on Software Tools for Technology Transfer.

[5]  Anna G. Stefanopoulou,et al.  Control of Fuel Cell Power Systems , 2004 .

[6]  Rajeev Alur,et al.  Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction , 2003, HSCC.

[7]  Rajeev Alur,et al.  Reachability Analysis of Hybrid Systems via Predicate Abstraction , 2002, HSCC.

[8]  George J. Pappas,et al.  Hybrid Systems: Computation and Control , 2004, Lecture Notes in Computer Science.

[9]  Alberto Bemporad,et al.  Stabilization conditions for model predictive control of constrained PWA systems , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[10]  M. Morari,et al.  Optimal controllers for hybrid systems: stability and piecewise linear explicit form , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[11]  Alberto Bemporad,et al.  Piecewise linear optimal controllers for hybrid systems , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).

[12]  Rajeev Alur.  Discrete Abstraction of Hybrid Systems , 2000 .

[13]  C. Bordons,et al.  Development and experimental validation of a PEM fuel cell dynamic model , 2007 .

[14]  S. Shankar Sastry,et al.  O-Minimal Hybrid Systems , 2000, Math. Control. Signals Syst..

[15]  Bart De Schutter,et al.  Equivalence of hybrid dynamical models , 2001, Autom..

[16]  Rajeev Alur,et al.  A Temporal Logic of Nested Calls and Returns , 2004, TACAS.

[17]  Mato Baotic,et al.  Stabilizing low complexity feedback control of constrained piecewise affine systems , 2005, Autom..

[18]  George J. Pappas,et al.  Discrete abstractions of hybrid systems , 2000, Proceedings of the IEEE.