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

点击翻译按钮获取中文摘要

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.