Experiences of using formal methods for chemical process control specification

Authors
Lano, K Bicarregui, J Kan, P
Citation
K. Lano et al., Experiences of using formal methods for chemical process control specification, CON ENG PR, 8(1), 2000, pp. 71-79
Citations number
21
Categorie Soggetti
AI Robotics and Automatic Control
Journal title
CONTROL ENGINEERING PRACTICE
ISSN journal
09670661 → ACNP
Volume
8
Issue
1
Year of publication
2000
Pages
71 - 79
Database
ISI
SICI code
0967-0661(200001)8:1<71:EOUFMF>2.0.ZU;2-X
Abstract
This paper discusses the benefits of adding formal specification in B to ex isting controller synthesis techniques, and some of the limitations of B fo r this area of application. Examples from case studies carried out in the " Object-oriented specification of real-time and reactive systems" (ROOS) pro ject are given. (C) 2000 Published by Elsevier Science Ltd. All lights rese rved.