Robust Verification of Piecewise Affine Systems
2002 (English)In: Proceedings of the 15th IFAC World Congress, 2002, 221-221 p.Conference paper (Refereed)
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
2002. 221-221 p.
Verification, Robustness, Bounded disturbances, Uncertain dynamic systems, Switching surfaces
Engineering and Technology Control Engineering
IdentifiersURN: urn:nbn:se:liu:diva-90274DOI: 10.3182/20020721-6-ES-1901.00223ISBN: 978-3-902661-74-6OAI: oai:DiVA.org:liu-90274DiVA: diva2:613926
15th IFAC World Congress, Barcelona, Spain, July, 2002