The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/28938
Record Status Checked
Record Id 28938
Title Invariant-Based Synthesis and Composition of Control Algorithms Using B
Abstract This paper describes techniques for the automatic synthesis of verified controllers for discrete event systems, based on the invariants of behaviour required for such systems. We define alternative structuring approaches for controllers, and the correspondances between this decomposition and structuring in the B formal method, which is used to provide an implementation of the control systems.
Organisation CCLRC , BITD
Keywords B , Control Systems , Formal Methods
Funding Information
Related Research Object(s):
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Paper In Conference Proceedings In World Congress on Formal Methods in the Developement of Computing Systems (FM'99), Toulouse, France, September 20-24, 1999, (1999). Invariant.pdf 1999