_id,doi,title 6565,10.1109/INDIANCC.2019.8715598,Formal synthesis of stabilizing controllers for periodically controlled linear switched systems