课题基金 / 基金详情

CPS: Medium: Collaborative Research: Design Science for CPS

CPS: Medium: Collaborative Research: Design Science for CPS
CPS:媒介:协作研究:CPS 设计科学
批准号:
1136146
负责人:
Daniel Gajski
金额:
$150.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2011
资助国家:
美国
项目状态:
已结题
起止时间:
2011-09-01 至 2016-08-31

项目摘要

项目成果

Daniel Gajski的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
A CPS is a system in which computer-based (?cyber?) technology is combined with all kinds of physical systems, such as planes and robotic-surgeons. CPSs require integration (in industry and academia) of different types of knowledge from many different domains. CPSs are built from often inaccurate, undependable components, and operate in harsh and unpredictable environments. The cyber domain, interfaces, and the physical domain are tightly interwoven and networked (distributed) and hence cannot be designed and optimized individually. The goal of this project is to create a general CPS design-science that makes the design of every CPS simpler, faster, and more dependable, while at the same time reducing the cost and the required expertise level. This project gives rise to a unified theory that can allow for specification, modeling, design, optimization, and verification of CPSs on different levels of design abstraction and different steps of projection, even across boundaries between varied technologies. The project does bridge the gap between the continuous-time physical domain and the discrete timed cyber system.This project has a broad and profound impact in scientific, engineering, industrial, and academic communities. By enabling a fundamentally efficient design of CPSs, the most limiting bottleneck in design technology is eliminated, paving the way for many new applications and jobs with significant economic and social impact. This project contributes to the on-line educational endeavors currently underway, allowing cross education in different disciplines of complex CPS and speeding up development of new CPS programs in engineering and computer science.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
System Synthesis From Specification Charts
  • 批准号:
    8922851
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $25.19万
  • 财政年份:
    1990
  • 负责人:
    Daniel Gajski
  • 依托单位:
CISE Research Instrumentation
  • 批准号:
    8820627
  • 项目类别:
    Standard Grant
  • 资助金额:
    $18.73万
  • 财政年份:
    1989
  • 负责人:
    Daniel Gajski
  • 依托单位:
An Expert System for Layout Generation
  • 批准号:
    8711025
  • 项目类别:
    Standard Grant
  • 资助金额:
    $15.45万
  • 财政年份:
    1988
  • 负责人:
    Daniel Gajski
  • 依托单位:
"A Computer-Aided Programming Tool for Microprocessors"
  • 批准号:
    8700738
  • 项目类别:
    Standard Grant
  • 资助金额:
    $9.56万
  • 财政年份:
    1987
  • 负责人:
    Daniel Gajski
  • 依托单位:
海外基金