Modelling and Refining Hybrid Systems in Event-B and Rodin

Abstract

We outline an approach to modelling and reasoning about hybrid systems with the Event-B method supported by the Rodin toolset. The approach uses continuous functions over real intervals to model the evolution of continuous values over time. Nondeterministic interval events are used to specify how continuous variables evolve within an operating mode… (More)
DOI: 10.1201/b20053-5

Topics

2 Figures and Tables

Cite this paper

@inproceedings{Butler2016ModellingAR, title={Modelling and Refining Hybrid Systems in Event-B and Rodin}, author={Michael J. Butler and Jean-Raymond Abrial and Richard Banach}, booktitle={From Action Systems to Distributed Systems}, year={2016} }