Dynamic Quantization based Symbolic Abstractions for Nonlinear Control Systems

被引：0

作者：

Ren, Wei ^{[1
]}

Dimarogonas, Dimos V. ^{[1
]}

机构：

[1] KTH Royal Inst Technol, Div Decis & Control Syst, EECS, SE-10044 Stockholm, Sweden

来源：

2019 IEEE 58TH CONFERENCE ON DECISION AND CONTROL (CDC) | 2019年

基金：

欧盟地平线“2020”; 瑞典研究理事会;

关键词：

FEEDBACK STABILIZATION; SWITCHED SYSTEMS; DISCRETE; SAFETY; MODELS;

D O I：

暂无

中图分类号：

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

学科分类号：

0812 ;

摘要：

This paper studies the construction of dynamic symbolic abstractions for nonlinear control systems via dynamic quantization. Since computational complexity is a fundamental problem in the use of discrete abstractions, a dynamic quantizer with a time-varying quantization parameter is first applied to deal with this problem. Due to the dynamic quantizer, a dynamic approximation approach is proposed for the state and input sets. Based on the dynamic approximation, dynamic symbolic abstractions are constructed for nonlinear control systems, and an approximate bisimulation relation is guaranteed for the original system and the constructed dynamic symbolic abstraction. Finally, the obtained results are illustrated through a numerical example from path planning of mobile robots.

引用

页码：4343 / 4348

页数：6

共 26 条

[1] Forward completeness, unboundedness observability, and their Lyapunov characterizations [J].

Angeli, D ;

Sontag, ED .

SYSTEMS & CONTROL LETTERS, 1999, 38 (4-5) :209-217

[2]

[Anonymous], 2010, Feedback Systems: An Introduction for Scientists and Engineers

[3] Input and Output Quantized Feedback Linear Systems [J].

Coutinho, Daniel F. ;

Fu, Minyue ;

de Souza, Carlos E. .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2010, 55 (03) :761-766

[4] STABILIZING A LINEAR-SYSTEM WITH QUANTIZED STATE FEEDBACK [J].

DELCHAMPS, DF .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1990, 35 (08) :916-924

[5] Stabilization of linear systems with limited information [J].

Elia, N ;

Mitter, SK .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2001, 46 (09) :1384-1400

[6] A discrete-event model of asynchronous quantised systems [J].

Förstner, D ;

Jung, M ;

Lunze, J .

AUTOMATICA, 2002, 38 (08) :1277-1286

[7] Approximation metrics for discrete and continuous systems [J].

Girard, Antoine ;

Pappas, George J. .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2007, 52 (05) :782-798

[8] Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models [J].

Girard, Antoine ;

Gossler, Gregor ;

Mouelhi, Sebti .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2016, 61 (06) :1537-1549

[9] Low-complexity quantized switching controllers using approximate bisimulation [J].

Girard, Antoine .

NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2013, 10 :34-44

[10] Controller synthesis for safety and reachability via approximate bisimulation [J].

Girard, Antoine .

AUTOMATICA, 2012, 48 (05) :947-953

← 1 2 3 →