Formalizing Hybrid Systems with Event-B
- Cite this paper as:
- Abrial JR., Su W., Zhu H. (2012) Formalizing Hybrid Systems with Event-B. In: Derrick J. et al. (eds) Abstract State Machines, Alloy, B, VDM, and Z. ABZ 2012. Lecture Notes in Computer Science, vol 7316. Springer, Berlin, Heidelberg
This paper contains the development of hybrid systems in Event-B and the Rodin Platform. It follows the seminal approach introduced at the turn of the century in Action Systems. Many examples illustrate our approach.
Unable to display preview. Download preview PDF.