Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development

Résumé

This paper presents a substitution mechanism for systems having a continuous behavior. It shall preserve the safety property stating that the output of both systems remain in a safety envelope. The whole approach is formalized using Event-B, and relies on the Rodin tools and a theory of Reals provided by the Rodin Theory Plug-in to check the internal consistency with respect to safety properties, invariants and events.
Fichier principal
Vignette du fichier
Handling Continuous Functions in Hybrid Systems Reconfigurations.pdf (320.84 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-03155064 , version 1 (02-03-2021)

Identifiants

Citer

Guillaume Babin, Yamine Aït-Ameur, Neeraj Kumar Singh, Marc Pantel. Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development. ABZ 2016 - 5th International Conference Abstract State Machines, Alloy, B, TLA, VDM, and Z, May 2016, Linz, Austria. pp.290--296, ⟨10.1007/978-3-319-33600-8_23⟩. ⟨hal-03155064⟩
23 Consultations
101 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More