creators_name: Butler, Michael
creators_id: mjb@ecs.soton.ac.uk
type: monograph
datestamp: 2009-05-28 15:30:52
lastmod: 2010-04-19 15:05:54
metadata_visibility: show
title: Using Event-B Refinement to Verify a Control Strategy
ispublished: unpub
subjects: Refinement
subjects: examples
full_text_status: public
monograph_type: working_paper
abstract: 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.
date: 2009-05
publisher: ECS, University of Southampton
citation:   Butler, Michael  (2009) Using Event-B Refinement to Verify a Control Strategy.  Working Paper. ECS, University of Southampton.    (Unpublished)  
document_url: http://deploy-eprints.ecs.soton.ac.uk/107/1/strategyref.pdf
document_url: http://deploy-eprints.ecs.soton.ac.uk/107/2/CtsCtrl.zip

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