Event-B Formalization of a Variability-Aware Component Model Patterns Framework

Abstract : The problem of stabilizing a nonlinear system approximated in a neighborhood of the origin by a saturated chain of integrators when the variables are not accurately measured is addressed. A recent backstepping approach with delay is adapted to the specificity of the studied system. The results are used to solve a control problem that arises in the context of vision based landing of a civil aircraft.
Complete list of metadatas

Cited literature [28 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02181895
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Friday, July 12, 2019 - 2:35:20 PM
Last modification on : Monday, October 28, 2019 - 4:32:51 PM

File

bodeveix_22579.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02181895, version 1
  • OATAO : 22579

Citation

Jean-Paul Bodeveix, Arnaud Dieumegard, Mamoun Filali. Event-B Formalization of a Variability-Aware Component Model Patterns Framework. 15th International Conference on Formal Aspects of Component Software (FACS 2018), Oct 2018, Pohang, South Korea. pp.54-74. ⟨hal-02181895⟩

Share

Metrics

Record views

37

Files downloads

41