Hierarchical Systems

这是一项由NSF基金ECS 9725148支持的研究沿着两个方向继续进行的建议。为了评价混合动力系统的性能，需要计算混合动力系统的到达集。先前的工作导致了计算有界控制线性系统的到达集的有效算法，有和没有不确定性。这些算法将扩展到混合系统。Lambda-Shift是一种用于分层混合系统规范和仿真的新语言。它有可能为此类系统的设计提供宝贵的框架。这一潜力将得到探索。拟议的研究利用了DARPA基于模型的嵌入式软件集成计划（MoBJES）和自动驾驶汽车ONR计划所支持的努力。

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.