Text this: A PEM Fuel Cell Diagnostic System Using the Extension Theory