Formalizing hybrid systems with event-b

Authors:
Jean-Raymond Abrial;Wen Su;Huibiao Zhu
Affiliations:
Marseille, France;Software Engineering Institute, East China Normal University, China;Software Engineering Institute, East China Normal University, China
Venue:
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Year:
2012

Citing 7
Cited 3

Distributed cooperation with action systems

ACM Transactions on Programming Languages and Systems (TOPLAS)
The algorithmic analysis of hybrid systems

Theoretical Computer Science - Special issue on hybrid systems
Generalizing Action Systems to Hybrid Systems

FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Symbolic Simulation of Hybrid Systems

APSEC '02 Proceedings of the Ninth Asia-Pacific Software Engineering Conference
Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study

FM '09 Proceedings of the 2nd World Congress on Formal Methods
Modeling in Event-B: System and Software Engineering

Modeling in Event-B: System and Software Engineering
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics

Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics

Complementary methodologies for developing hybrid systems with event-b

ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Pliant modalities in hybrid event-B

Theories of Programming and Formal Methods
Towards a modeling language for cyber-physical systems

Theories of Programming and Formal Methods

Quantified Score

Hi-index	0.00

Visualization

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.