Mathematical Support for Ensemble Engineering

Authors:
Michael Johnson
Affiliations:
Macquarie University, Sydney, Australia
Venue:
Software-Intensive Systems and New Computing Paradigms
Year:
2008

Citing 5
Cited 0

Categories and computer science

Categories and computer science
Category theory for computing science, 2nd ed.

Category theory for computing science, 2nd ed.
Fundamentals of Algebraic Specification I

Fundamentals of Algebraic Specification I
View Updatability Based on the Models of a Formal Specification

FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Fibrations and universal view updatability

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

We study some of the mathematical challenges presented by the need to support ensemble engineering, concentrating on likely contributions from category theory and universal algebra. Particular attention is paid to dealing with missing data, modelling dynamics and interaction, and analysing inconsistencies.