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
中文摘要
网络物理系统将很快变得无处不在。这样的系统构成的主要挑战之一是,调制与物理世界的交互的控制算法传统上假设无限的计算资源的可用性。然而,在信息物理系统中,控制任务是在共享处理器上执行的,这些处理器只能提供时变和不确定的计算资源。此外,控制任务的实时调度提供了新的困难,在这种情况下,给定的抖动和延迟引起的计算资源的时变可用性的控制性能的敏感性。这些都是新的问题,驻留在控制算法和实时调度策略之间的接口。该研究提供了一种新的联合控制和任务调度方法,在时变处理器可用性下保持有保证的控制性能,同时最佳地利用可用的计算资源。更具体地说,该项目旨在设计新颖的随时滚动时域控制算法,随着提供更多的计算时间,该算法提供逐渐更好的性能,并基于控制性能和其他实时任务的服务质量在线重新分配可用的计算资源。通过解决信息物理系统设计中的基本瓶颈,这个项目对社会产生了深远的直接影响。实时环境中滚动时域控制的新应用类别,如基于网络视觉的控制和复杂的SCADA系统,将成为可能,具有经济和社会效益。该项目还关注控制和实时计算交叉点的挑战,从而促进这两个社区的研究人员之间的合作,并导致新的教育材料。
英文摘要
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
-
依托单位:
海外基金