화학공학소재연구정보센터
IEEE Transactions on Automatic Control, Vol.52, No.1, 26-38, 2007
Ellipsoidal techniques for reachability analysis of discrete-time linear systems
This paper describes the computation of reach sets for discrete-time linear control systems with time-varying coefficients and ellipsoidal bounds on the controls and initial conditions. The algorithms construct external and internal ellipsoidal approximations that touch the reach set boundary from outside and from inside. Recurrence relations describe the time evolution of these approximations. An essential part of the paper deals with singular discrete-time linear systems.