CSR-EHCS(EHS), SM: Collaborative Research: An Anytime Approach to Real-Time Embedded Control
CSR-EHCS(EHS), SM: Collaborative Research: An Anytime Approach to Real-Time Embedded Control
批准号:
0834771
负责人:
Paulo Tabuada
金额:
$20.5万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2008
资助国家:
美国
项目状态:
已结题
起止时间:
2008-09-15 至 2012-08-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
Cyber-physical systems will soon become ubiquitous. One of the major challenges that such systems pose is that the control algorithms that modulate the interaction with the physical world have traditionally assumed availability of unlimited computational resources. However, in cyber-physical systems, control tasks are executed on shared processors that can only provide time-varying and uncertain computational resources. Moreover, the real-time scheduling of control tasks provides new difficulties in this context given the sensitivity of control performance to jitter and latency caused by the time varying availability of computational resources. These are new problems that reside at the interface between control algorithms and real-time scheduling policies. This research provides a new joint control and task scheduling approach that maintaining a guaranteed control performance under time-varying processor availability while optimally utilizing the available computational resources. More specifically, this project aims at the design of novel anytime receding horizon control algorithms that provide progressively better performance as more computational time is provided and redistribute the available computational resources online based on the control performance and on the quality of service of other real-time tasks.By addressing a fundamental bottleneck in the design of cyber-physical systems, this project directly impacts the society in profound ways. New classes of applications of receding horizon control in real-time environments, such as networked vision-based control and complex SCADA systems will become possible with economic and societal benefits. This project also focuses attention at the challenges at the intersection of control and real-time computation, and thus fosters collaboration between researchers in these two communities, also leading to new educational material.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
CPS: Small: Formally Correct Deep Perception For Cyber-Physical Systems
-
批准号:2211146
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2022
-
负责人:Paulo Tabuada
-
依托单位:
Support for Cyber-Physical Systems Week 2018 Student Participation
-
批准号:1826517
-
项目类别:Standard Grant
-
资助金额:$2.5万
-
财政年份:2018
-
负责人:Paulo Tabuada
-
依托单位:
CPS: Breakthrough: A science of CPS robustness
-
批准号:1645824
-
项目类别:Standard Grant
-
资助金额:$42.5万
-
财政年份:2016
-
负责人:Paulo Tabuada
-
依托单位:
CPS: Frontier: Collaborative Research: Correct-by-Design Control Software Synthesis for Highly Dynamic Systems
-
批准号:1239085
-
项目类别:Continuing Grant
-
资助金额:$100.0万
-
财政年份:2013
-
负责人:Paulo Tabuada
-
依托单位:
Collaborative Research: Expeditions in Computer Augmented Program Engineering (ExCAPE): Harnessing Synthesis for Software Design
-
批准号:1139061
-
项目类别:Continuing Grant
-
资助金额:$50.0万
-
财政年份:2012
-
负责人:Paulo Tabuada
-
依托单位:
CPS: Small: Towards robust cyber-physical systems
-
批准号:1035916
-
项目类别:Standard Grant
-
资助金额:$53.0万
-
财政年份:2010
-
负责人:Paulo Tabuada
-
依托单位:
SGER: Event-triggered control over sensor/actuator wireless networks
-
批准号:0841216
-
项目类别:Standard Grant
-
资助金额:$7.5万
-
财政年份:2008
-
负责人:Paulo Tabuada
-
依托单位:
CSR - EHS: Formal Methods for Control and Real-Time Scheduling Co-Design
-
批准号:0712502
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Paulo Tabuada
-
依托单位:
Workshop on Networked Embedded Sensing and Control: October 17-18, 2005-University of Notre Dame
-
批准号:0552190
-
项目类别:Standard Grant
-
资助金额:$0.5万
-
财政年份:2006
-
负责人:Paulo Tabuada
-
依托单位:
CAREER: Automated Synthesis of Embedded Control Software
-
批准号:0717188
-
项目类别:Continuing Grant
-
资助金额:$30.83万
-
财政年份:2006
-
负责人:Paulo Tabuada
-
依托单位:
CSR - EHS: Formal Methods for Control and Real-Time Scheduling Co-Design
-
批准号:0509313
-
项目类别:Standard Grant
-
资助金额:$21.0万
-
财政年份:2005
-
负责人:Paulo Tabuada
-
依托单位:
CAREER: Automated Synthesis of Embedded Control Software
-
批准号:0446716
-
项目类别:Continuing Grant
-
资助金额:$40.0万
-
财政年份:2005
-
负责人:Paulo Tabuada
-
依托单位:
海外基金