Generalizing Sontag's formula to non-affine systems with polynomial derivatives for boundary-actuated PDEs.