CPS: Medium: A Logical Framework for Self-Optimizing Networked Cyber-Physical Systems

自优化网络信息物理系统的逻辑框架本研究的目的是为新一代网络信息物理系统的发展奠定基础。该方法是基于分布式逻辑的网络物理系统与分布式跨层控制和优化策略，使本地行动，以保持或提高系统目标的满意度。该框架将首先在仿真中实现，然后在SRI的机器人平台上实现，并在网络化移动的机器人团队的背景下进行演示，这是一个特别具有挑战性的应用。网络化的网络物理系统提出了许多现有计算范式无法解决的智力挑战。它们必须通过本地的、异步的动作，使用贯穿整个环境的分布式控制回路来实现系统范围的目标。一个关键的挑战是开发一个强大的计算基础，支持自治和合作之间的广泛系统操作，以适应不确定性，变化，故障和资源约束，特别是计算，能源和网络资源的限制。结果将有各种各样的应用，包括分布式监视，仪器普及空间，危机响应，医疗系统，绿色建筑，自组装结构、网络化空间/卫星任务以及分布式关键基础设施监测和控制。也有可能集成到SRI的商业机器人平台。研究结果将在一个项目网站上公布，并将为学生和研究人员编写辅导材料。SRI将主办一个多学科研究研讨会。coPI是女性，在指导女学生和年轻研究人员方面有着良好的记录，包括该项目的女博士后。

A Logical Framework for Self-Optimizing Networked Cyber-Physical SystemsThe objective of this research is to develop foundations for the newly emerginggeneration of networked cyber-physical systems. The approach is based on adistributed logic of cyber-physical systems together with distributedcross-layer control and optimization strategies to enabled local actions tomaintain or improve the satisfaction of system goals. The framework will beimplemented first in simulation, then on one of SRI's robot platforms, anddemonstrated in the context of networked mobile robotic teams, a particularlychallenging application.Networked cyber-physical systems present many intellectual challengesnot suitably addressed by existing computing paradigms. They mustachieve system-wide objectives through local, asynchronous actions,using distributed control loops through the environment. A keychallenge is to develop a robust computational foundation thatsupports a wide spectrum of system operation between autonomy andcooperation to adapt to uncertainties, changes, failures, and resource constraints, in particular to limitations of computational, energy, and networking resources.The results will have a variety of applications including distributedsurveillance, instrumented pervasive spaces, crisis response, medicalsystems, green buildings, self-assembling structures, networkedspace/satellite missions, and distributed critical infrastructuremonitoring and control. There is also potential for integrationinto SRI's commercial robotic platform. Results will be publiclyavailable from a project web site, and tutorial material will bedeveloped for students and researchers. A multi-disciplinary researchseminar will be sponsored by SRI. The coPI is female with a strongrecord of mentoring female students and young researchers, includingthe project's female postdoc.