Rigorous model-based safety analysis for nonlinear continuous-time systems

Computers and Chemical Engineering

Volumn 33, Issue 2, 2009, Pages 493-502

  Lin, Youdong ^a   Stadtherr, Mark A ^a  

^a University of Notre Dame   (United States)

Author keywords

Dynamic systems; Hazard identification; Hybrid systems; Interval analysis; Nonlinear systems; Safety

Indexed keywords

BOUNDARY VALUE PROBLEMS; DIFFERENTIAL EQUATIONS; DYNAMIC PROGRAMMING; ELECTRIC GROUNDING; HAZARDOUS MATERIALS; HYBRID COMPUTERS; IDENTIFICATION (CONTROL SYSTEMS); INITIAL VALUE PROBLEMS; MODAL ANALYSIS; NONLINEAR ANALYSIS; NONLINEAR CONTROL SYSTEMS; NONLINEAR SYSTEMS; NUMERICAL ANALYSIS; RESOURCE VALUATION; SECURITY SYSTEMS; UNCERTAINTY ANALYSIS;

DYNAMIC SYSTEMS; HAZARD IDENTIFICATION; HYBRID SYSTEMS; INTERVAL ANALYSIS; SAFETY;

CONTINUOUS TIME SYSTEMS;

EID: 58249083977     PISSN: 00981354     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.compchemeng.2008.11.010     Document Type: Article

References (39)

