CPS: Small: Monitoring Techniques for Safety Critical Cyber-Physical Systems

这项研究的目的是检查网络物理系统在运行过程中的正确功能。方法是持续监视系统，并在系统似乎显示错误行为时发出警报。网络物理系统的正确运行至关重要。这在医疗、汽车和其他应用等安全关键系统中更是如此。该方法使用混合自动机来指定要监控的属性并对系统行为进行建模。由于噪声和其他因素，系统行为在本质上是概率的。监视这类系统具有挑战性，因为监视器只能观察系统输出，而不能观察其状态。基础研究，即定义和检测系统是否可监控，是工作的重点。该项目提出了准确性措施和基于成本的衡量标准，以实现最佳监测。该项目正在开发基于乘积自动机和部分可观测马尔可夫决策过程的高效和有效的监测技术。预计该项目的结果将对确保系统的正确运行产生变革性的影响。该结果将对许多具有社会重要性和日常生活实用价值的领域产生影响，如医疗保健、护理/康复、汽车系统、家用电器等。护理/康复方面的好处来自于部署先进技术来协助照顾者。这可以在降低成本的情况下改善老年患者的健康和生活质量。该项目包括以K-12外联的形式进行教育和外联，并让本科生和研究生参与研究。该项目致力于让妇女和少数群体参与教育和研究。

The objective of this research is to check correct functioning of cyber-physical systems during their operation. The approach is to continuously monitor the system and raise an alarm when the system seems to exhibit an erroneous behavior. Correct functioning of cyber-physical systems is of critical importance. This is more so in safety critical systems like medical, automotive and other applications.The approach employs hybrid automata for specifying the property to be monitored and for modeling the system behavior. The system behavior is probabilistic in nature due to noise and other factors. Monitoring such systems is challenging since the monitor can only observe system outputs, but not it's state. Fundamental research, on defining and detecting whether a system is monitorable, is the focus of the work. The project proposes accuracy measures and cost based metrics for optimal monitoring. The project is developing efficient and effective monitoring techniques, based on product automata and Partially Observable Markov Decision Processes. The results of the project are expected to be transformative in ensuring correct operation of systems.The results will have impact in many areas of societal importance and utility for daily life, such as health care, nursing/rehabilitation, automotive systems, home appliances, and more. The benefits in nursing/rehabilitation emanate from the deployment of advanced technologies to assist caregivers. This can lead to improved health and quality of life of older patients at reduced costs. The project includes education and outreach in the form of K-12 outreach and involvement of undergraduate and graduate students in research. The project is committed to involving women and minorities in education and research.