Distributed Saturated Control for a Class of Semilinear PDE Systems: An SOS Approach | IEEE Journals & Magazine | IEEE Xplore