Collaborative Research: Designs and Theory for Interval Contractors and Reference Governors with Aerospace Applications

该项目将产生用于航空航天工程中重要动力系统控制的数学方法。控制将被建模为强制函数，它表示可以应用于动力学的允许力。重点将放在产生控制公式上，以确保满足包含重要输入或状态约束的动态系统所期望的规定控制目标。输入约束是对可应用于系统的力的限制，例如飞行器的最大允许推力。状态约束是对系统允许状态的限制，可能来自避障要求或保持飞行器俯仰或翻滚在安全范围内的需要。该研究适用于重要的工程应用，无论是关于系统状态或环境的信息不完整，还是在达到规定的控制目标时有时间期限或延迟的情况下。数学模型中的延迟对于对动力系统施加力的延迟效应进行建模非常重要。潜在的应用包括将航空航天工程方法用于国防、搜索和救援，或者用于向可能尚未拥有良好跑道的发展中国家运送医疗用品的无人机。这些方法将在数值模拟中进行测试，使用四旋翼飞机和固定翼飞机的数学模型，然后在航空航天工程实验室和户外使用飞行平台进行实时测试。除了产生可以提高国防或其他重要领域航空航天系统性能的基础知识外，该项目还将培养航空航天工程和数学界面的博士生。这将有助于增加美国应用数学家的数量，他们可以与工程师合作，并可以使用最先进的数学技术来帮助解决重要的社会问题。该项目将采用三种研究策略。一种策略将发展区间承包者，这是一种迭代技术，用于估计不确定动力系统在不完全动态状态信息下的解，重点关注状态和输入测量的不确定性如何影响区间的收缩，并推导出区间在有限时间内围绕未知时变函数收缩到足够小的管道的条件。该策略将建立在研究人员的初步结果的基础上，这些结果表明，当区间承包者与状态增强方法和凸性参数结合使用，将多项式状态约束转换为更容易处理的线性约束时，可以实现航空航天模型中跟踪的显着改进。第二种策略将开发有限时间极值寻求方法，该方法使用采样或延迟测量来识别不确定函数的极值，并且识别过程使用区间收缩器，因此这与假设目标函数已知的标准优化方法有很大的不同。第三种策略是健壮的参考调控器，它是控制系统的附加方案，可以防止输入或状态违反，同时保持在没有输入或状态约束的情况下设计的控制的性能。该策略将侧重于使用区间承包者来确保有限时间收敛，在连续和离散时间的未知延迟以及可以模拟图像处理效果的扰动采样测量下。该项目将证明一些定理，这些定理为满足规定的收敛性质的方法提供了充分条件，并着眼于发现的收敛率，这与工程界主要是实验性的研究有很大的不同。应用将包括推进剂晃动缓解、自动安全着陆和源头寻找。该奖项反映了美国国家科学基金会的法定使命，并通过使用基金会的知识价值和更广泛的影响审查标准进行评估，被认为值得支持。

This project will produce mathematical methods for the control of important classes of dynamical systems that are used in aerospace engineering. The controls will be modeled as forcing functions, which represent the admissible forces that can be applied to the dynamics. The focus will be on producing formulas for controls that ensure that desirable prescribed control objectives are met for dynamical systems that contain significant input or state constraints. Input constraints are restrictions on forces that can be applied to the systems, such as maximum allowable thrusts for an aerial vehicle. State constraints are restrictions on the allowable states of the systems, which can arise from obstacle avoidance requirements or the need to keep the pitch or roll of an aerial vehicle in safe ranges. The research is amenable to significant engineering applications with either incomplete information about the systems' states or surroundings, or where there are time deadlines or latencies when achieving prescribed control goals. Latencies in mathematical models are important for modeling the delayed effects of applying forces to dynamical systems. The potential applications include using aerospace engineering methods for national defense, for search and rescue, or for drones that can deliver medical supplies in developing countries that may not yet have well equipped runways. The methods will be tested in numerical simulations, using mathematical models of quadrotors and fixed wing aircraft, and then in real time in an aerospace engineering lab and outdoors using flying platforms. In addition to generating fundamental knowledge that can enhance the performance of aerospace systems in national defense or other significant domains, the project will train PhD students at the interface of aerospace engineering and mathematics. This will help increase the population of US applied mathematicians who can collaborate with engineers and who can use state-of-the-art mathematical techniques to help solve important societal problems.The project will pursue three research strategies. One strategy will develop interval contractors, which are iterative techniques for estimating solutions of uncertain dynamical systems under incomplete information about the current state of the dynamics, focusing on how uncertainty in state and input measurements affect the contraction of the intervals and deriving conditions under which the intervals contract to small enough tubes around unknown time-varying functions in finite time. This strategy will build on the investigators' preliminary results that illustrate significant improvement in tracking in aerospace models that is achievable when interval contractors are used in conjunction with state augmentation methods and convexity arguments to transform polynomial state constraints into more easily handled linear constraints. A second strategy will develop finite time extremum seeking methods, which identify extrema of uncertain functions using sampled or delayed measurements and where the identification process uses interval contractors, and which are therefore a significant departure from standard optimization methods where the objective function is assumed to be known. A third strategy will be robust reference governors, which are add-on schemes for control systems that prevent input or state violations while maintaining the performance of controls that were designed in the absence of input or state constraints. This strategy will focus on using interval contractors to ensure finite time convergence, under unknown delays in continuous and discrete time and perturbed sampled measurements that can model the effects of image processing. The project would prove theorems that provide sufficient conditions for the methods to satisfy prescribed convergence properties with a view towards findings rates of convergence, which is a significant departure from research in the engineering community that was mainly experimental. The applications will include propellant slosh mitigation, automatic safe landing, and source seeking.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.