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

Abstract

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.