Login / Signup
Fuel Cell Thermal Management: Modeling, Specifications, and Correct-by-Construction Control Synthesis.
Liren Yang
Amey Y. Karnik
Benjamin Pence
Md Tawhid Bin Waez
Necmiye Ozay
Published in:
IEEE Trans. Control. Syst. Technol. (2020)
Keyphrases
</>
fuel cell
management system
control system
infrared
information systems
fault detection
decision making
knowledge management
data management
decision support
high level
data processing
control algorithm
power plant
construction process
program synthesis