DOI,IST REx ID,Research Group,Title of publication
10.1109/INDIANCC.2019.8715598,6565,ToHe,Formal synthesis of stabilizing controllers for periodically controlled linear switched systems