Corrections on the Explicit Form Extraction
new explicit controllers and YALMIP-based methodology