Straightening out rectangular differential inclusions

被引：4

作者：

Pappas, GJ ^{[1
]}

Sastry, S ^{[1
]}

机构：

[1] Univ Calif Berkeley, Dept Elect Engn & Comp Sci, Berkeley, CA 94720 USA

来源：

SYSTEMS & CONTROL LETTERS | 1998年 / 35卷 / 02期

关键词：

differential inclusions; hybrid systems; coordinate transformation; formal verification; straightening out theorem;

D O I：

10.1016/S0167-6911(98)00037-1

中图分类号：

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

学科分类号：

0812 ;

摘要：

In this paper, the classic straightening out theorem from differential geometry is used to derive necessary and sufficient conditions for locally converting rectangular differential inclusions to constant rectangular differential inclusions. Both scalar and coupled differential inclusions are considered. The results presented in this paper have use in the area of computer aided verification of hybrid systems where they represent the frontier of the known decidable models of infinite state systems. (C) 1998 Elsevier Science B.V. All rights reserved.

引用

页码：79 / 85

页数：7

共 14 条

[1]

Abraham R., 2012, Manifolds, tensor analysis, and applications, V75

[2] A THEORY OF TIMED AUTOMATA [J].

ALUR, R ;

DILL, DL .

THEORETICAL COMPUTER SCIENCE, 1994, 126 (02) :183-235

[3]

ALUR R, 1996, LECT NOTES COMPUTER, V1066

[4]

ANTSAKLIS PJ, 1995, LECT NOTES COMPUTER, V999

[5]

ANTSAKLIS PJ, 1997, LECT NOTES COMPUTER, V1273

[6]

GROSSMAN R, 1993, LECT NOTES COMPUTER, V736

[7]

Henzinger T. A., 1995, Proceedings of the Twenty-Seventh Annual ACM Symposium on the Theory of Computing, P373, DOI 10.1145/225058.225162

[8]

HENZINGER TA, 1998, LECT NOTES COMPUTER, V1386

[9]

MALER O, 1997, LECT NOTES COMPUTER, V1201

[10]

PAPPAS GJ, 1997, LECT NOTES COMPUTER, V1273, P329

← 1 2 →