A verified hybrid controller for automated vehicles
A verified hybrid controller for automated vehicles
复制标题
经过验证的自动驾驶汽车混合控制器
DOI：
--
复制
发表时间：
1996
期刊：
影响因子：
--
通讯作者：
S. Sastry
中科院分区：
文献类型：
--
作者：
J. Lygeros;D. Godbole;S. Sastry
已经进行了大量的实验和理论研究，以设计一种自动化的高速公路系统，该系统可以提供更有效的高速公路利用，同时比当前的高速公路系统更安全，更舒适。在这里，我们提出了一个统一的框架，用于针对自动化高速公路问题进行安全计算。我们获得了足够的条件，使一组连续控制器可以安全，并使用这些条件来设计一个离散的方案，以在它们之间进行切换。按设计遵循闭环混合系统的安全性。
Considerable experimental and theoretical research has been carried out in an attempt to design an automated highway system that can provide more efficient utilization of the highways and at the same time be safer and more comfortable than the current highway system. Here we present a unified framework for carrying out safety calculations for the automated highway problem. We obtain sufficient conditions for a set of continuous controllers to be safe and use these conditions to design a discrete scheme that switches between them. Guarantees of safety for the closed loop hybrid system follow by design.