The formal representation of process system modelling assumptions and their implications

K. M. Hangos, I. T. Cameron

Research output: Contribution to journalArticle

11 Citations (Scopus)


In order to analyse the effect of modelling assumptions in a formal, rigorous way, a syntax of modelling assumptions has been defined. The syntax of modelling assumptions enables us to represent modelling assumptions as transformations acting on the set of model equations. The notion of syntactical correctness and semantical consistency of sets of modelling assumptions is defined and methods for checking them are described. It is shown on a simple example how different modelling assumptions act on the model equations and their effect on the differential index of the resulted model is also indicated.

Original languageEnglish
Pages (from-to)S823-S828
JournalComputers and Chemical Engineering
Issue numberSUPPL.1
Publication statusPublished - Jan 1 1997

ASJC Scopus subject areas

  • Chemical Engineering(all)
  • Computer Science Applications

Cite this