Formalizing Hybrid Systems with Event-B

  • Jean-Raymond Abrial
  • Wen Su
  • Huibiao Zhu
Conference paper

DOI: 10.1007/978-3-642-30885-7_13

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7316)
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

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Jean-Raymond Abrial
    • 1
  • Wen Su
    • 2
  • Huibiao Zhu
    • 2
  1. 1.MarseilleFrance
  2. 2.Software Engineering InstituteEast China Normal UniversityChina

Personalised recommendations