Title: Computer aided analysis and design of bilinear control systems