Formal Synthesis of Stabilizing Controllers for Periodically Controlled Linear Switched Systems

被引：0

作者：

Kundu, Atreyee ^{[1
]}

Soto, Miriam Garcia ^{[2
]}

Prabhakar, Pavithra ^{[3
,4
]}

机构：

[1] Indian Inst Sci Bangalore, Dept Elect Engn, Bangalore, Karnataka, India

[2] IST Austria, Klosterneuburg, Austria

[3] Kansas State Univ, Comp Sci, Manhattan, KS 66506 USA

[4] Kansas State Univ, Peggy & Gary Edwards Chair Engn, Manhattan, KS 66506 USA

来源：

2019 FIFTH INDIAN CONTROL CONFERENCE (ICC) | 2019年

基金：

美国国家科学基金会; 奥地利科学基金会;

关键词：

Switched systems; stability; controller synthesis; automata and game theory; STABILIZABILITY; SIGNALS;

D O I：

10.1109/indiancc.2019.8715598

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：484 / 489

页数：6

共 29 条

[1] A NECESSARY AND SUFFICIENT CONDITION FOR ROBUST ASYMPTOTIC STABILITY OF TIME-VARIANT DISCRETE-SYSTEMS [J].

BAUER, PH ;

PREMARATNE, K ;

DURAN, J .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1993, 38 (09) :1427-1430

[2]

BRANICKY M., 2004, ENCY LIFE SUPPORT SY

[3] Perspectives and results on the stability and stabilizability of hybrid systems [J].

DeCarlo, RA ;

Branicky, MS ;

Pettersson, S ;

Lennartson, B .

PROCEEDINGS OF THE IEEE, 2000, 88 (07) :1069-1082

[4] Stability and stabilization of continuous-time switched linear systems [J].

Geromel, Jose C. ;

Colaneri, Patrizio .

SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 2006, 45 (05) :1915-1930

[5]

Gradel E., 2002, Automata, Logics, and Infinite Games: A Guide to Current Research, volume 2500 of Lecture Notes in Computer Science

[6] On Lyapunov-Metzler Inequalities and S-Procedure Characterizations for the Stabilization of Switched Linear Systems [J].

Heemels, W. P. M. H. ;

Kundu, A. ;

Daafouz, J. .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2017, 62 (09) :4593-4597

[7]

Hespanha J. P., 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304), P2655, DOI 10.1109/CDC.1999.831330

[8]

Johansson M, 2003, LECT NOTES CONTR INF, V284, P1

[9] Stabilizing switching signals: A transition from point-wise to asymptotic conditions [J].

Kundu, Atreyee ;

Chatterjee, Debasish .

SYSTEMS & CONTROL LETTERS, 2017, 106 :16-23

[10] Stabilizing Switching Signals for Switched Systems [J].

Kundu, Atreyee ;

Chatterjee, Debasish .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2015, 60 (03) :882-888

← 1 2 3 →