A non-parametric Monte Carlo technique for controller verification

Automatica

Volumn 33, Issue 5, 1997, Pages 901-906

  Gazi, Evangelia ^a,b   Seider, Warren D ^a   Ungar, Lyle H ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b CIIT CENTERS FOR HEALTH RESEARCH   (United States)

Author keywords

Control system analysis; Monte Carlo method; Random functions; Uncertain dynamic systems; Verification

Indexed keywords

ALGORITHMS; CLOSED LOOP CONTROL SYSTEMS; COMPUTER SIMULATION; CONTROL SYSTEM ANALYSIS; MONTE CARLO METHODS; PROCESS CONTROL; RANDOM PROCESSES; SYSTEM STABILITY;

CLOSED LOOP NONLINEAR SYSTEM; RECURSIVE SUBDIVISION ALGORITHM; UNCERTAIN DYNAMIC SYSTEMS; VERIFICATION;

NONLINEAR CONTROL SYSTEMS;

EID: 0031131425     PISSN: 00051098     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0005-1098(96)00227-0     Document Type: Article

References (17)

1. Aspen, (1988) ASPEN PLUS User Guide, Release 8. Aspen Technology, Cambridge, U.K.
2. Dalle Molle, D. T., Kuipers, B. J. and Edgar, T. F, (1988) Qualitative modeling and simulation of dynamic systems. Comput. Chem. Engng 12, 853-866.
3. Diwekar, U. M. and Rubin, E. S. (1994) Parameter design methodology for chemical processes using a simulator. Ind. Engng Chem. Res., 33, 292-298.
4. Economou, C., Morari, M. and Palsson, B. (1986) Internal model control. 5. Extension to nonlinear systems. Ind. Engng Chem. Process. Des. Dev. 25, 403-411.
5. Forbus, K. (1984). Qualitative process theory. Artific. Intell. 24, 85-168.
6. Freeman, R. A. and Gaddy, J. L. (1975) Quantitative overdesign of chemical processes. AIChE J. 21, 436-440.
7. Gazi, E. (1995) Verification of controllers for incompletely-known chemical plants. PhD thesis, University of Pennsylvania, Philadelphia.
8. Gazi, E., Seider, W. D. and Ungar, L. H. (1994) Controller verification using qualitative reasoning. In Proc. 2nd IFAC Workshop on Computer Software and Structurally Integrated AI/KBS Systems in Process Control, Lund, Sweden, August. 10-12.
9. Kay, H. and Kuipers, B. J. (1994) Numerical behavior envelopes for qualitative simulation. In Proc. National Conf. on Artificial Intelligence (AAAI-93). AAAI/MIT Press.
10. Kay, H. and Ungar, L. H. (1993) Deriving monotonic function envelopes from observations. In Proc. 7th International Workshop on Qualitative Reasoning about Physical Systems, Rosario Resort, WA, p. 117.
11. Kuipers, B. J. (1986) Qualitative simulation. Artific. Intell., 29, 289.
12. Kuipers, B. J. and Åström, K. (1994) Composition and validation of heterogeneous control laws. Automatica 30, 233-249.
13. Näf, U. G. (1994) Stochastic simulation using gPROMS. Comput. Chem. Engng 18, S743-747.
14. Pantelidis, C. C. and Barton, P. I. (1993) Equation-oriented dynamic simulation. Current status and future perspectives. Comput. Chem. Engng 17, S263-285.
15. Pistikopoulos, E. N. and Mazzuchi, T. A. (1990). A novel flexibility analysis approach for processes with stochastic parameters. Comput. Chem. Engng 14, 991-1000.
16. Ray, L. R. and Strengel, R. F. (1993) A Monte Carlo approach to the analysis of control system robustness. Automatica 29, 229-236.
17. Zafiriou, E. and Morari, M. (1989) Robust Process Control. Prentice-Hall, Englewood Cliffs, NJ.