Experiences of using formal methods for chemical process control specification-Reference-Cited by-同舟云学术

Experiences of using formal methods for chemical process control specification

Published:2000-01 Issue:1 Volume:8 Page:71-79
ISSN:0967-0661
Container-title:Control Engineering Practice
language:en
Short-container-title:Control Engineering Practice

Author:

Lano K,Bicarregui J,Kan P

Publisher

Elsevier BV

Subject

Applied Mathematics,Electrical and Electronic Engineering,Computer Science Applications,Control and Systems Engineering

Reference21 articles.

1. The B book;Abrial,1996

2. Abrial. J.-R., Borger, E., Langmaack, H. (1997). Formal methods for industrial applications: specifying and programming the steam boiler control. Lecture Notes in Computer Science, vol. 1165. Berlin: Springer.

3. Abrial, J.-R., & Mussat, L. (1998). Introducing dynamic constraints in B. Second international B conference. Lecture Notes in Computer Science, vol. 1393, Berlin:Springer.

4. Ali, M. (1998). B specification of steam boiler. M.Sc. thesis, Department of Computing, Imperial College, UK.

5. Barton, P.I., Smith, E., & Pantelides, C.C. (1991). Combined discrete/continuous process modelling using gPROMS. AIChE annual meeting: recent advances in process control, Los Angeles.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. No Risk, No Fun;Lecture Notes in Computer Science;2024-09-13

2. Towards the Formal Implementation of Hierarchical Discrete-event Controllers in Automated Manufacturing Systems;IFAC Proceedings Volumes;2012-05

3. Formal reduction of interfaces to large-scale process control systems;International Journal of Automation and Computing;2007-10

4. Formal Specification Method for Systems Automation;European Journal of Control;2006-01