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.