Incorporating non-economic criteria into an automated process synthesis pro
cedure enables an engineer to prune, more easily and more effectively, the
large design space early in the design process. Although existing synthesis
procedures are based on the use of steady state modelling, issues such as
operability and flexibility are best handled through the use of dynamic mod
els. This paper describes a discrete programming approach, implemented in t
he Jacaranda synthesis tool, incorporating dynamic modelling for the genera
tion of process designs, which meet specified criteria for operability or f
lexibility. Particular attention is given to implementation issues, includi
ng especially how to incorporate dynamic modelling efficiently in an automa
ted environment. An example of the design of separation sequences with good
start-up and feed disturbance behaviour is presented. (C) 2000 Elsevier Sc
ience Ltd. All rights reserved.