CPS: Small: Monitoring Techniques for Safety Critical Cyber-Physical Systems
CPS: Small: Monitoring Techniques for Safety Critical Cyber-Physical Systems
批准号:
1035914
负责人:
Aravinda Sistla
金额:
$36.0万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2010
资助国家:
美国
项目状态:
已结题
起止时间:
2010-10-01 至 2015-09-30
中文摘要
本研究的目的是检查网络物理系统在运行过程中的正确功能。该方法是持续监视系统,并在系统似乎表现出错误行为时发出警报。信息物理系统的正确运行至关重要。在医疗、汽车和其他应用等安全关键系统中更是如此。该方法使用混合自动机来指定要监视的属性并对系统行为进行建模。由于噪声和其他因素的影响,系统行为在本质上是概率性的。监视这样的系统是具有挑战性的,因为监视器只能观察系统输出,而不能观察它的状态。基础研究,定义和检测系统是否可监测,是工作的重点。该项目提出了精度测量和基于成本的最佳监测指标。该项目正在开发基于产品自动机和部分可观察马尔可夫决策过程的高效监测技术。预计该项目的结果将在确保系统的正确操作方面具有变革性。其结果将对许多具有社会重要性和日常生活效用的领域产生影响,例如医疗保健、护理/康复、汽车系统、家用电器等。护理/康复的好处来自于先进技术的部署,以协助护理人员。这可以以较低的成本改善老年患者的健康和生活质量。该项目包括以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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF: Medium: Collaborative Research: Verification of Differential Privacy Mechanisms
-
批准号:1901069
-
项目类别:Standard Grant
-
资助金额:$80.0万
-
财政年份:2019
-
负责人:Aravinda Sistla
-
依托单位:
SHF: Small: Static and Dynamic Techniques for Correctness of Probabilistic Systems
-
批准号:1319754
-
项目类别:Standard Grant
-
资助金额:$30.0万
-
财政年份:2013
-
负责人:Aravinda Sistla
-
依托单位:
Runtime and Static Verification of Concurrent Systems
-
批准号:0916438
-
项目类别:Standard Grant
-
资助金额:$48.55万
-
财政年份:2009
-
负责人:Aravinda Sistla
-
依托单位:
Collaborative Research: CSR--EHS: Property-Based Development of Reactive and Embedded Systems
-
批准号:0720525
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2007
-
负责人:Aravinda Sistla
-
依托单位:
SGER: Monitoring Off-the-shelf Components
-
批准号:0742686
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2007
-
负责人:Aravinda Sistla
-
依托单位:
ITR: COLLABORATIVE RESEARCH: Towards a Seamless Process for the Development of Embedded Systems
-
批准号:0205365
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2002
-
负责人:Aravinda Sistla
-
依托单位:
Automated Methods for Verification of Concurrent Software Systems
-
批准号:9988884
-
项目类别:Standard Grant
-
资助金额:$20.01万
-
财政年份:2000
-
负责人:Aravinda Sistla
-
依托单位:
Triggers and Queries in Distributed Software Systems for Moving Objects
-
批准号:9803974
-
项目类别:Standard Grant
-
资助金额:$26.0万
-
财政年份:1998
-
负责人:Aravinda Sistla
-
依托单位:
Similarity Based Retrieval From Video and Pictorial Databases
-
批准号:9711925
-
项目类别:Continuing Grant
-
资助金额:$34.22万
-
财政年份:1997
-
负责人:Aravinda Sistla
-
依托单位:
Formal Methods in Concurrent and Distributed Systems
-
批准号:9623229
-
项目类别:Standard Grant
-
资助金额:$10.71万
-
财政年份:1996
-
负责人:Aravinda Sistla
-
依托单位:
Formal Methods in Concurrent and Distributed Systems
-
批准号:9212183
-
项目类别:Standard Grant
-
资助金额:$15.49万
-
财政年份:1992
-
负责人:Aravinda Sistla
-
依托单位:
Research Initiation: Design and Verification of DistributedSystems
-
批准号:8504794
-
项目类别:Standard Grant
-
资助金额:$6.0万
-
财政年份:1985
-
负责人:Aravinda Sistla
-
依托单位:
国内基金
海外基金
登录
查看更多内容
昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:
-
依托单位:
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:10.0万元
-
批准年份:2022
-
负责人:张祥忠
-
依托单位:
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
-
批准号:32000033
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:林平
-
依托单位:
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
-
批准号:31972324
-
项目类别:面上项目
-
资助金额:58.0万元
-
批准年份:2019
-
负责人:高学文
-
依托单位:
变异链球菌small RNAs连接LuxS密度感应与生物膜形成的机制研究
-
批准号:81900988
-
项目类别:青年科学基金项目
-
资助金额:21.0万元
-
批准年份:2019
-
负责人:毛梦莹
-
依托单位:
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
-
批准号:31870821
-
项目类别:面上项目
-
资助金额:56.0万元
-
批准年份:2018
-
负责人:陈江宁
-
依托单位:
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
-
批准号:31802058
-
项目类别:青年科学基金项目
-
资助金额:26.0万元
-
批准年份:2018
-
负责人:麻慧
-
依托单位:
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
-
批准号:31772128
-
项目类别:面上项目
-
资助金额:60.0万元
-
批准年份:2017
-
负责人:吴建国
-
依托单位:
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
-
批准号:81704176
-
项目类别:青年科学基金项目
-
资助金额:20.0万元
-
批准年份:2017
-
负责人:赵继梦
-
依托单位:
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
-
批准号:91640114
-
项目类别:重大研究计划
-
资助金额:85.0万元
-
批准年份:2016
-
负责人:何祖华
-
依托单位: