TY - JOUR
AU - A. Murthy
AU - Md. Islam
AU - S. Smolka
AU - R. Grosu
BT - Nonlinear Analysis: Hybrid Systems
DA - 05/2016
LA - eng
PY - 2016
T2 - Nonlinear Analysis: Hybrid Systems
TI - Computing Compositional Proofs of Input-to-Output Stability Using SOS Optimization and δ-Decidability
ER -