Semi-quantitative comparative analysis

Ivayla Vatcheva; Hidde de Jong

Semi-quantitative comparative analysis

Ivayla Vatcheva
, Hidde de Jong

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

8 Citations (Scopus)

106 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.

Original language	Undefined
Title of host publication	Proceedings of the 16th International Joint Conference on Artificial Intelligence, IJCAI'99
Place of Publication	San Francisco, USA
Pages	1034-1040
Publication status	Published - 4 Feb 1999
Event	16th International Joint Conference on Artificial Intelligence, IJCAI 1999 - Stockholm, Sweden Duration: 31 Jul 1999 → 6 Aug 1999 Conference number: 16

Conference

Conference	16th International Joint Conference on Artificial Intelligence, IJCAI 1999
Abbreviated title	IJCAI 1999
Country/Territory	Sweden
City	Stockholm
Period	31/07/99 → 6/08/99

Keywords

METIS-119707
IR-59858

Access to Document

Vatcheva99semi

Cite this

@inproceedings{784efaa90192457496e064700cf703c3,

title = "Semi-quantitative comparative analysis",

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.",

keywords = "METIS-119707, IR-59858",

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

year = "1999",

month = feb,

day = "4",

language = "Undefined",

isbn = "1-55860-613-0",

pages = "1034--1040",

booktitle = "Proceedings of the 16th International Joint Conference on Artificial Intelligence, IJCAI'99",

note = "16th International Joint Conference on Artificial Intelligence, IJCAI 1999 ; Conference date: 31-07-1999 Through 06-08-1999",

}

TY - GEN

T1 - Semi-quantitative comparative analysis

AU - Vatcheva, Ivayla

AU - de Jong, Hidde

N1 - Conference code: 16

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.

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.

KW - METIS-119707

KW - IR-59858

M3 - Conference contribution

SN - 1-55860-613-0

SP - 1034

EP - 1040

BT - Proceedings of the 16th International Joint Conference on Artificial Intelligence, IJCAI'99

CY - San Francisco, USA

T2 - 16th International Joint Conference on Artificial Intelligence, IJCAI 1999

Y2 - 31 July 1999 through 6 August 1999

ER -