The probabilistic steam boiler: A case study in probabilistic data refinement

MaRDI QIDQ4250666zbMATH OpenFDO

Authors Elena Troubitsyna, Annabelle McIver, Carroll Morgan

Publication date 17 June 1999

zbMATH Keywords

sequential programssteam boiler

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• Data refinement with probability in mind
• Fuzzy arithmetical modeling of a steam turbine and a boiler system
• Predicting steam production using Kalman filter
• scientific article; zbMATH DE number 1353934
• Stochastic modeling of heat exchanger response to data uncertainties
• scientific article; zbMATH DE number 1985646

Cited in

(3)

• Probabilistic datatypes
• Integrating stochastic reasoning into Event-B development
• Algebraic reasoning for probabilistic action systems and while-loops

This page was built for publication: The probabilistic steam boiler: A case study in probabilistic data refinement

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4250666)