---
_id: '6565'
abstract:
- lang: eng
  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.
article_number: '8715598'
article_processing_charge: No
author:
- first_name: Atreyee
  full_name: Kundu, Atreyee
  last_name: Kundu
- first_name: Miriam
  full_name: Garcia Soto, Miriam
  id: 4B3207F6-F248-11E8-B48F-1D18A9856A87
  last_name: Garcia Soto
  orcid: 0000−0003−2936−5719
- first_name: Pavithra
  full_name: Prabhakar, Pavithra
  last_name: Prabhakar
citation:
  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>'
  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>.
  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.
  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 2019 - 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>.
  short: A. Kundu, M. Garcia Soto, P. Prabhakar, in:, 5th Indian Control Conference
    Proceedings, IEEE, 2019.
conference:
  end_date: 2019-01-11
  location: Delhi, India
  name: ICC 2019 - Indian Control Conference
  start_date: 2019-01-09
date_created: 2019-06-17T06:57:33Z
date_published: 2019-05-16T00:00:00Z
date_updated: 2021-01-12T08:08:01Z
day: '16'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1109/INDIANCC.2019.8715598
file:
- access_level: open_access
  checksum: d622a91af1e427f6b1e0ba8e18a2b767
  content_type: application/pdf
  creator: dernst
  date_created: 2020-10-21T13:13:49Z
  date_updated: 2020-10-21T13:13:49Z
  file_id: '8687'
  file_name: 2019_ICC_Kundu.pdf
  file_size: 396031
  relation: main_file
  success: 1
file_date_updated: 2020-10-21T13:13:49Z
has_accepted_license: '1'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Submitted Version
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S 11407_N23
  name: Rigorous Systems Engineering
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: Z211
  name: The Wittgenstein Prize
publication: 5th Indian Control Conference Proceedings
publication_identifier:
  isbn:
  - 978-153866246-5
publication_status: published
publisher: IEEE
quality_controlled: '1'
scopus_import: '1'
status: public
title: Formal synthesis of stabilizing controllers for periodically controlled linear
  switched systems
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2019'
...