Robust Verification of Piecewise Affine Systems
2003 (English)Report (Other academic)
Piecewise affine systems is an important class of hybrid systems. They consist of several affine dynamic subsystems, between which switchings occur at different occasions. In this paper, a verification method for piecewise affine systems is considered, and a method to determine how sensitive the verified properties are to changes in the dynamics and the locations of the switching surfaces is proposed. This information can then be used for robustness analysis or control design.
Place, publisher, year, edition, pages
Linköping: Linköping University Electronic Press, 2003. , 14 p.
LiTH-ISY-R, ISSN 1400-3902 ; 2481
Verification, Robustness, Bounded disturbances, Uncertain dynamic systems, Switching surfaces
IdentifiersURN: urn:nbn:se:liu:diva-55901ISRN: LiTH-ISY-R-2481OAI: oai:DiVA.org:liu-55901DiVA: diva2:316630