Continuous-discrete interactions in chemical processing plants
暂无分享,去创建一个
O. Stursberg | S. Engell | S. Kowalewski | C. Schulz | O. Stursberg | S. Engell | Christian Schulz | S. Kowalewski
[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 .