부산대학교 도서관

This letter presents identities for calculating robust successor and precursor sets of discrete-time linear hybrid systems. The proposed technique relies on generating a set containing all possible state transitions of a dynamic system over a region of interest, named the state-update set. Forward and backward reachability can then be performed using only projection, intersection, and Minkowski difference set operations with the state-update set. It is shown how state-update sets may be defined as hybrid zonotopes for mixed logical dynamical systems and linear systems in closed loop with model predictive control.