• Aucun résultat trouvé

Handling Refinement of Continuous Behaviors: A Refinement and Proof Based Approach with Event-B

N/A
N/A
Protected

Academic year: 2021

Partager "Handling Refinement of Continuous Behaviors: A Refinement and Proof Based Approach with Event-B"

Copied!
9
0
0

Texte intégral

Loading

Figure

Table I – Model structure
Fig. 1 – Differential Equation Theory Snippet
Fig. 5 – Example of Many Controller-Many Plants System

Références

Documents relatifs

Dans cette synthèse, l’objectif est d’accéder aux produits 240 en version acide phosphonique, nous nous intéresserons ainsi, à l’alkylation régiosélective de l’uracile

This paper show how proof and refinement based approaches handle the development of a correct-by-construction discrete controller starting from a dense time continuous

In the context of guaranteed estimation, the prediction step involves guaranteed integration under consideration of all uncertainties, and the correction step must eliminate any part

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des

Our results were obtained by applying SOCRaTes to 11 industry case studies and show that (i) our requirements language is able to express all the 98 requirements of our case

Pour communiquer directement avec un auteur, consultez la première page de la revue dans laquelle son article a été publié afin de trouver ses coordonnées.. Si vous n’arrivez pas

Title: Roles of Bone Morphogenetic Proteins in adipose conversion and human adipose tissue development Abstract Adipocytes cells specialized in fat storage arise from immature

Furthermore, the continuous-state model shows also that the F 1 motor works with a tight chemomechanical coupling for an external torque ranging between the stalling torque and