Complementary Methodologies for Developing Hybrid Systems with Event-B
Complementary Methodologies for Developing Hybrid Systems with Event-B
复制标题
DOI：
10.1007/978-3-642-34281-3_18
复制
发表时间：
2012-11
期刊：
影响因子：
--
通讯作者：
Wen Su;J. Abrial;Huibiao Zhu
中科院分区：
文献类型：
--
作者：
Wen Su;J. Abrial;Huibiao Zhu
本文对文[3]中提出的混合系统的处理作了进一步的贡献。这一次，我们坚持使用多种方法，不仅涉及Event-B和Rodin平台中的改进和证明，而且还涉及Matlab仿真，动画和不变量发现。我们认为，一个成功的理解混合动力系统必须这样做，涉及几个不同的方法是互补的。本文还提出了许多例子说明这种方法。
This paper contains a further contribution to the handling of hybrid systems as presented in [3]. This time we insist on the usage of multiple methodologies involving not only refinements and proofs as in Event-B and the Rodin Platform, but also Matlab simulation, Animation, and Invariant discovery. We believe that a successful understanding of hybrid systems has to be done in this way by involving several distinct methodologies that are complementary. The paper also presents many examples illustrating the approach.