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⟩
22 Consultations
93 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More