A constructive proof of ISS small-gain theorem using generalized scaling.

Published in: CDC (2002)

Keyphrases

interactive theorem proving
real time
small number
databases
small fraction
medium size
data sets
real world
case study
wide range
digital libraries
expert systems
special case
theorem prover
small size
linear logic