U.S.-France (INRIA) Cooperative Research: Analysis of Hybrid Systems and Application to the PATH Project

这一为期三年的奖项支持由Pravin Varaiya领导的加州大学伯克利分校的PATH项目和由INRIA/罗纳-阿尔卑斯大学的Joseph Sifakis领导的INRIA(法国国家信息学和应用数学研究所)的SPIRPE项目之间的美法合作研究。PATH项目的目标是设计自动化公路系统，以便大幅提高地面运输的能力和安全性。该项目是联邦公路局智能交通系统计划的一部分。SPECTE的目标是(1)设计和开发并发和实时系统的编程语言；(2)定义和研究模型和规范语言；(3)设计和实现与规范语言相适应的验证技术。拟议合作的目标是将混合系统理论和验证工具中的技术应用于PATH的自动化公路系统设计。美国集团将他们在混合动力控制和验证以及测试环境--自动化公路系统项目--方面的理论专业知识带到了这次合作中。法国集团在INRIA开发的控制和核查工具对此起到了补充作用。该项目有望增进我们对混合系统理论和验证工具的理解。

This three-year award supports U.S.-France cooperative research between the PATH project of the University of California at Berkeley, led by Pravin Varaiya, and the SPECTRE project of INRIA (French National Institute for Research in Informatics and Applied Mathematics) led by Joseph Sifakis of INRIA/Rhone-Alpes. The objective of the PATH project is to design automated highway systems so that capacity and safety of surface transportation are increased substantially. This project is part of the Federal Highway Authority's Intelligent Transportation Systems Program. SPECTRE's objectives are to (1) design and develop programming languages for concurrent and real-time systems; (2) define and study models and specification languages; and (3) design and implement validation techniques adapted to specification languages. The objective of the proposed collaboration is to apply techniques in hybrid systems theory and verification tools to PATH's design of automated highway systems. The U.S. groups brings to this collaboration their expertise in theory for hybrid control and verification and a test environment, the automated highway systems project. This is complemented by the control and verification tools developed by French group at INRIA. The project is expected to advance our understanding of hybrid systems theory and verification tools.