STRAIGHTENING OUT RECTANGULAR DIFFERENTIAL-INCLUSIONS

Authors
PAPPAS GJ SASTRY S
Citation
Gj. Pappas et S. Sastry, STRAIGHTENING OUT RECTANGULAR DIFFERENTIAL-INCLUSIONS, Systems & control letters, 35(2), 1998, pp. 79-85
Citations number
14
Categorie Soggetti
Robotics & Automatic Control","Operatione Research & Management Science","Robotics & Automatic Control","Operatione Research & Management Science
Journal title
Systems & control letters → ACNP
ISSN journal
01676911
Volume
35
Issue
2
Year of publication
1998
Pages
79 - 85
Database
ISI
SICI code
0167-6911(1998)35:2<79:SORD>2.0.ZU;2-T
Abstract
In this paper, the classic straightening out theorem from differential geometry is used to derive necessary and sufficient conditions for lo cally converting rectangular differential inclusions to constant recta ngular differential inclusions. Both scalar and coupled differential i nclusions are considered. The results presented in this paper have use in the area of computer aided verification of hybrid systems where th ey represent the frontier of the known decidable models of infinite st ate systems. (C) 1998 Elsevier Science B.V. All rights reserved.