These pages bring together resources related to courses on hybrid systems modelling. with the Event-B modelling language. We provide the course slides as well as the models needed to teach the course. Several courses have been restructured and redefined according to pedagogical requirements. This repository contains documents and resources related to the project DISCONT website at ANR or website at LORIA.
The report entitled A Refinement Strategy for Hybrid System Design with Safety Constraints is giving details on the method Event-B in hybrid strategy.
The report entitled From System Events to Software Operations for Refinement-based Modeling of Hybrid Systems studies the integreation of both approaches system and software.
A Static Checker for Reference Tracking Systems via Laplace Transform and Transfer Functions.