Artificial Intelligence
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Qualitative and quantitative simulation: bridging the gap
Artificial Intelligence
Methods and Applications of Interval Analysis (SIAM Studies in Applied and Numerical Mathematics) (Siam Studies in Applied Mathematics, 2.)
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Experiment selection for the discrimination of semi-quantitative models of dynamical systems
Artificial Intelligence
Hi-index | 0.00 |
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.