@inproceedings{6565,
  abstract     = {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.},
  author       = {Kundu, Atreyee and Garcia Soto, Miriam and Prabhakar, Pavithra},
  booktitle    = {5th Indian Control Conference Proceedings},
  isbn         = {978-153866246-5},
  location     = {Delhi, India},
  publisher    = {IEEE},
  title        = {{Formal synthesis of stabilizing controllers for periodically controlled linear switched systems}},
  doi          = {10.1109/INDIANCC.2019.8715598},
  year         = {2019},
}