"107","Using Event-B Refinement to Verify a Control Strategy","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.","http://deploy-eprints.ecs.soton.ac.uk/107/","Butler, Michael","UNSPECIFIED","       <span class=\"person_name\">Butler, Michael</span>     (2009)  <a href=\"http://deploy-eprints.ecs.soton.ac.uk/107/\"><em>Using Event-B Refinement to Verify a Control Strategy.</em></a>       Working Paper.     ECS, University of Southampton.         (Unpublished)   ","mjb@ecs.soton.ac.uk","2009-05"
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>