Login / Signup

Verification of ISS, iISS and IOSS properties applying weighted homogeneity.

Emmanuel BernuauAndrey PolyakovDenis V. EfimovWilfrid Perruquetti
Published in: Syst. Control. Lett. (2013)
Keyphrases
  • desirable properties
  • data sets
  • databases
  • image segmentation
  • weighted sum
  • topological properties
  • formal verification