1. Barton P.I., Lee C.K., and Yunt M. Optimization of hybrid systems. Computers and Chemical Engineering 30 (2006) 1576-1589
2. Barton P., and Pantelides C. Modeling of combined discrete-continuous processes. AIChE Journal 40 (1994) 966-979
3. Berz M., and Makino K. Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models. Reliable Computing 4 (1998) 361-369
4. Clarke E., Emerson E., and Sistla A. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems 8 (1986) 244-263
5. Corliss G.F., and Rihm R. Validating an a priori enclosure using high-order Taylor series. In: Alefeld G., and Frommer A. (Eds). Scientific computing: Computer arithmetic, and validated numerics (1996), Akademie Verlag, Berlin 228-238
6. Crowl D.A., and Louvar J.F. Chemical process safety: Fundamentals with applications (2002), Prentice Hall, Upper Saddle River, NJ
7. Dimitriadis V., Hackenberg J., Shah N., and Pantelides C. A case study in hybrid process safety verification. Computers and Chemical Engineering 20 (1996) S503-S508
8. Dimitriadis V.D., Shah N., and Pantelides C.C. Modeling and safety verification of discrete/continuous processing systems. AIChE Journal 43 (1997) 1041-1059
9. Hansen E., and Walster G.W. Global optimization using interval analysis (2004), Marcel Dekker, New York
10. Huang H., Adjiman C.S., and Shah N. Quantitative framework for reliable safety analysis. AIChE Journal 48 (2002) 78-96
11. Jaulin L., Kieffer M., Didrit O., and Walter E. Applied interval analysis (2001), Springer-Verlag, London
12. Kearfott R.B. Rigorous global search: Continuous problems (1996), Kluwer Academic Publishers, Dordrecht, The Netherlands
13. Lin Y., Enszer J.A., and Stadtherr M.A. Enclosing all solutions of two-point boundary value problems for ODEs. Computers and Chemical Engineering 32 (2008) 1714-1725
14. Lin Y., and Stadtherr M.A. Deterministic global optimization for parameter estimation of dynamic systems. Industrial and Engineering Chemistry Research 45 (2006) 8438-9448
15. Lin Y., and Stadtherr M.A. Deterministic global optimization of nonlinear dynamic systems. AIChE Journal 53 (2007) 866-875
16. Lin Y., and Stadtherr M.A. Guaranteed state and parameter estimation for nonlinear continuous-time systems with bounded-error measurements. Industrial and Engineering Chemistry Research 46 (2007) 7198-7207
17. Lin Y., and Stadtherr M.A. Validated solutions of initial value problems for parametric ODEs. Applied Numerical Mathematics 57 (2007) 1145-1162
18. Lohner R.J. Computations of guaranteed enclosures for the solutions of ordinary initial and boundary value problems. In: Cash J., and Gladwell I. (Eds). Computational ordinary differential equations (1992), Clarendon Press, Oxford, UK 425-435
19. Makino K., and Berz M. Remainder differential algebras and their applications. In: Berz M., Bishof C., Corliss G., and Griewank A. (Eds). Computational differentiation: Techniques, applications, and tools (1996), SIAM, Philadelphia 63-74
20. Makino K., and Berz M. Efficient control of the dependency problem based on Taylor model methods. Reliable Computing 5 (1999) 3-12
21. Makino K., and Berz M. Taylor models and other validated functional inclusion methods. International Journal of Pure and Applied Mathematics 4 (2003) 379-456
22. Makino K., and Berz M. Taylor model range bounding schemes. Third International Workshop on Taylor Methods. Miami Beach, FL (2004)
23. Makino K., and Berz M. Verified global optimization with Taylor model-based range bounders. Transactions on Computers 11 (2005) 1611-1618
24. Moon I., Powers G., Burch J., and Clarke E. Automatic verification of sequential control systems using temporal logic. AIChE Journal 38 (1992) 67-75
25. Moore R.E. Interval analysis (1966), Prentice-Hall, Englewood Cliffs, NJ
26. Nedialkov, N. S. (1999). Computing rigorous bounds on the solution of an initial value problems for an ordinary differential equation. Ph.D. Thesis, University of Toronto, Toronto, Canada.
27. Nedialkov N.S., Jackson K.R., and Corliss G.F. Validated solutions of initial value problems for ordinary differential equations. Applied Mathematics and Computation 105 (1999) 21-68
28. Nedialkov N.S., Jackson K.R., and Pryce J.D. An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE. Reliable Computing 7 (2001) 449-465
29. Neher M., Jackson K.R., and Nedialkov N.S. On Taylor model based integration of ODEs. SIAM Journal on Numerical Analysis 45 (2007) 236-262
30. Neumaier A. Interval methods for systems of equations (1990), Cambridge University Press, Cambridge, UK
31. Neumaier A. Taylor forms-use and limits. Reliable Computing 9 (2003) 43-79
32. Park T., and Barton P. Implicit model checking of logic-based control systems. AIChE Journal 43 (1997) 2246-2260
33. Pryce J.D., and Corliss G.F. Interval arithmetic with containment sets. Computing 78 (2006) 251-276
34. Rauh A., Auer E., and Hofer E.P. ValEncIA-IVP: A case study of validated solvers for initial value problems. 12th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2006). Duisburg, Germany (2006)
35. Srinivasan R., Dimitriadis V.D., Shah N., and Venkatasubramanian V. Integrating knowledge-based and mathematical programming approaches for process safety verification. Computers and Chemical Engineering 21 (1997) S905-S910
36. Srinivasan R., Dimitriadis V., Shah N., and Venkatasubramanian V. Safety verification using a hybrid knowledge-based mathematical programming framework. AIChE Journal 44 (1998) 361-371
37. Venkatasubramanian V., and Preston M. A perspective on intelligent systems for process hazards analysis. In: Davis J.F., Stephanopoulos G., and Venkatasubramanian V. (Eds). Proceedings of the First Intelligent Conference on Intelligent Systems in Process Engineering (1995), CACHE 160-171
38. Zhao C., Bhushan M., and Venkatasubramanian V. PHASuite: An automated HAZOP analysis tool for chemical processes, Part I. Knowledge engineering framework. Transactions IChemE, Part B 83 (2005) 509-532
39. Zhao C., Bhushan M., and Venkatasubramanian V. PHASuite: An automated HAZOP analysis tool for chemical processes, Part II. Implementation and case study. Transactions IChemE, Part B 83 (2005) 533-548