Worst-case simulation of discrete linear time-invariant interval dynamic systems

Reliable Computing

Volumn 9, Issue 4, 2003, Pages 251-290

  Puig, Vicenç ^a   Saludes, Jordi ^a   Quevedo, Joseba ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; DECISION MAKING; DISCRETE TIME CONTROL SYSTEMS; OPTIMIZATION; PROBLEM SOLVING;

TIME-INVARIANT UNCERTAIN SYSTEM;

LINEAR SYSTEMS;

EID: 0038156051     PISSN: 13853139     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1024666428387     Document Type: Article

References (63)

1. Anguelov, R.: Wrapping Function of the Initial Value Problem for ODE: Applications, Reliable Computing 5 (2) (1999), pp. 143-164.
2. Armengol, J., Vehí, J., Travé-Massuyès, L., and Sainz, M. Á.: Application of Modal Intervals to the Generation of Error-Bounded Envelopes, Reliable Computing 7 (2) (2001), pp. 171-185.
3. Barmish, B. R. and Sankaran, J.: The Propagation of Parametric Uncertainty via Politopes, IEEE Transactions on Automatic Control 24 (2) (1979).
4. Bartys, M.: Specification of Actuators Intended to Use for Benchmark Definition, DAMADICS Internal Report, http://diag.mchtr.pw.edu.pl/damadics.
5. Bazaraa, M. S., Sherali, H. D., and Shetty, C. M.: Nonlinear Programming, John Wiley & Sons, New York, 1993.
6. Bertzekas, D. P. and Rhodes, I.B.: Recursive State Estimation for a Set-Membership Description of Uncertainty, IEEE Transactions on Automatic Control 16 (1971), pp. 117-124.
7. Berz, M. and Makino, K.: Verified Integration of ODEs and Flows Using Differential Algebraic Methods on High-Order Taylor Models, Reliable Computing 4 (4) (1998), pp. 361-369.
8. Bhatia, R.: Matrix Analysis, Graduate Texts in Mathematics 169, Springer-Verlag, New York, 1997.
9. Bonarini, A. and Bontempi, G.: A Qualitative Simulation Approach to Fuzzy Dynamical Models, ACM Transactions on Modeling and Computer Simulation (TOMACS) 4 (1994), pp. 258-313.
10. Brdys, M. A.: Robust Estimation of Variable and Parameters in Dynamic Networks, in: Proceedings of 14th IFAC World Congress, Beijing, China, 1999.
11. Chernousko, F. L.: State Estimation of Dynamic Systems, CRC Press, Boca Raton, Florida, 1994.
12. Cugueró, P., Puig, V., Saludes, J., and Escobet, T.: A Class of Uncertain Linear Interval Models for Which a Set Based Robust Simulation Can Be Reduced to Few Pointwise Simulations, in: Proceedings of 41th Conference on Decision and Control (CDC'02), Las Vegas, USA, 2002.
13. Cugueró, P., Puig, V., Saludes, J., and Escobet, T.: Avoiding Possible Instability in Robust Simulation of Stable Parametric Uncertain Time-Invariant Systems, in: Proceedings of 40th Conference on Decision and Control (CDC'01), Florida, USA, 2001.
14. Deville, Y., Jansen, M., and Van Hentenryck: Consistency Techniques in Ordinary Differential Equations, in: Maher and Puget (eds), Principles and Practice of Constraint Programming (CP98), Springer-Verlag, 1998, pp. 162-176.
15. El Ghauoi, L. and Calafiore, G.: Worst-Case Simulation of Uncertain Systems, in: Garulli, A., Tesi, A., and Vicino, A. (eds), Robustness in Identification and Control, Springer, London, 1999.
16. Falk, J. E.: Global Solutions of Signomial Problems, Technical Report T-274, George Washington University, Program in Logistics, Washington, DC, 1973.
17. Femia, N.: Genetic Optimization of Interval-Arithmetic Based Worst-Case Circuit Tolerance Analysis, IEEE Transactions on Circuits and Systems 146 (1999), pp. 1441-1456.
18. Femia, N. and Spagnuolo, G.: True Worst-Case Circuit Tolerance Analysis Using Genetic Algorithms and Affine Arithmetic, IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications 47 (9) (2000), pp. 1285-1296.
19. Gaganov, A. A.: Computational Complexity of the Range of the Polynomial in Several Variables, Cybernetics (1985), pp. 418-421.
20. Hansen, E.: Global Optimization Using Interval Analysis, Marcel Dekker, New York, 1992.
21. Horak, D. T.: Failure Detection in Dynamic Systems with Modelling Errors, Journal of Guidance, Control and Dynamics 11 (6) (1988), pp. 508-516.
22. Hullermeier, E.: An Approach to Modelling and Simulation of Uncertain Dynamical Systems, International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 5 (2) (1997), pp. 117-137.
23. Hyvonen, E.: Constraint Reasoning Based on Interval Arithmetic: The Tolerance Approach, Artificial Intelligence 58 (1992), pp. 71-112.
24. Jansenn, M., Van Hentenryck, P., and Deville, Y.: A Constraint Satisfaction Approach to Parametric Differential Equations IJCAI-01, in: Proceedings of the 22th International Joint Conference on Artificial Intelligence, Morgan Kaufmann Publishers, Seattle, 2001.
25. Jaulin, L., Kieffer, M., Braems, I., and Walter, E.: Guaranteed Nonlinear Estimation Using Constraint Propagation on Sets, International Journal of Control 74 (18) (2001), pp. 1772-1782.
26. Kay, H.: Semiquantitative Simulation: Successes, Failures and Future Directions, in: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI'95). Workshop on Engineering Problems for Qualitative Reasoning, Montreal, Canada, 1995.
27. Kearfott, R. B.: Rigorous Global Search: Continuous Problems, Kluwer Academic Publishers, Dordrecht, 1996.
28. Keller, U., Wyatt, T. K., and Leitch, R. R.: FRenSi: A Fuzzy Qualitative Simulation Method, in: Proceedings of Workshop on Applications of Interval Analysis to Systems and Control (MISC'99), Girona, Spain, 1999.
29. Kieffer, M., Jaulin, L., and Walter, E.: Guaranteed Recursive Nonlinear State Estimation Using Interval Analysis, International Journal of Adaptive Control and Signal Processing 16 (2002), pp. 193-218.
30. Kolev, L. V: Interval Methods for Circuit Analysis, World Scientific, Singapore, 1993.
31. 2-δ", Reliable Computing 8 (6) (2002), pp, 481-491.
32. Kuhn, W.: Rigorously Computed Orbits of Dynamical Systems of Ordinary Differential Equations, Computing 61 (1) (1998), pp. 47-67.
33. Kuipers, B.: Qualitative Reasoning-Modelling and Simulation with Incomplete Knowledge, MTT Press, Cambridge, 1994.
34. Kurzhanski, A. and Valyi, I.: Ellipsoidal Calculus for Estimation and Control, Birkhauser, Boston, 1997.
35. Lohner, R. J.: Enclosing the Solution of Ordinary Initial and Boundary Value Problems, in: Kaucher, E., Kulisch, U., and Ullrich, Ch. (eds): Computer Arithmetic: Scientific Computation and Programming Languages, B.G. Teubner, Stuttgart, 1987, pp. 255-286.
36. Lohner, R. J.: On the Ubiquity of the Wrapping Effect in the Computation of Error Bounds, in: Kulisch, U., Lohner, R. J., and Facius, A. (eds): Perspectives on Enclosure Methods, Springer, Wien, 2001.
37. Milanese, M., Norton, J., Piet-Lahanier, H., and Walter, E. (eds): Bounding Approaches to System Identification, Plenum Press, New York, 1996.
38. Milanese, M. and Vicino, A.: Estimation Theory for Nonlinear Models and Set Membership Uncertainty, Automatica 27 (2) (1991), pp. 403-408.
39. Moore, R. E.: Interval Analysis, Prentice Hall, New Jersey, 1966.
40. Moore, R. E.: Methods and Applications of Interval Analysis, SIAM, Philadelphia, 1979.
41. 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 (1) (1999), pp. 21-68.
42. Neumaier, A.: The Wrapping Effect, Ellipsoid Arithmetic, Stability and Confidence Regions, Computing Supplementum 9 (1993), pp. 175-190.
43. Nickel, K.: How to Fight the Wrapping Effect, in: Nickel, K. (ed.): Interval Analysis 1985, Lecture Notes in Computer Science 212, Springer, 1985, pp. 121-132.
44. Norton, J. P.: Modal Robust State Estimator with Deterministic Specification of Uncertainty, in: Garulli, A., Tesi, A., and Vicino, A. (eds), Robustness in Identification and Control, Springer, London, 1999.
45. Norton, J. P.: Special Issue on Bounded-Error Estimation: Issue 1, International Journal of Adaptive Control and Signal Processing 8 (1) (1994), pp. 1-118.
46. Norton, J. P.: Special Issue on Bounded-Error Estimation: Issue 2, International Journal of Adaptive Control and Signal Processing 9 (1) (1995), pp. 1-132.
47. Oppenheimer, E. P. and Michel, A. N.: Application of Interval Analysis Techniques to Linear Systems: Part III-Initial Value Problems, IEEE Transactions on Circuits and Systems 35 (1988), pp. 1243-1256.
48. Puig, V., Cugueró, P., and Quevedo, J.: Worst-Case Estimation and Simulation of Uncertain Discrete-Time Systems Using Zonotopes, in: Proceedings of European Control Conference 2001 (ECC'01), Portugal, 2001.
49. Puig, V., Saludes, J., and Quevedo, J.: A New Algorithm for Adaptive Threshold Generation in Robust Fault Detection Based on a Sliding Window and Global Optimisation, in: Proceedings of European Control Conference 1999 (ECC'99), Germany, 1999.
50. Puig, V., Saludes, J., and Quevedo, J.: Application of Interval Constraint Satisfaction to a New Envelope Generation Algorithm, in: Proceedings of Workshop on Applications of Interval Analysis to Systems and Control (MISC'99), Girona, Spain, 1999.
51. Sahni, S.: Computationally Related Problems, SIAM Journal on Computing 3 (1974), pp. 262-279.
52. Scheinerman, E. R.: Invitation to Dynamical Systems, Prentice Hall, New Jersey, 1996.
53. Schweppe, F. C.: Recursive State Estimation: Unknown but Bounded Errors and Systems Inputs, IEEE Transactions on Automatic Control 13 (1968), pp. 22-28.
54. Stoer, J., and Burlisch, R.: Introduction to Numerical Analysis, Texts in Applied Mathematics 12, Springer, New York, 1993.
55. Tibken, B. and Hofer, E. P.: A New Simulation Tool for Uncertain Discrete Time Systems, in: Proceedings of European Control Conference 1993 (ECC'93), Holland, 1993.
56. Tibken, B. and Hofer, E. P,: Simulation of Controlled Uncertain Nonlinear Systems, Applied Mathematics and Computation 70 (1995), pp. 329-338.
57. Travé-Massuyès, L. and Milne, R.: TIGER: Gas Turbine Condition Monitoring Using Qualitative Model Based Diagnosis, IEEE Expert Intelligent Systems and Applications (1997).
58. Van Hentenryck, P., Michel, L., and Deville, Y: Numerical A Modelling Language for Global Optimization, MIT Press, Cambridge, 1997.
59. Vescovi, M., Farquar, A., and Iwasaki, Y: Numerical Interval Simulation: Bounding Behaviours of Non Monotonie Systems, in: Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, 1995, pp. 1806-1812.
60. Walter, E. (ed.): Special Issue on Parameter Identification with Error Bounds, Mathematics and Computers in Simulation 32 (5-6) (1990), pp. 447-607.
61. Waltz, D.: Understanding Line Drawings of Scenes with Shadows, in: Winston, P. H. (ed.), The Psychology of Computer Vision, McGraw-Hill, New York, 1975, pp. 19-91.
62. Weinmann, A.: Uncertain Models and Robust Control, Springer, Wien, 1991.
63. Wilkinson, J. H.: The Algebraic Eigenvalue Problem, in: Monographs on Numerical Analysis, Clarendon Press, Oxford, 1992.