Canonical forms for bilinear systems