课题基金 / 基金详情

Hierarchical Systems

Hierarchical Systems
层级系统
批准号：
0099824
负责人：
Pravin Varaiya
金额：
$18.0万
依托单位：
University of California-Berkeley
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
2001
资助国家：
美国
项目状态：
已结题
起止时间：
2001-08-15 至 2004-07-31
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=0099824&HistoricalAwards=false
关键词：
HierarchicalSystems

项目摘要

项目成果

Pravin Varaiya的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
This is a proposal to continue the research supported by NSF Grant ECS 9725148 along two direc-tions.Computation of the reach sets of hybrid dynamical systems is needed to evaluate system perfor-mance. Prior work led to efficient algorithms for calculating the reach sets of linear systems with bounded control, with and without uncertainty. Those algorithms will be extended to hybrid sys-tems. Lambda-Shift is a new language for the specification and simulation of hierarchical, hybrid systems. It has the potential of providing an invaluable framework for the design of such systems. That potential will be explored.The proposed research leverages efforts supported by the DARPA Program on Model Based Inte-gration of Embedded Software (MoBJES), and the ONR Program on Autonomous Vehicles.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
EAGER: Real-Time: Intelligent Intersections
  • 批准号：
    1839843
  • 项目类别：
    Standard Grant
  • 资助金额：
    $29.99万
  • 财政年份：
    2018
  • 负责人：
    Pravin Varaiya
  • 依托单位：
    University of California-Berkeley
SBIR Phase II: Safety and Mobility System
  • 批准号：
    1329477
  • 项目类别：
    Standard Grant
  • 资助金额：
    $45.06万
  • 财政年份：
    2013
  • 负责人：
    Pravin Varaiya
  • 依托单位：
    Sensys Networks, Inc.
Collaborative Research: CyberSEES: Coupon Incentive-based Risk Aware Demand Response in Smart Grid
  • 批准号：
    1331692
  • 项目类别：
    Standard Grant
  • 资助金额：
    $33.3万
  • 财政年份：
    2013
  • 负责人：
    Pravin Varaiya
  • 依托单位：
    University of California-Berkeley
SBIR Phase I: SmartNet Applications for Mobility and Safety (SAMS)
  • 批准号：
    1142381
  • 项目类别：
    Standard Grant
  • 资助金额：
    $14.62万
  • 财政年份：
    2012
  • 负责人：
    Pravin Varaiya
  • 依托单位：
    Sensys Networks, Inc.
国内基金
海外基金
Graphon mean field games with partial observation and application to failure detection in distributed systems
  • 批准号：
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2025
  • 负责人：
    MATHIEULOUROCHLAURIERE
  • 依托单位：
    上海纽约大学
EstimatingLarge Demand Systems with MachineLearning Techniques
  • 批准号：
    --
  • 项目类别：
    外国学者研究基金
  • 资助金额：
    --
  • 批准年份：
    2024
  • 负责人：
    IoshuaAlex
  • 依托单位：
    西南财经大学经济学院
基于“阳化气、阴成形”理论探讨龟鹿二仙胶调控 HIF-1α/Systems Xc-通路抑制铁死亡治疗少弱精子症的作用机理
  • 批准号：
  • 项目类别：
    省市级项目
  • 资助金额：
    15.0万元
  • 批准年份：
    2024
  • 负责人：
    丁劲
  • 依托单位：
    深圳市宝安区中医院
Understanding complicated gravitational physics by simple two-shell systems
  • 批准号：
    12005059
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    24.0万元
  • 批准年份：
    2020
  • 负责人：
    国分隆文
  • 依托单位：
    湖南师范大学