CPS: Small: Energy-Aware Formal Synthesis for Supervisory Control and Information Acquisition in Cyber-Physical Systems

该项目正在开发理论基础和计算算法，以便在与环境相互作用的同时扩大或补充其资源的网络物理系统中综合更高级别的监督和信息获取控制逻辑。一方面，定性需求捕获了在系统运行时强加给它的安全需求。另一方面，在能源感知系统的背景下，量化需求捕捉到了资源约束。这些双重考虑在网络物理系统的应用中是必要的，在这种情况下，必须在系统的动态运行中考虑到对资源的有效管理，以便在特定的能源或资源预算内实现预期目标。它在网络物理系统的更高级别的控制逻辑中利用了最近开发的监督控制和信息获取的统一框架，但它在解决程序中明确地嵌入了量化约束，以便捕捉网络物理系统在与其环境交互时消耗和/或补充的能量或资源。这种通用的解决方案方法论适用于受能源限制的几类网络物理系统。正在开发软件工具，以促进将这些成果过渡到应用领域。特别令人感兴趣的是自主系统中的有能源意识的任务规划，这是一个丰富的领域，其中定性的任务要求与定量的约束相结合。总体而言，该项目对网络物理系统科学和网络物理系统工程都有影响。

This project is developing theoretical foundations and computational algorithms for synthesizing higher-level supervisory and information-acquisition control logic in cyber-physical systems that expend or replenish their resources while interacting with the environment. On the one hand, qualitative requirements capture the safety requirements that are imposed on the system as it operates. On the other hand, quantitative requirements capture resource constraints in the context of energy-aware systems. These dual considerations are needed in applications of cyber-physical systems where efficient management of resources must be accounted for in the dynamic operation of the system in order to achieve the desired objectives within a given energy or resource budget.The approach pursued is formal and model-based. It leverages a recently-developed unified framework for supervisory control and information acquisition in the higher-level control logic of cyber-physical systems, but it explicitly embeds quantitative constraints in the solution procedure in order to capture the energy or resources expended and/or replenished by the cyber-physical system as it interacts with its environment. This generic solution methodology is applicable to several classes of cyber-physical systems subject to energy constraints. Software tools are being developed to facilitate the transition of these results to application domains. Of special interest is energy-aware mission planning in autonomous systems, a rich domain where qualitative mission requirements are coupled with quantitative constraints. Overall, this project impacts both the Science of Cyber-Physical Systems and the Engineering of Cyber-Physical Systems.