Semi-quantitative comparative analysis

  • Authors:
  • Ivayla Vatcheva;Hidde De Jong

  • Affiliations:
  • Department of Computer Science, University of Twente, Enschede, The Netherlands;INRIA Rhone-Alpes, Saint Martin, France

  • Venue:
  • IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
  • Year:
  • 1999

Quantified Score

Hi-index 0.00

Visualization

Abstract

SQCA is an implemented technique for the semi-quantitative comparative analysis of dynamical systems. It is both able to deal with incompletely specified models and make precise predictions by exploiting semiquantitative information in the form of numerical bounds on the variables and functions occuring in the models. The technique has a solid mathematical foundation which facilitates proofs of correctness and convergence properties.