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