Abstract: A composite quadratic Lyapunov function introduced recently was shown to be very useful in the study of set invariance properties for linear systems with input and state constraints and for ...