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.
A semi-quantitative physics compiler
BRAJNIK, Giorgio
1994-01-01
Abstract
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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
