The open archive for STFC research publications

You may experience service outages on ePubs over the coming days due to work being carried out to enhance our network infrastructure. The service should be considered at risk from 23/11 - 03/12.

Full Record Details

Persistent URL http://purl.org/net/epubs/work/28935
Record Status Checked
Record Id 28935
Title Experiences of Using Formal Methods for Chemical Process Control Specification
Abstract We discuss the benefits of adding formal specification in B to existing controller synthesis techniques, and some of the limitations of B for this area of application. Examples from the case studies carried out in a project1 are given.
Organisation CCLRC , BITD
Funding Information
Related Research Object(s):
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Paper In Conference Proceedings In Proceedings of the 9th Symposium on Information Control in Manufacturing : advances in industrial engineering : a proceedings volume from the 9th IFAC Symposium, (INCOM'98), Nancy-Metz, France, 24-26 June, (1998). https://doi.org/1…1474-6670(17)40544-1 1998