基于Agent的自主空间软件工程方法
Agent Based Approaches to Engineering Autonomous Space Software
摘要：
目前的卫星控制系统等空间软件的工程方法是基于使用MatLab的Simulink工具箱等软件包开发反馈控制器。这些为工程实时的系统提供了强大的工具，这些系统适应环境的变化，但在控制器本身需要适应时受到限制。我们正在研究的方式，从时间逻辑和代理编程的想法可以集成使用这样的控制系统，提供一个更强大的自主决策层。本文将讨论我们的初步方法，这样的系统的工程。
英文摘要：
Current approaches to the engineering of space software such as satellite control systems are based around the development of feedback controllers using packages such as MatLab's Simulink toolbox. These provide powerful tools for engineering real time systems that adapt to changes in the environment but are limited when the controller itself needs to be adapted. We are investigating ways in which ideas from temporal logics and agent programming can be integrated with the use of such control systems to provide a more powerful layer of autonomous decision making. This paper will discuss our initial approaches to the engineering of such systems.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
