In this paper a general nonlinear input-to-state stability small gain theory is described using idempotent analytic techniques. The theorem is proved within the context of the idempotent semiring K ⊂ End ○+ 0(R≥0), and may be regarded as an application of theoretical computer science techniques to systems and control theory. We show that particular to power law input-to-state gain functions the deduction of the resulting sufficient condition for input-to-state stability may be performed efficiertly, using any suitable dynamic programming algorithm. We indicate, through an example, how an analysis of the (weighted, directed) graph of the system complex gives a computable means to delimit (in an easily understood form) robust input-to-state stability bounds.
[1]
Andrew R. Teel,et al.
On graphs, conic relations, and input-output stability of nonlinear feedback systems
,
1996,
IEEE Trans. Autom. Control..
[2]
Eduardo D. Sontag,et al.
The ISS philosophy as a unifying framework for stability-like behavior
,
2001
.
[3]
Eduardo Sontag.
Smooth stabilization implies coprime factorization
,
1989,
IEEE Transactions on Automatic Control.
[4]
Zhong-Ping Jiang,et al.
Small-gain theorem for ISS systems and applications
,
1994,
Math. Control. Signals Syst..
[5]
V. Kolokoltsov,et al.
Idempotent Analysis and Its Applications
,
1997
.