Conceptual modelling: towards detecting modelling errors in engineering applications

DOI10.1002/MMA.5934MaRDI QIDQ5116839zbMATH OpenOpenAlexFDO

Authors D. Legatiuk, Henrik Nilsson, Kay Smarsly, K. Gürlebeck

Publication date 19 August 2020

Published in Mathematical Methods in the Applied Sciences (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1002/mma.5934

zbMATH Keywords

abstractionengineeringformal approachesmodellingtype theory

Mathematics Subject Classification ID

General theory of mathematical modeling (00A71) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Categorical approach to modelling and to coupling of models
• Model error concepts in control design
• scientific article; zbMATH DE number 2243624
• scientific article; zbMATH DE number 1909058
• scientific article; zbMATH DE number 4141443

Cited in

(2)

• Valid models require defined levels
• scientific article; zbMATH DE number 2243624 (Why is no real title available?)

This page was built for publication: Conceptual modelling: towards detecting modelling errors in engineering applications

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