Formal Synthesis of Stabilizing Controllers for Periodically Controlled Linear Switched Systems

Kundu, A and Soto, MG and Prabhakar, P (2019) Formal Synthesis of Stabilizing Controllers for Periodically Controlled Linear Switched Systems. In: 5th Indian Control Conference, ICC 2019, 9 January 2019 - 11 January 2019, Delhi, pp. 484-489.

PDF ICC_2019.pdf - Published Version Restricted to Registered users only Download (349kB) | Request a copy

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,

Item Type:	Conference Paper
Publication:	2019 5th Indian Control Conference, ICC 2019 - Proceedings
Publisher:	Institute of Electrical and Electronics Engineers Inc.
Additional Information:	The copyright for this article belongs to Institute of Electrical and Electronics Engineers Inc.
Keywords:	Computer games; Convergence of numerical methods; Game theory; Graphic methods; Linear systems, Controller synthesis; Formal synthesis; Linear switched systems; Periodic switching; Stabilizing controllers; Switched system; Switching controllers; Winning strategy, Controllers
Department/Centre:	Division of Electrical Sciences > Electrical Engineering
Date Deposited:	27 Dec 2022 05:08
Last Modified:	27 Dec 2022 05:08
URI:	https://eprints.iisc.ac.in/id/eprint/78573

Actions (login required)

View Item