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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11390/685962
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact