@techreport{oai:kyutech.repo.nii.ac.jp:00003566,
 author = {Ito, Hiroshi and 伊藤, 博},
 month = {Mar},
 note = {This technical report addresses necessary conditions and sufficient conditions for stability of interconnection of nonlinear systems with external inputs. Integralinput-to-state stable (iISS) systems and input-to-state stable (ISS) systems are treated in a unified manner using a Lyapunov formulation. The purpose of this technical report is to provide proofs of the following properties. One property this report proves is that, for the stability of the interconnected system in the presence of model uncertainty, at least one subsystem is necessarily ISS which is a stronger stability property in the set of iISS. Fulfillment of a small-gain-type property is also proved to be necessary. Finally, this report derives a common form of smooth Lyapunov functions which can establish the iISS and the ISS of the interconnection comprising iISS and ISS subsystems whenever the small-gain-type condition is satisfied. Instead of explaining implications of the properties, this technical report focuses on presenting their proofs.},
 title = {Small-Gain Conditions for iISS Systems: Some Proofs of Sufficiency and Necessity},
 year = {2009},
 yomi = {イトウ, ヒロシ}
}