Formal techniques for the procedural control of industrial processes
This thesis examines the theory and application of procedural control to chemical processes of industrial scale. Procedural control formally addresses the discrete and logical aspects of process control as required for batch chemical processes or during start-ups, shut-downs and changeovers of conti...
Main Author: | |
---|---|
Published: |
Imperial College London
1997
|
Subjects: | |
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.488461 |