Set Computation for Nonlinear Control

Reliable Computing

Volumn 10, Issue 1, 2004, Pages 1-26

  Jaulin, Luc ^a   Ratschan, Stefan ^b   Hardouin, Laurent ^a  

^a UNIVERSITÉ D'ANGERS   (France)

^b MAX PLANCK INSTITUTE FOR INFORMATICS   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; DISCRETE TIME CONTROL SYSTEMS; MATHEMATICAL MODELS; PROBLEM SOLVING; ROBUSTNESS (CONTROL SYSTEMS); SET THEORY; VECTORS;

RESIDUATION THEORY;

NONLINEAR CONTROL SYSTEMS;

EID: 0742268854     PISSN: 13853139     EISSN: None     Source Type: Journal    
DOI: 10.1023/B:REOM.0000003994.92390.a4     Document Type: Article

References (28)

1. Barmish, B. R.: New Tools for Robustness of Linear Systems, MacMillan, New York, 1994.
2. Benhamou, F., Goualard, F., Granvilliers, L., and Puget, J. F.: Revising Hull and Box Consistency, in: Proceedings of the International Conference on Logic Programming, Las Cruces, 1999, pp. 230-244.
3. Bertsekas, D. P.: Infinite-Time Reachability of State-Space Regions by Using Feedback Control, IEEE Trans. Automatic Control 17 (5) (1972), pp. 604-613.
4. Bertsekas, D. P. and Rhodes, I. B.: On the Minimax Reachability of Target Sets and Target Tubes, Automatica 7 (2) (1971), pp. 233-241.
5. Cleary, J. G.: Logical Arithmetic, Future Computing Systems 2 (2) (1987), pp. 125-149.
6. Cohen, G., Moller, P., Quadrat, J. P., and Viot, M.: Algebraic Tools for the Performance Evaluation of Discrete Event Systems, IEEE Proceedings: Special Issue on Discrete Event Systems 77 (1) (1989), pp. 39-58.
7. Dechter, R. and Pearl, J.: Tree-Clustering for Constraint Networks, Artificial Intelligence 38 (3) (1989), pp. 353-366.
8. Dorato, P., Tempo, R., and Muscato, G.: Bibliography on Robust Control, Automatica 29 (1) (1993), pp. 201-213.
9. Durieu, C., Polyak, B., and Walter, E.: Ellipsoidal State Outer-Bounding for MIMO Systems via Analytical Techniques, in: Proceedings of the IMACS - IEEE-SMC CESA'96 Symposium on Modelling and Simulation, Vol. 2, Lille, France, 1996, pp. 843-848.
10. Ebbinghaus, H.-D., Flum, J., and Thomas, W.: Mathematical Logic, Springer Verlag, 1984.
11. Gondran, M. and Minoux, M.: Graphes et Algorithmes, Eyrolles, Paris, 3e édition, 1995.
12. 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.
13. Jaulin, L., Kieffer, M., Didrit, O., and Walter, E.: Applied Interval Analysis, with Examples in Parameter and State Estimation, Robust Control and Robotics, Springer-Verlag, London, 2001.
14. Jaulin, L. and Walter, E.: Global Numerical Approach to Nonlinear Discrete-Time Control, IEEE Transactions on Automatic Control 42 (6) (1997), pp. 872-875.
15. Kurzhanski, A. and Valyi, I.: Ellipsoidal Calculus for Estimation and Control, Birkhäuser, Boston, 1997.
16. Mackworth, A. K.: Consistency in Networks of Relations, Artificial Intelligence 8 (1) (1977), pp. 99-118.
17. Malan, S. A., Milanese, M., and Taragna, M.: Robust Tuning for PID Controllers with Multiple Performance Specifications, in: Proceedings of the 33rd IEEE Conference on Decision and Control, Lake Buena Vista, 1994, pp. 2684-2689.
18. Mayne, D. Q., Rawlings, J. B., Rao, C. V., and Scokaert, P. O. M.: Constrained Model Predictive Control: Stability and Optimality. Survey Paper. Automatica 36 (2000), pp. 789-814.
19. Menguy, E., Boimond, J. L., and Hardouin, L.: Just in Time Control of Linear System in Dioid: Cases of an Update of Reference Input and Uncontrollable Input, IEEE Transactions on Automatic Control 45 (11) (2000), pp. 2155-2159.
20. Milanese, M., Norton, J., Piet-Lahanier, H., and Walter, E. (eds): Bounding Approaches to System Identification, Plenum Press, New York, 1996.
21. Montanari, U. and Rossi, F.: Constraint Relaxation May Be Perfect, Artificial Intelligence 48 (2) (1991), pp. 143-170.
22. Moore, R. E.: Methods and Applications of Interval Analysis, SIAM, Philadelphia, 1979.
23. Murata, T.: Petri Nets: Properties, Analysis, and Applications, Proceedings of the IEEE 77 (4) (1989), pp. 541-580.
24. Norton, J. P.: Roles for Deterministic Bounding in Environmental Modeling, Ecological Modelling 86 (1996), pp. 157-161.
25. Ratschan, S.: Approximate Quantified Constraint Solving (AQCS), 2000, http://www.risc.uni-linz.ac.at/research/software/AQCS.
26. Ratschan, S.: Approximate Quantified Constraint Solving by Cylindrical Box Decomposition, Reliable Computing 8 (1) (2002), pp. 21-42.
27. Walter, E. and Piet-Lahanier, H.: Exact Recursive Polyhedral Description of the Feasible Parameter Set for Bounded-Error Models, IEEE Transactions on Automatic Control 34 (8) (1989), pp. 911-915.
28. Walter, E. and Pronzato, L.: Identification of Parametric Models from Experimental Data, Springer-Verlag, London, 1997.