|
ROBUST VERIFICATION OF PIECEWISE AFFINE SYSTEMS
Jacob Roll
Division of Automatic Control, Department of Electrical Engineering,
Linköping University, SE-581 83 Linköping, Sweden. E-mail:
roll@isy.liu.se
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.
Keywords: Verification, Robustness, Bounded disturbances, Uncertain dynamic systems, Switching surfaces
Session slot T-We-A21: Posters of Nonlinear Systems/Area code 2c : Non-linear Systems
 | 