Butler, Michael (2009) Using Event-B Refinement to Verify a Control Strategy. Working Paper. ECS, University of Southampton. (Unpublished)
![[img]](../style/images/fileicons/application_pdf.png)
| PDF 119Kb | |
![[img]](../style/images/fileicons/application_zip.png) | ZIP Archive (Rodin archive of water tank example) 101Kb |
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.
| 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
