Digital Control of a Wireless Power Transfer System for Electrical Vehicles