Continuous-discrete interactions in chemical processing plants

This paper discusses important hybrid aspects of chemical processing plants. It is outlined that discrete phenomena occur both on the physical level and in the control of these plants. As the dynamics of the transformations of energy and material are predominantly continuous, large and complex hybrid systems arise. We focus on three different aspects of dealing with such systems: (1) Modeling and simulation of hybrid systems for the design and optimization of plants, controllers and operating strategies. We present powerful simulation environments that have been developed in recent years. (2) Validation of plant instrumentation and discrete controllers. These systems are largely responsible for the safe and economic operation of chemical plants and the protection of the workforce, and the environment. Techniques for the verification of discrete controllers for continuous processes are discussed, which are based on a discrete approximation of the continuous dynamics. (3) Scheduling of batch plants. For plants that are operated in a discontinuous fashion, the timing and sequencing of the operations are very important for the efficient use of the equipment. This leads to large mixed-integer optimization problems. For a typical example, we show how the process and the constraints can be modeled and describe an efficient solution algorithm.

[1]  Arne Drud,et al.  CONOPT: A GRG code for large sparse dynamic nonlinear optimization problems , 1985, Math. Program..

[2]  Paul I. Barton,et al.  Modeling of combined discrete/continuous processes , 1994 .

[3]  Olaf Stursberg,et al.  A CONCEPT FOR SAFETY ANALYSES OF CHEMICAL PLANTS BA SED ON DISCRETE MODELS WITH AN ADAPTED DEGREE OF ABSTRACTI ON , 1998 .

[4]  Thomas A. Henzinger,et al.  The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[5]  G. Reklaitis,et al.  Scheduling of multipurpose batch chemical plants. 2. Multiple-product campaign formation and production planning , 1991 .

[6]  Martin Fritz,et al.  A FRAMEWORK FOR FLEXIBLE SIMULATION OF BATCH PLANTS UN ENVIRONNEMENT POUR LA SIMULATION FLEXIBLE DE PROCEDES BATCH , 1998 .

[7]  O. Stursberg,et al.  On the Generation of Timed Discrete Approximations for Continuous Systems , 2000 .

[8]  R. Sargent,et al.  A general algorithm for short-term scheduling of batch operations */I , 1993 .

[9]  Bengt Lennartson,et al.  Hybrid systems in process control , 1996 .

[10]  V. D. Dimitriadis,et al.  Modeling and safety verification of discrete/continuous processing systems , 1997 .

[11]  Sebastian Engell,et al.  Sequencing of batch operations for a highly coupled production process: Genetic algorithms versus mathematical programming , 1998 .

[12]  Edmund M. Clarke,et al.  Symbolic Model Checking: 10^20 States and Beyond , 1990, Inf. Comput..

[13]  Arne Stolbjerg Drud,et al.  CONOPT - A Large-Scale GRG Code , 1994, INFORMS J. Comput..

[14]  Pravin Varaiya,et al.  Verification of Hybrid Systems Using Abstractions , 1996, Hybrid Systems.

[15]  Sebastian Engell,et al.  SCHEDULING OF A MULTI-PRODUCT POLYMER BATCH PLANT , 1998 .

[16]  Jan Lunze,et al.  Qualitative modelling of linear dynamical systems with quantized state measurements , 1994, Autom..

[17]  Valur Einarsson On Verification of Switched Systems using Abstractions , 1998 .

[18]  Charlotta Johnsson,et al.  A Graphical Language for Batch Control , 1999 .

[19]  Edmund M. Clarke,et al.  Automatic verification of sequential control systems using temporal logic , 1992 .

[20]  P. I. Barton,et al.  Implicit model checking of logic‐based control systems , 1997 .

[21]  R. Raman,et al.  Modelling and computational techniques for logic based integer programming , 1994 .

[22]  Gary J. Powers,et al.  Verification of a logically controlled, solids transport system using symbolic model checking , 1997 .

[23]  R. Sargent,et al.  A general algorithm for short-term scheduling of batch operations—II. Computational issues , 1993 .

[24]  Bruce H. Krogh,et al.  Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations , 1999, HSCC.

[25]  Nilay Shah,et al.  A case study in hybrid process safety verification , 1996 .

[26]  Olaf Stursberg,et al.  Reachability Analysis of a Class of Switched Continuous Systems by Integrating Rectangular Approximation and Rectangular Analysis , 1999, HSCC.

[27]  R. P. Kurshan,et al.  Computer Aided Verification , 1998, Lecture Notes in Computer Science.

[28]  Sebastian Engell,et al.  Using Model-Checking for Timed Automata to Parameterize Logic Control Programs , 1998 .

[29]  Lorenz T. Biegler,et al.  A Successive Linear Programming Approach for Initialization and Reinitialization after Discontinuities of Differential-Algebraic Equations , 1998, SIAM J. Sci. Comput..

[30]  Gerardo Lafferriere,et al.  A New Class of Decidable Hybrid Systems , 1999, HSCC.

[31]  Informationstechnik Berlin,et al.  Dual Decomposition in Stochastic Integer Programming , 1996 .

[32]  G. Reklaitis,et al.  Scheduling of multipurpose batch chemical plants. 1. Formation of single-product campaigns , 1991 .

[33]  Ignacio E. Grossmann,et al.  Multiperiod LP models for simultaneous production planning and scheduling in multiproduct batch plants , 1990 .

[34]  M. Polke,et al.  Process Control Engineering , 1994 .

[35]  Alberto Bemporad,et al.  Control of systems integrating logic, dynamics, and constraints , 1999, Autom..

