Observability and controllability of piecewise affine and hybrid systems

被引：427

作者：

Bemporad, A ^{[1
]}

Ferrari-Trecate, G ^{[1
]}

Morari, M ^{[1
]}

机构：

[1] Swiss Fed Inst Technol, Inst Automat, CH-8092 Zurich, Switzerland

来源：

IEEE TRANSACTIONS ON AUTOMATIC CONTROL | 2000年 / 45卷 / 10期

关键词：

controllability; hybrid systems; mixed-integer linear programming; observability; piecewise affine systems; piecewise linear systems;

D O I：

10.1109/TAC.2000.880987

中图分类号：

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

学科分类号：

0812 ;

摘要：

In this paper, me prove, in a constructive way, the equivalence between piecewise affine systems and a broad class of hybrid systems described by interacting linear dynamics, automata, and propositional logic. By focusing our investigation on the former class, we show through counterexamples that observability and controllability properties cannot be easily deduced from those of the component linear subsystems. Instead, rye propose practical numerical tests based on mixed-integer linear programming.

引用

页码：1864 / 1876

页数：13

共 39 条

[1] Alur Rajeev, 1993, Hybrid Systems, P209, DOI [DOI 10.1007/3-540-57318-6_30, DOI 10.1007/3-540-57318-6]
[2] [Anonymous], 1993, MODEL BUILDING MATH
[3] REACHABILITY ANALYSIS OF DYNAMICAL-SYSTEMS HAVING PIECEWISE-CONSTANT DERIVATIVES
ASARIN, E
MALER, O
PNUELI, A
[J]. THEORETICAL COMPUTER SCIENCE, 1995, 138 (01) : 35 - 65
[4] Control of systems integrating logic, dynamics, and constraints
Bemporad, A
Morari, M
[J]. AUTOMATICA, 1999, 35 (03) : 407 - 427
[5] Bemporad A., 1999, Proceedings of the 1999 American Control Conference (Cat. No. 99CH36251), P2471, DOI 10.1109/ACC.1999.786492
[6] Bemporad A, 1999, LECT NOTES COMPUT SC, V1569, P31
[7] Bemporad A, 2000, LECT NOTES COMPUT SC, V1790, P45
[8] Complexity of stability and controllability of elementary hybrid systems
Blondel, VD
Tsitsiklis, JN
[J]. AUTOMATICA, 1999, 35 (03) : 479 - 489
[9] BLONDEL VD, 2000, P AM CONTR C, P1684
[10] Multiple Lyapunov functions and other analysis tools for switched and hybrid systems
Branicky, MS
[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1998, 43 (04) : 475 - 482

← 1 2 3 4 →