Incomplete information is present in many engineering
domains, hindering traditional and non—traditional
simulation techniques. This paper describes SQPC
(semi—quantitative physics compiler), an implemented
approach to modelling and simulation that can predict
the behavior of incompletely specified systems, such as
those that arise in the water control domain. SQPC
is the first system that unifies compositional model-
ing techniques with semi—quantitative representations.
We describe SQPC’s foundations, QS1M and QPC,
and how it extends them. We demonstrate SQPC us-
ing an example from the water supply domain.
