ePubs
The open archive for STFC research publications
Home
About ePubs
Content Policies
News
Help
Privacy/Cookies
Contact ePubs
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
Contributors
K C Lano
,
J C Bicarregui (CCLRC Rutherford Appleton Lab., and Imperial College)
,
A Sanchez
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
Showing record 1 of 1
Recent Additions
Browse Organisations
Browse Journals/Series
Login to add & manage publications and access information for OA publishing
Username:
Password:
Useful Links
Chadwick & RAL Libraries
SHERPA FACT
SHERPA RoMEO
SHERPA JULIET
Journal Checker Tool
Google Scholar