Supervisory Control of Air-Fuel Ratio in Spark Ignition Engines