Industrial deployment of system engineering methods providing high dependability and productivity


Using Event-B Refinement to Verify a Control Strategy

Butler, Michael (2009) Using Event-B Refinement to Verify a Control Strategy. Working Paper. ECS, University of Southampton. (Unpublished)

[img]ZIP Archive (Rodin archive of water tank example)


In this paper we outline some on-going research on approximating continuous behaviour in Event-B in order to model and reason about a control system. We make a distinction between a control goal and a control strategy. We outline how both can be modelled and how refinement can be used to prove that a strategy satisfies a goal.

Item Type:Monograph (Working Paper)
Subjects:Methodology > Refinement
Event-B > Event-B Examples
ID Code:107
Deposited By:Michael Butler
Deposited On:28 May 2009 16:30
Last Modified:19 Apr 2010 16:05

Repository Staff Only: item control page

Deploy-Project - All right reserved