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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
