Akıllı Şebekeler için Doğrusal Olmayan Kontrol: Kuramsal Temeller, Tasarım Kısıtları ve Açık Problemler