THE SYMBOLIC-NUMERIC INTERFACE: A “ZOSTERIC” APPROACH

REFERENCES

• Aguilar-Martin , J. 1991 . Knowledge-based real-time supervision of dynamical processes . Dynamic knowledge representation and simulation. Technical report, Automatic Control Research Group, L.A.A.S.-C.N.R.S. , Toulouse , France .
   Google Scholar
• Aguilar-Martin , J. , and Rakoto-Ravalontsalama , N. 1994 . Uncertainty propagation in fuzzy simulation of dynamic systems, application to a simplified turbine . In Proceedings of the European Conference on Modeling and Simulation , ed. Guash and Huber . 519 – 528 . 1-3 June , Barcelona , Spain .
   Google Scholar
• Ben-Haim , Y. 1993 . Convex models of uncertainty in radial pulse buckling of shells . Transactions of the ASME, Journal of Applied Mathematics . 60 683 – 688 .
   Web of Science ®Google Scholar
• Berleant , D. , and Kuipers , B. 1990 . Combined qualitative and numerical simulation with q3 . In Proceedings of the Fourth International Workshop on Qualitative Physics . 140 – 152 , Lugano , Switzerland .
   Google Scholar
• Bonarińi , A. , and Bontempi , G. 1994 . Qua.si. A qualitative simulation approach for fuzzy models . In Proceedings of the European Conference on Modeling and Simulation , ed. Guash and Huber . 420 – 424 . 1-3 June , Barcelona , Spain .
   Google Scholar
• Danès , P. 1995 . Symbolic-numeric interface in qualitative simulation of dynamical systems . Thèse de doctorat (in French) , Paul Sabatier University , Toulouse .
   Google Scholar
• Danès , P. , Travè-Massuyès , L. , and Aguilar-Martin , J. 1993 . A generic method for computing the response of a numerically-known dynamic system toqualitative inputs . In Proceedings of the IEEE Conference on Systems, Man and Cybernetics , 187 – 192 . LeTouquet , France .
   Google Scholar
• Gabasov , R. , and Kirillova , F.M. 1972 . High order necessary conditions foroptimality . SI AM Journal of Control . 10 ( 1 ) 127 – 168 .
   Web of Science ®Google Scholar
• Gayek , J.E. 1991 . A survey of techniques for approximating reachable and controllable sets . In Proceedings of the 30th Conference on Decision and Control , 1724 – 1729 . December , Brighton , England .
   Google Scholar
• Grantham , W.J. , and Vincent , T.L. 1975 , A controllability minimum principle . Journal of Optimization Theory and Applications . 17 ( l/2 ) p93–l14 p.
   Google Scholar
• Halkin , H. 1967 . Mathematical foundations of system optimization . In Topics in Optimization , ed. G. Leitmann . 197 – 262 . New York and London Academic Press .
   Google Scholar
• Kay , H. , and Kuipers , B. 1993 . Numerical behavior envelopes for qualitative models . In Proceedings AAAI-93 , 606 – 613 , San Mateo , California Morgan Kauffman .
   Google Scholar
• Kuipers , B. 1986 . Qualitative simulation . Artificial Intelligence . 29 289 – 338 .
   Web of Science ®Google Scholar
• Kuipers . B. , and Berleant , D. 1988 . Using incomplete quantitative knowledge in qualitative reasoning . In Proceedings of the AAAI Conference , 324 – 329 , Los Altos , California Morgan Kauffman .
   Google Scholar
• Leitmann , G. 1981 . The calculus of variations and optimal control; An introduction, volume 24 of mathematical concepts and methods in science and engineering . New York and London Plenum Press .
   Google Scholar
• Pontryagin , L.S. , Boltyanskii , V.G. , Gamkrelidze , R.V. ,Mitchenko. E.F. 1962 . The mathematical theory of optimal processes . New York Inlerscience Publishers .
   Google Scholar
• Schmitendorf , W.E. 1976 . Pontryagin's principle for problems with isoperimetric constraints and for problems with inequality terminal constraints . Journal of Optimization Theory and Applications . 18 ( 4 ) 561 – 567 .
   Web of Science ®Google Scholar