AI Memos (1959 - 2004): Recent submissions

Now showing items 358-360 of 1217

    • Extracting Qualitative Dynamics from Numerical Experiments 

      Yip, Kenneth Man-Kam (1987-03-01)
      The Phase Space is a powerful tool for representing and reasoning about the qualitative behavior of nonlinear dynamical systems. Significant physical phenomena of the dynamical system---periodicity, recurrence, stability ...

    • Program Translation via Abstraction and Reimplementation 

      Waters, Richard C. (1986-12-01)
      Essentially all program translators (both source-to-source translators and compilers) operate via transliteration and refinement. This approach is fundamentally limited in the quality of the output it can produce. In ...

    • Understanding Bandwidth Limitations in Robot Force Control 

      Eppinger, Steven D.; Seering, Warren P. (1987-08-01)
      This paper provides an analytical overview of the dynamics involved in force control. Models are developed which demonstrate, for the one-axis explicit force control case, the effects on system closed-loop bandwidth ...