Liren Yang, Amey Y. Karnik, Benjamin Pence, Md Tawhid Bin Waez, Necmiye Ozay. Fuel cell thermal management: Modeling, specifications and correct-by-construction control synthesis. In 2017 American Control Conference, ACC 2017, Seattle, WA, USA, May 24-26, 2017. pages 1839-1846, IEEE, 2017. [doi]
Abstract is missing.