公开(公告)号：CN101327796A

公开(公告)日：2008-12-24

申请号：CN200810108263.9

申请日：2008-06-05

Applicant: 通用汽车环球科技运作公司

Inventor： S·曾 ,  J·A·萨林格尔 ,  P·V·V·加内桑

IPC: B60W30/08

CPC classification number: B60Q9/006 ,  G08G1/166 ,  G08G1/168

Abstract: 用于避免后路口交通碰撞的方法和设备。一种后路口交通碰撞避免系统，该系统在出现来自路口交通的碰撞威胁时提供某个动作，例如驾驶员警告或自动制动。该系统包括用于检测路口交通中的物体的物体检测传感器，和用于检测车辆转弯的车辆传感器。控制器使用来自物体检测传感器和车辆传感器的信号以基于车辆转弯来确定和识别可能妨碍对象车辆的物体轨迹。

公开(公告)号：CN102298541A

公开(公告)日：2011-12-28

申请号：CN201010510305.9

申请日：2010-10-14

Applicant: 通用汽车环球科技运作公司

Inventor： S·K·莫哈里克 ,  P·V·V·加内桑 ,  R·塞图

IPC: G06F11/00

CPC classification number: G06F11/3608

Abstract: 本发明涉及可执行模型的在线形式验证。一种可执行系统的自动形式验证的系统和方法包括声明监测器，所述声明监测器配置成相对于规格书中的声明来验证系统。所述声明监测器包括：剖析器，所述剖析器配置成使用布尔命题来产生表示规格书中的声明的命题公式；滤波器，所述滤波器配置成使用命题符号的真值赋值来产生系统进程；以及迹线验证器，所述迹线验证器配置成使用命题符号的真值赋值和命题公式利用系统进程来验证所述声明。

公开(公告)号：CN102298541B

公开(公告)日：2015-02-25

申请号：CN201010510305.9

申请日：2010-10-14

Applicant: 通用汽车环球科技运作公司

Inventor： S·K·莫哈里克 ,  P·V·V·加内桑 ,  R·塞图

IPC: G06F11/00

CPC classification number: G06F11/3608

Abstract: 本发明涉及可执行模型的在线形式验证。一种可执行系统的自动形式验证的系统和方法包括声明监测器，所述声明监测器配置成相对于规格书中的声明来验证系统。所述声明监测器包括：剖析器，所述剖析器配置成使用布尔命题来产生表示规格书中的声明的命题公式；滤波器，所述滤波器配置成使用命题符号的真值赋值来产生系统进程；以及迹线验证器，所述迹线验证器配置成使用命题符号的真值赋值和命题公式利用系统进程来验证所述声明。

公开(公告)号：CN101327796B

公开(公告)日：2011-10-05

申请号：CN200810108263.9

申请日：2008-06-05

Applicant: 通用汽车环球科技运作公司

Inventor： S·曾 ,  J·A·萨林格尔 ,  P·V·V·加内桑

IPC: B60W30/08

CPC classification number: B60Q9/006 ,  G08G1/166 ,  G08G1/168

Abstract: 用于避免后路口交通碰撞的方法和设备。一种后路口交通碰撞避免系统，该系统在出现来自路口交通的碰撞威胁时提供某个动作，例如驾驶员警告或自动制动。该系统包括用于检测路口交通中的物体的物体检测传感器，和用于检测车辆转弯的车辆传感器。控制器使用来自物体检测传感器和车辆传感器的信号以基于车辆转弯来确定和识别可能妨碍对象车辆的物体轨迹。