Title | Computing Compositional Proofs of Input-to-Output Stability Using SOS Optimization and δ-Decidability |
Publication Type | Journal Article |
Year of Publication | 2016 |
Authors | Murthy, A., , Smolka S. A., and Grosu R. |
Journal | Nonlinear Analysis: Hybrid Systems |
Date Published | 05/2016 |