Formalizing hybrid systems with Event-B and the Rodin Platform

This paper contains the development of hybrid systems with Event-B and the Rodin Platform. It follows the seminal approach introduced at the turn of the century in Action Systems. Many examples tha...