Back to Search
Start Over
Formalizing hybrid systems with Event-B and the Rodin Platform.
- Source :
-
Science of Computer Programming . Nov2014 Part 2, Vol. 94, p164-202. 39p. - Publication Year :
- 2014
-
Abstract
- This paper contains the development of hybrid systems with Event-B and the Rodin Platform. It follows the seminal approach introduced at the turn of the century in Action Systems. Many examples that have been entirely proved with the Rodin Platform illustrate our approach. We propose to complement the Event-B/Rodin Platform approach with the usage of Matlab, either to simulate examples with some correct as well as incorrect set of parameters, or to use the analytical power of Matlab to complement the usage of Event-B. [ABSTRACT FROM AUTHOR]
- Subjects :
- *HYBRID systems
*COMPUTER simulation
*COMPUTER science
Subjects
Details
- Language :
- English
- ISSN :
- 01676423
- Volume :
- 94
- Database :
- Academic Search Index
- Journal :
- Science of Computer Programming
- Publication Type :
- Academic Journal
- Accession number :
- 98480479
- Full Text :
- https://doi.org/10.1016/j.scico.2014.04.015