[{"date_updated":"2025-09-10T10:36:07Z","publication_status":"published","publication_identifier":{"isbn":["978-153866246-5"]},"file_date_updated":"2020-10-21T13:13:49Z","type":"conference","doi":"10.1109/INDIANCC.2019.8715598","abstract":[{"text":"In this paper, we address the problem of synthesizing periodic switching controllers for stabilizing a family of linear systems. Our broad approach consists of constructing a finite game graph based on the family of linear systems such that every winning strategy on the game graph corresponds to a stabilizing switching controller for the family of linear systems. The construction of a (finite) game graph, the synthesis of a winning strategy and the extraction of a stabilizing controller are all computationally feasible. We illustrate our method on an example.","lang":"eng"}],"status":"public","title":"Formal synthesis of stabilizing controllers for periodically controlled linear switched systems","scopus_import":"1","_id":"6565","conference":{"start_date":"2019-01-09","end_date":"2019-01-11","name":"ICC: Indian Control Conference","location":"Delhi, India"},"publisher":"IEEE","ddc":["000"],"date_published":"2019-05-16T00:00:00Z","date_created":"2019-06-17T06:57:33Z","has_accepted_license":"1","citation":{"ieee":"A. Kundu, M. Garcia Soto, and P. Prabhakar, “Formal synthesis of stabilizing controllers for periodically controlled linear switched systems,” in <i>5th Indian Control Conference Proceedings</i>, Delhi, India, 2019.","ama":"Kundu A, Garcia Soto M, Prabhakar P. Formal synthesis of stabilizing controllers for periodically controlled linear switched systems. In: <i>5th Indian Control Conference Proceedings</i>. IEEE; 2019. doi:<a href=\"https://doi.org/10.1109/INDIANCC.2019.8715598\">10.1109/INDIANCC.2019.8715598</a>","ista":"Kundu A, Garcia Soto M, Prabhakar P. 2019. Formal synthesis of stabilizing controllers for periodically controlled linear switched systems. 5th Indian Control Conference Proceedings. ICC: Indian Control Conference, 8715598.","mla":"Kundu, Atreyee, et al. “Formal Synthesis of Stabilizing Controllers for Periodically Controlled Linear Switched Systems.” <i>5th Indian Control Conference Proceedings</i>, 8715598, IEEE, 2019, doi:<a href=\"https://doi.org/10.1109/INDIANCC.2019.8715598\">10.1109/INDIANCC.2019.8715598</a>.","apa":"Kundu, A., Garcia Soto, M., &#38; Prabhakar, P. (2019). Formal synthesis of stabilizing controllers for periodically controlled linear switched systems. In <i>5th Indian Control Conference Proceedings</i>. Delhi, India: IEEE. <a href=\"https://doi.org/10.1109/INDIANCC.2019.8715598\">https://doi.org/10.1109/INDIANCC.2019.8715598</a>","chicago":"Kundu, Atreyee, Miriam Garcia Soto, and Pavithra Prabhakar. “Formal Synthesis of Stabilizing Controllers for Periodically Controlled Linear Switched Systems.” In <i>5th Indian Control Conference Proceedings</i>. IEEE, 2019. <a href=\"https://doi.org/10.1109/INDIANCC.2019.8715598\">https://doi.org/10.1109/INDIANCC.2019.8715598</a>.","short":"A. Kundu, M. Garcia Soto, P. Prabhakar, in:, 5th Indian Control Conference Proceedings, IEEE, 2019."},"external_id":{"isi":["000470655700087"]},"language":[{"iso":"eng"}],"quality_controlled":"1","publication":"5th Indian Control Conference Proceedings","year":"2019","month":"05","author":[{"last_name":"Kundu","first_name":"Atreyee","full_name":"Kundu, Atreyee"},{"id":"4B3207F6-F248-11E8-B48F-1D18A9856A87","last_name":"Garcia Soto","orcid":"0000−0003−2936−5719","full_name":"Garcia Soto, Miriam","first_name":"Miriam"},{"first_name":"Pavithra","full_name":"Prabhakar, Pavithra","last_name":"Prabhakar"}],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","isi":1,"article_processing_charge":"No","day":"16","oa_version":"Submitted Version","department":[{"_id":"ToHe"}],"file":[{"content_type":"application/pdf","access_level":"open_access","success":1,"date_created":"2020-10-21T13:13:49Z","file_name":"2019_ICC_Kundu.pdf","date_updated":"2020-10-21T13:13:49Z","file_size":396031,"relation":"main_file","file_id":"8687","checksum":"d622a91af1e427f6b1e0ba8e18a2b767","creator":"dernst"}],"project":[{"call_identifier":"FWF","name":"Rigorous Systems Engineering","_id":"25832EC2-B435-11E9-9278-68D0E5697425","grant_number":"S 11407_N23"},{"_id":"25F42A32-B435-11E9-9278-68D0E5697425","grant_number":"Z211","call_identifier":"FWF","name":"Formal methods for the design and analysis of complex systems"}],"oa":1,"article_number":"8715598"}]