Abstract
Nearly all steps of a typical engineering process can be reliably automated. Software tools such as MathematicaTM, Coq, and BLAST can solve almost arbitrarily intricate equations, demonstrate complex theorems, and prove the correctness of algorithms. Machine tools and 3D printers can construct simple or complex objects based on a CAD model, with virtually no human intervention. Whenever a process can be broken into a set of relatively systematic and formal recipes, there is room for automation. Following this line of reasoning, and assuming that the MLMM provides such recipes, this chapter explores the opportunity of automating the generation of models at multiple abstraction levels. In particular, we refine and extend the MLMM by introducing a methodological and computational framework, called the M3 framework, which provides a consistent set of theoretical and computational tools targeted to the automated construction of models of SMPs at multiple abstraction levels.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Mermoud, G. (2014). Automated Multi-level Modeling. In: Stochastic Reactive Distributed Robotic Systems. Springer Tracts in Advanced Robotics, vol 93. Springer, Cham. https://doi.org/10.1007/978-3-319-02609-1_9
Download citation
DOI: https://doi.org/10.1007/978-3-319-02609-1_9
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-02608-4
Online ISBN: 978-3-319-02609-1
eBook Packages: EngineeringEngineering (R0)