1. Computing compositional proofs of Input-to-Output Stability using SOS optimization and δ-decidability. (February 2017) Authors: Murthy, Abhishek; Islam, Md. Ariful; Smolka, Scott A.; Grosu, Radu Journal: Nonlinear analysis Issue: Volume 23(2017) Page Start: 272 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