title: Using Event-B Refinement to Verify a Control Strategy
creator: Butler, Michael
subject: Refinement
subject: Event-B Examples
description: 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.
publisher: ECS, University of Southampton
date: 2009-05
type: Monograph
type: NonPeerReviewed
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/107/1/strategyref.pdf
format: application/zip
identifier: http://deploy-eprints.ecs.soton.ac.uk/107/2/CtsCtrl.zip
identifier:   Butler, Michael  (2009) Using Event-B Refinement to Verify a Control Strategy.  Working Paper. ECS, University of Southampton.    (Unpublished)  
relation: http://deploy-eprints.ecs.soton.ac.uk/107/

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>