Design of optimal procedural controllers for chemical processes modelled as stochastic discrete event systems
This thesis presents a formal method for the the design of optimal and provably correct procedural controllers for chemical processes modelled as Stochastic Discrete Event Systems (SDESs). The thesis extends previous work on Procedural Control Theory (PCT) [1], which used formal techniques for the d...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
Imperial College London
2008
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.487988 |