Skip to Main content Skip to Navigation
Reports

A Refinement Strategy for Hybrid System Design with Safety Constraints

Zheng Cheng 1 Dominique Méry 2, 3, 1
1 MOSEL - Proof-oriented development of computer-based systems
LORIA - FM - Department of Formal Methods
2 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
MPII - Max-Planck-Institut für Informatik, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : Whenever continuous dynamics and discrete control interact, hybrid systems arise. As hybrid systems become ubiquitous and more and more complex, analysis and synthesis techniques are in high demand to design safe hybrid systems. This is however challenging due to the nature of hybrid systems and their designs, and the question of how to formulate and reason their safety problems. Previous work has demonstrated how to extend discrete modelling language Event-B with continuous supports to integrate traditional refinement in hybrid system design. In the same spirit, we extend previous work by proposing a strategy that can coherently refine an abstract hybrid system design with safety constraints down to the concrete one with implementable discrete control that can behave safely. Our proposal is validated on the design of a smart heating system, and we share with our experience.
Complete list of metadatas

Cited literature [22 references]  Display  Hide  Download

https://hal.inria.fr/hal-02895528
Contributor : Dominique Méry <>
Submitted on : Thursday, July 9, 2020 - 6:12:25 PM
Last modification on : Friday, September 4, 2020 - 11:20:23 AM

Identifiers

  • HAL Id : hal-02895528, version 1

Collections

Citation

Zheng Cheng, Dominique Méry. A Refinement Strategy for Hybrid System Design with Safety Constraints. [Research Report] Université de Lorraine; INRIA; CNRS. 2020. ⟨hal-02895528⟩

Share

Metrics

Record views

55

Files downloads

84