Fuel cell thermal management: Modeling, specifications and correct-by-construction control synthesis

Thermal management is crucial for safe and efficient operation of fuel cells. The goal of this paper is to algorithmically synthesize a provably-correct controller for a fuel cell thermal management system. For this purpose, we start with developing a control-oriented model for the fuel cell thermal management system and list the associated requirements. Then, we identify some structural properties of the system dynamics that can be leveraged for making the abstraction-based synthesis algorithm computationally efficient. Finally, we synthesize a controller for this system and demonstrate the closed-loop system behavior via simulations.

[1]  Petter Nilsson,et al.  Incremental synthesis of switching protocols via abstraction refinement , 2014, 53rd IEEE Conference on Decision and Control.

[2]  Calin Belta,et al.  Controlling a Class of Nonlinear Systems on Rectangles , 2006, IEEE Transactions on Automatic Control.

[3]  Murat Arcak,et al.  Efficient finite abstraction of mixed monotone systems , 2015, HSCC.

[4]  Sousso Kelouwani,et al.  Proton exchange membrane fuel cells cold startup global strategy for fuel cell plug-in hybrid electric vehicle , 2012 .

[5]  Xianguo Li,et al.  Water transport in polymer electrolyte membrane fuel cells , 2011 .

[6]  Paulo Tabuada,et al.  Verification and Control of Hybrid Systems , 2009 .

[7]  Benjamin L. Pence,et al.  A Framework for Control Oriented Modeling of PEM Fuel Cells , 2015, HRI 2015.

[8]  Richard M. Murray,et al.  Efficient control synthesis for augmented finite transition systems with an application to switching protocols , 2014, 2014 American Control Conference.

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

[10]  Thomas Wilke,et al.  Automata logics, and infinite games: a guide to current research , 2002 .

[11]  Richard M. Murray,et al.  Computing augmented finite transition systems to synthesize switching protocols for polynomial switched systems , 2013, 2013 American Control Conference.

[12]  Amey Y. Karnik,et al.  Synthesis of fault tolerant switching protocols for vehicle engine thermal management , 2016, 2016 American Control Conference (ACC).

[13]  Amir Pnueli,et al.  Synthesis of Reactive(1) designs , 2006, J. Comput. Syst. Sci..

[14]  Necmiye Ozay,et al.  A note on some sufficient conditions for mixed monotone systems , 2017 .

[15]  Petter Nilsson,et al.  Augmented finite transition systems as abstractions for control synthesis , 2017, Discret. Event Dyn. Syst..

[16]  Ufuk Topcu,et al.  Efficient reactive controller synthesis for a fragment of linear temporal logic , 2013, 2013 IEEE International Conference on Robotics and Automation.

[17]  Paulo Tabuada,et al.  Verification and Control of Hybrid Systems - A Symbolic Approach , 2009 .

[18]  S. Kandlikar,et al.  CURRENT STATUS AND FUNDAMENTAL RESEARCH NEEDS IN THERMAL MANAGEMENT WITHIN A PEMFC STACK , 2007 .

[19]  Duncan S. Callaway,et al.  Impact of battery sizing on stochastic optimal power management in plug-in hybrid electric vehicles , 2008, 2008 IEEE International Conference on Vehicular Electronics and Safety.