Benjamin Pence

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 2

Top Topics

Delay Insensitive

Knowledge Management

Top Venues

IEEE Trans. Control. Syst. Technol.

Publications

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. IEEE Trans. Control. Syst. Technol. 28 (5) (2020)
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. ACC (2017)