Formalizing hybrid systems with event-B

Jean Raymond Abrial; Wen Su; Huibiao Zhu

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

Formalizing hybrid systems with event-B

Jean Raymond Abrial^*
, Wen Su
, Huibiao Zhu

^*Corresponding author for this work

Software Engineering Institute

East China Normal University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

33 Scopus citations

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.

Original language	English
Title of host publication	Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Proceedings
Pages	178-193
Number of pages	16
DOIs	https://doi.org/10.1007/978-3-642-30885-7_13
State	Published - 2012
Event	3rd International Conference on Abstract State Machines, Alloy, B, VDM, and Z, ABZ 2012 - Pisa, Italy Duration: 18 Jun 2012 → 21 Jun 2012

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	7316 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	3rd International Conference on Abstract State Machines, Alloy, B, VDM, and Z, ABZ 2012
Country/Territory	Italy
City	Pisa
Period	18/06/12 → 21/06/12

Access to Document

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

Cite this

Abrial, J. R., Su, W., & Zhu, H. (2012). Formalizing hybrid systems with event-B. In Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Proceedings (pp. 178-193). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7316 LNCS). https://doi.org/10.1007/978-3-642-30885-7_13

@inproceedings{1038448e2c9b43d68b96fb5a4c2bba42,

title = "Formalizing hybrid systems with event-B",

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.",

author = "Abrial, \{Jean Raymond\} and Wen Su and Huibiao Zhu",

year = "2012",

doi = "10.1007/978-3-642-30885-7\_13",

language = "英语",

isbn = "9783642308840",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "178--193",

booktitle = "Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Proceedings",

note = "3rd International Conference on Abstract State Machines, Alloy, B, VDM, and Z, ABZ 2012 ; Conference date: 18-06-2012 Through 21-06-2012",

}

Abrial, JR, Su, W & Zhu, H 2012, Formalizing hybrid systems with event-B. in Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 7316 LNCS, pp. 178-193, 3rd International Conference on Abstract State Machines, Alloy, B, VDM, and Z, ABZ 2012, Pisa, Italy, 18/06/12. https://doi.org/10.1007/978-3-642-30885-7_13

Formalizing hybrid systems with event-B. / Abrial, Jean Raymond; Su, Wen; Zhu, Huibiao.
Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Proceedings. 2012. p. 178-193 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7316 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Formalizing hybrid systems with event-B

AU - Abrial, Jean Raymond

AU - Su, Wen

AU - Zhu, Huibiao

PY - 2012

Y1 - 2012

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/84863957261

U2 - 10.1007/978-3-642-30885-7_13

DO - 10.1007/978-3-642-30885-7_13

M3 - 会议稿件

AN - SCOPUS:84863957261

SN - 9783642308840

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 178

EP - 193

BT - Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Proceedings

T2 - 3rd International Conference on Abstract State Machines, Alloy, B, VDM, and Z, ABZ 2012

Y2 - 18 June 2012 through 21 June 2012

ER -

Formalizing hybrid systems with event-B

Abstract

Publication series

Conference

Access to Document

Other files and links

Cite this