Hybrid Systems Workshop to be held In Ithaca, New York, October 12-14, l996
Hybrid Systems Workshop to be held In Ithaca, New York, October 12-14, l996
批准号:
9632674
负责人:
Anil Nerode
金额:
$1.0万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1996
资助国家:
美国
项目状态:
已结题
起止时间:
1996-08-15 至 1997-07-31
中文摘要
小行星9632674 目标是支持1996年10月12日至14日在纽约州伊萨卡举行的“混合系统和自主控制研讨会”(HSAC 96)。 混合系统是数字系统和连续系统的交互网络。 混合系统出现在整个商业和工业领域,如交互式分布式仿真,交通控制,工厂过程控制,军事指挥和控制,飞机和机器人设计,以及路径规划。 混合系统的基本问题是:给定一个或一个物理系统网络的性能指标和系统的性能指标,提取数字控制程序,使网络服从其性能指标。 这个快速发展的领域是在控制,工程和计算机科学的接口。 ***
英文摘要
9632674 Nerode The objective is to support "Hybrid Systems and Autonomous Control Workshop" (HSAC96), on Oct 12-14, 1996 in Ithaca, NY. Hybrid systems are interacting networks of digital and continuous systems. Hybrid systems arise throughout business and industry in such areas as interactive distributed simulation, traffic control, plant process control, military command and control, aircraft and robot design, and path planning. The fundamental problem of hybrid system is: given the performance specification of one or a network of physical systems and a performance specification for the system, extract digital control programs which will force the network to obey its performance specifications. This rapidly developing area is at the interface of control, engineering and computer science. ***
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
U.S.-FSU Seminar on Logic (Tver University, Russia: July 20-24, 1992)
-
批准号:9213577
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:1992
-
负责人:Anil Nerode
-
依托单位:
Mathematical Sciences: Logic and Computability
-
批准号:9204308
-
项目类别:Continuing Grant
-
资助金额:$16.04万
-
财政年份:1992
-
负责人:Anil Nerode
-
依托单位:
Mathematical Sciences: Research in Mathematical Logic from Computer Science
-
批准号:9013068
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:1991
-
负责人:Anil Nerode
-
依托单位:
Mathematical Sciences: Research in Mathematical Logic
-
批准号:8902797
-
项目类别:Continuing grant
-
资助金额:$0.0万
-
财政年份:1989
-
负责人:Anil Nerode
-
依托单位:
A Workshop for Symbolic and Algebraic Computation: Directions for Future Research
-
批准号:8814224
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:1988
-
负责人:Anil Nerode
-
依托单位:
US-Italy Cooperative Research Program in Mathematical Logic
-
批准号:8515602
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:1986
-
负责人:Anil Nerode
-
依托单位:
Mathematical Sciences: Research in Mathematical Logic
-
批准号:8601048
-
项目类别:Continuing grant
-
资助金额:$0.0万
-
财政年份:1986
-
负责人:Anil Nerode
-
依托单位:
Acquisition of Mathematical Sciences Research Equipment
-
批准号:8502931
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:1985
-
负责人:Anil Nerode
-
依托单位:
U.S. Participation in the Sixth Latin American Symposium on Mathematical Logic; Caracas, Venezuela; August 1983
-
批准号:8301501
-
项目类别:Standard Grant
-
资助金额:$0.86万
-
财政年份:1983
-
负责人:Anil Nerode
-
依托单位:
Mathematical Sciences: Mathematical Logic
-
批准号:8301850
-
项目类别:Continuing grant
-
资助金额:$0.0万
-
财政年份:1983
-
负责人:Anil Nerode
-
依托单位:
Mathematical Logic
-
批准号:8003016
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:1980
-
负责人:Anil Nerode
-
依托单位:
国内基金
海外基金
登录
查看更多内容
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
-
负责人:国分隆文
-
依托单位:
Simulation and certification of the ground state of many-body systems on quantum simulators
-
批准号:--
-
项目类别:--
-
资助金额:40万元
-
批准年份:2020
-
负责人:Abolfazl Bayat
-
依托单位:
全基因组系统作图(systems mapping)研究三种细菌种间互作遗传机制
-
批准号:31971398
-
项目类别:面上项目
-
资助金额:58.0万元
-
批准年份:2019
-
负责人:何晓青
-
依托单位:
The formation and evolution of planetary systems in dense star clusters
-
批准号:11043007
-
项目类别:专项基金项目
-
资助金额:10.0万元
-
批准年份:2010
-
负责人:柯文采
-
依托单位: