[joelg236]

Originally Posted by JefferMC

Also, I seem to recall that the PID classes wanted an Encoder and would not accept a Counter. I may be wrong about that.

The PIDController class only needs a PIDSource and PIDOutput. Counter does not implement PIDSource, but you could always extend it and implement PIDSource.