Semi-quantitative comparative analysis and its application

Ivayla Vatcheva; Hidde de Jong

Semi-quantitative comparative analysis and its application

Ivayla Vatcheva
, Hidde de Jong

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

98 Downloads (Pure)

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 semi-quantitative 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. SQCA represents the core of a method for the automated prediction of experimental results.

Original language	Undefined
Title of host publication	Proceedings of the 13th International Workshop on Qualitative Reasoning, QR'99
Place of Publication	Loch Awe, Scotland
Pages	231-239
Publication status	Published - 4 Feb 1999
Event	13th International Workshop on Qualitative Reasoning, QR'99 - Loch Awe, Scotland Duration: 6 Jun 1999 → 9 Jun 1999

Workshop

Workshop	13th International Workshop on Qualitative Reasoning, QR'99
Period	6/06/99 → 9/06/99
Other	6-9 June 1999

Keywords

METIS-119708
IR-59860

Access to Document

Vatcheva99semiq

Cite this

@inproceedings{bce90bc3d6c54d7baa88e20bb5508023,

title = "Semi-quantitative comparative analysis and its application",

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 semi-quantitative 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. SQCA represents the core of a method for the automated prediction of experimental results.",

keywords = "METIS-119708, IR-59860",

author = "Ivayla Vatcheva and \{de Jong\}, Hidde",

year = "1999",

month = feb,

day = "4",

language = "Undefined",

isbn = "0903878607",

pages = "231--239",

booktitle = "Proceedings of the 13th International Workshop on Qualitative Reasoning, QR'99",

note = "13th International Workshop on Qualitative Reasoning, QR\'99 ; Conference date: 06-06-1999 Through 09-06-1999",

}

TY - GEN

T1 - Semi-quantitative comparative analysis and its application

AU - Vatcheva, Ivayla

AU - de Jong, Hidde

PY - 1999/2/4

Y1 - 1999/2/4

N2 - 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 semi-quantitative 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. SQCA represents the core of a method for the automated prediction of experimental results.

AB - 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 semi-quantitative 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. SQCA represents the core of a method for the automated prediction of experimental results.

KW - METIS-119708

KW - IR-59860

M3 - Conference contribution

SN - 0903878607

SP - 231

EP - 239

BT - Proceedings of the 13th International Workshop on Qualitative Reasoning, QR'99

CY - Loch Awe, Scotland

T2 - 13th International Workshop on Qualitative Reasoning, QR'99

Y2 - 6 June 1999 through 9 June 1999

ER -