Methods And Tools For Embedded Optimization And Control