[36]  Ian M. Mitchell,et al.  Reachability Analysis Using Polygonal Projections , 1999, HSCC.

[37]  Hanno Wupper,et al.  Timed automaton models for simple programmable logic controllers , 1999, Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS'99.

[38]  Peter Ross,et al.  Practical Issues and Recent Advances in Job- and Open-Shop Scheduling , 1997 .

[39]  Alberto Bemporad,et al.  Verification of Hybrid Systems via Mathematical Programming , 1999, HSCC.

[40]  S. Engell,et al.  Intelligent scheduling of chemical plants: a constraint programming approach , 1999, Proceedings of the 1999 IEEE International Symposium on Intelligent Control Intelligent Systems and Semiotics (Cat. No.99CH37014).

[41]  J. M. Pinto,et al.  A continuous time MILP model for short term scheduling of batch plants with pre-ordering constraints , 1996 .

[42]  Martin Otter,et al.  Hybrid modeling in Modelica based on the synchronous data flow principle , 1999, Proceedings of the 1999 IEEE International Symposium on Computer Aided Control System Design (Cat. No.99TH8404).

[43]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[44]  Lazaros G. Papageorgiou,et al.  User interfaces for mathematical programming based multipurpose plant optimisation systems , 1995 .

[45]  E. Gilles,et al.  Reinitialization of DAE's after discontinuities , 1995 .

[46]  Thomas A. Henzinger,et al.  An Algorithm for the Approximative Analysis of Rectangular Automata , 1998, FTRTFT.

[47]  C. Floudas Nonlinear and Mixed-Integer Optimization: Fundamentals and Applications , 1995 .

[48]  Sergio Yovine,et al.  KRONOS: a verification tool for real-time systems , 1997, International Journal on Software Tools for Technology Transfer.

[49]  Jörg Raisch,et al.  A hierarchy of discrete abstractions for a hybrid plant (extended version) , 1998 .

[50]  C. Floudas,et al.  Effective Continuous-Time Formulation for Short-Term Scheduling. 1. Multipurpose Batch Processes , 1998 .

[51]  Heiko Krumm,et al.  Compositional specification and structured verification of hybrid systems in cTLA , 1998, Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98).

[52]  Paul I. Barton,et al.  The modelling and simulation of combined discrete/continuous processes , 1992 .

[53]  Ignacio E. Grossmann,et al.  STBS: A continuous-time MILP optimization for short-term scheduling of batch plants , 1998 .

[54]  Wang Yi,et al.  Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.

[55]  I. Grossmann,et al.  MINLP model for cyclic multiproduct scheduling on continuous parallel lines , 1991 .

[56]  Sebastian Engell,et al.  An open software architecture for batch process simulation , 1997 .

[57]  A. Pnueli,et al.  STATEMATE: a working environment for the development of complex reactive systems , 1988, [1988] Proceedings. The Third Israel Conference on Computer Systems and Software Engineering.

[58]  H. G Lawley Operability Studies and Hazard Analysis , 1974 .

[59]  O. Stursberg,et al.  Approximating switched continuous systems by rectangular automata , 1999, 1999 European Control Conference (ECC).

[60]  Monika Heiner,et al.  A Case Study in Design and Verification of Manufacturing System Control Software with Hierarchical Petri Nets , 1999 .

[61]  Oded Maler,et al.  Reachability Analysis via Face Lifting , 1998, HSCC.

[62]  Venkat Venkatasubramanian,et al.  Digraph-based models for automated HAZOP analysis , 1995 .

[63]  Adam L. Turk,et al.  Verification of Real Time Chemical Processing Systems , 1997, HART.

[64]  Olaf Stursberg,et al.  Verification of logic controllers for continuous plants using timed condition/event-system models , 1999, Autom..

[65]  Shuang-Hua Yang,et al.  Hazard analysis and support tool for computer controlled processes , 1998 .

[66]  Xueya Zhang Algorithms for optimal process scheduling using nonlinear models , 1995 .

[67]  Olaf Stursberg,et al.  AUTOMATIC SAFETY ANALYSIS OF COMPUTER CONTROLLED PLANTS USING MODEL CHECKING , 2000 .

[68]  Sebastian Engell,et al.  HYBRID SIMULATION OF FLEXIBLE BATCH PLANTS , 1995 .

[69]  Thomas A. Henzinger,et al.  HYTECH: a model checker for hybrid systems , 1997, International Journal on Software Tools for Technology Transfer.

[70]  Sebastian Engell,et al.  Dynamic simulation of batch plants , 1994 .

[71]  Mieczyslaw M. Kokar,et al.  On consistent symbolic representations of general dynamic systems , 1995, IEEE Trans. Syst. Man Cybern..

[72]  C. Pantelides,et al.  A simple continuous-time process scheduling formulation and a novel solution algorithm , 1996 .

[73]  Olaf Stursberg,et al.  Verification of Logic Controllers for Continuous Plants , 1999 .

[74]  Ignacio E. Grossmann,et al.  DISJUNCTIVE MULTIPERIOD OPTIMIZATION MODELS FOR PROCESS NETWORKS , .

[75]  M. Polke Information Structures in Process Control Engineering , 1994 .

[76]  Thomas A. Henzinger,et al.  Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems , 1996, Hybrid Systems.

[77]  Gintaras V. Reklaitis Scheduling approaches for the batch process industries , 1995 .

[78]  I. Grossmann,et al.  A combined penalty function and outer-approximation method for MINLP optimization : applications to distillation column design , 1989 .