Formal Methods for Multiscale Models Derivation - Archive ouverte HAL Access content directly
Conference Papers Year : 2011

Formal Methods for Multiscale Models Derivation

(1) , (1) , (1) , (1) , (1)


We are currently developing software dedicated to multiscale and multiphysics modeling of arrays of micro and nanosystems. Unlike traditional software that is based on models built once and for all, here this is the software that constructs models. It is based on the mathematical Two-Scale Transform, a technique for asymptotic methods, together with formal specification and verification techniques in computer science, combining formal transformations and term rewriting and type theory. We aim at taking into account a wide range of geometries combining thin structures, periodic structures with the possibility of multiple nested scales and any combination of these features. In this paper we present the principle of our methods and our first results.
Fichier principal
Vignette du fichier
ydbl+11:oip-author.pdf (702.62 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01223779 , version 1 (03-11-2015)


  • HAL Id : hal-01223779 , version 1


Raj Dhara, Bin Yang, Walid Belkhir, Michel Lenczner, Alain Giorgetti. Formal Methods for Multiscale Models Derivation. CFM 2011, 20ème Congrès Français de Mécanique, 2011, Besançon, France. pp.4092--4097. ⟨hal-01223779⟩
69 View
14 Download


Gmail Facebook Twitter LinkedIn More