Symbolic models for unstable nonlinear control systems

被引：0

作者：

Zamani, Majid ^{[1
]}

Pola, Giordano ^{[1
]}

Tabuada, Paulo ^{[1
]}

机构：

[1] Univ Calif Los Angeles, Dept Elect Engn, Los Angeles, CA 90095 USA

来源：

2010 AMERICAN CONTROL CONFERENCE | 2010年

基金：

美国国家科学基金会;

关键词：

MINIMAL HYBRID SYSTEMS;

D O I：

暂无

中图分类号：

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

学科分类号：

0812 ;

摘要：

In this paper we take an important step in our quest to synthesize correct-by-design embedded control software for nonlinear systems. We have shown in previous work that by relying on diverse stability and stabilizability assumptions it is possible to construct finite-state models describing the dynamics of nonlinear control systems. Such finite-state models enable the use of algorithmic techniques to automatically synthesize controllers enforcing control and software requirements. In the present paper, we show that similar results can still be obtained by replacing the stability or stabilizability assumptions by the much weaker assumption of incremental forward completeness. We illustrate the new results by synthesizing a controller for an inverted pendulum subject to a schedulability constraint.

引用

页码：1021 / 1026

页数：6

共 17 条

[1]

ALUR R, 1990, LECT NOTES COMPUT SC, V443, P322

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

Angeli, D ;

Sontag, ED .

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

[3] A Lyapunov approach to incremental stability properties [J].

Angeli, D .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2002, 47 (03) :410-421

[4] On the expressiveness and decidability of o-minimal hybrid systems [J].

Brihaye, T ;

Michaux, C .

JOURNAL OF COMPLEXITY, 2005, 21 (04) :447-478

[5]

Girard A, 2007, LECT NOTES COMPUT SC, V4416, P231

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

Girard, Antoine ;

Pappas, George J. .

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

[7] Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems [J].

Girard, Antoine ;

Pola, Giordano ;

Tabuada, Paulo .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2010, 55 (01) :116-126

[8] Reachability and control synthesis for piecewise-affine hybrid systems on simplices [J].

Habets, L. C. G. J. M. ;

Collins, P. J. ;

van Schuppen, J. H. .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2006, 51 (06) :938-948

[9] What's decidable about hybrid automata? [J].

Henzinger, TA ;

Kopke, PW ;

Puri, A ;

Varaiya, P .

JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1998, 57 (01) :94-124

[10] O-minimal hybrid systems [J].

Lafferriere, G ;

Pappas, GJ ;

Sastry, S .

MATHEMATICS OF CONTROL SIGNALS AND SYSTEMS, 2000, 13 (01) :1-21

← 1 2 →