Research Initiation Award: Intelligent Computing in Automating the Design and Control of Complex Physical Systems

在工程设计中对复杂物理系统进行计算模拟已经成为一种普遍的做法。然而，今天的大多数模拟都依赖于广泛的数值计算。非线性物理系统可以表现出极其复杂的行为，这是人类无法分析和纯数值模拟的。这些系统的分析和设计受到可用计算能力和系统复杂性的限制。该研究项目将为非线性控制系统的分析和设计开发强大的计算机仿真技术。可编程原语将用于构建仿真和合成高性能控制器。混合计算将用于将符号和数值方法与人工智能推理和表示技术集成在(1)基于相空间表示的物理系统动力学的操纵和可视化中，以及(2)指导数值计算的执行。这样做的预期结果是扩大当前数值模拟程序或最先进的基于知识的系统可以解决紧迫的科学和工程问题的范围。

Computationally simulating complex physical systems in engineering design has become a common practice. Yet most of today's simulations rely on extensive numerical computations. Nonlinear physical systems can exhibit extremely complex behaviors that defy human analysis and pure numerical simulations. The analysis and design for these systems are limited by the available computational power and the system complexities. This research project will develop powerful computer simulation technologies for the analysis and design of nonlinear control systems. Programmable primitives will be developed for constructing simulations and synthesizing high-performance controllers. Hybrid computation will be for integrating symbolic and numerical methods with AI reasoning and representation techniques in (1) manipulating and visualizing the dynamics of physical systems based on a phase-space representation, and (2) guiding the execution of numerical computations. The expected results of this is to expand the scope of what current numerical simulation programs or state-of-the-art knowledge-based systems can do solving pressing scientific and engineering problems.