公开(公告)号：US20240394070A1

公开(公告)日：2024-11-28

申请号：US18322165

申请日：2023-05-23

Applicant: GM GLOBAL TECHNOLOGY OPERATIONS LLC

Inventor： Yael Shmueli Friedland ,  Daniel Y. Rubin ,  Asaf Degani ,  Shani Avnet ,  Lisa M. Talarico

IPC: G06F9/448

Abstract: Characterizing notification distinctiveness for a finite-system machine (FSM) modeled system based on distinctiveness ratings generated for state transitions of the FSM-modeled system. The distinctiveness ratings may be operable for comparatively quantifying relative distinctiveness for notifications used to provide feedback for state transitions. The distinctiveness ratings may be generated to comparatively quantify relative distinctiveness between notifications of a transitioned-from and a transitioned-to state of the state transition associated therewith.

公开(公告)号：US20220189307A1

公开(公告)日：2022-06-16

申请号：US17123682

申请日：2020-12-16

Applicant: GM GLOBAL TECHNOLOGY OPERATIONS LLC

Inventor： Yael Shmueli Friedland ,  Claudia V. Goldman-Shenhar ,  Asaf Degani ,  Lisa M. Talarico ,  Ron M. Hecht

IPC: G08G1/16

Abstract: A system for notifying a user of a vehicle includes a receiving module configured to receive detection data, and a threat analysis module configured to receive object detection data related to a detected object in an environment around the vehicle, acquiring a predicted trajectory of the detected object, and determine whether the detected object constitutes a threat based on the predicted trajectory of the detected object and a vehicle trajectory. The system also includes a threat display module configured to determine an operating scenario based on a user attentiveness, a field of view, an operating mode, and a threat level, and generate a notification to the user representing the threat, the notification including a visual representation of the detected object and a visual indicator of the predicted trajectory of the detected object. At least one of the visual representation and the visual indicator is customized based on the operating scenario.

公开(公告)号：US20250094670A1

公开(公告)日：2025-03-20

申请号：US18469779

申请日：2023-09-19

Applicant: GM Global Technology Operations LLC

Inventor： Daniel Y. Rubin ,  Yael Shmueli Friedland ,  Asaf Degani ,  Shani Avnet ,  Lisa M. Talarico

IPC: G06F30/23 ,  G06F119/02

Abstract: A modeling platform for a finite state machine (FSM)-modeled system. The platform may include a design phase module configured for receiving FSM data associated with a design of the FSM-modeled system from a user device, wherein the FSM data describes static properties, dynamic properties, structural properties, states, state transitions, events, and outputs of the FSM-modeled system, wherein the design phase module is configured for generating design data based at least in part on the FSM data. The platform may further include a verification and testing phase module configured for providing a plurality of tools operable for utilizing the FSM and design data to facilitate aiding in design and implementation of the FSM-modeled system according to an identification of undesirable properties and usability deficiencies within the static properties, dynamic properties, structural properties, states, state transitions, events, and outputs of the design.

公开(公告)号：US11753031B2

公开(公告)日：2023-09-12

申请号：US17118966

申请日：2020-12-11

Applicant: GM GLOBAL TECHNOLOGY OPERATIONS LLC

Inventor： Ke Liu ,  Omer Tsimhoni ,  Yi G. Glaser ,  Roy J. Mathieu ,  Lisa M. Talarico ,  Robert McCulloch

IPC: B60W60/00 ,  B60W10/20 ,  B60W10/18 ,  B60W10/06 ,  B60W10/08 ,  B60W30/18 ,  B60W30/045 ,  B60W30/12 ,  B60W30/14 ,  B60W40/09

CPC classification number: B60W60/001 ,  B60W10/06 ,  B60W10/08 ,  B60W10/18 ,  B60W10/20 ,  B60W30/045 ,  B60W30/12 ,  B60W30/143 ,  B60W30/18159 ,  B60W40/09 ,  B60W60/0051 ,  B60W60/0053 ,  B60W2540/18 ,  B60W2540/229

Abstract: An autonomous driving system of a vehicle includes: an autonomous module configured to, during autonomous driving, control at least one of: steering of the vehicle; braking of the vehicle; and acceleration and deceleration of the vehicle; and a driving control module configured to: enable and disable autonomous driving; determine a future time for beginning a period of autonomous driving; and at least one of: selectively delay the beginning of autonomous driving to after the future time; and cancel the period of autonomous driving.

公开(公告)号：US20240427689A1

公开(公告)日：2024-12-26

申请号：US18339768

申请日：2023-06-22

Applicant: GM GLOBAL TECHNOLOGY OPERATIONS LLC

Inventor： Asaf Degani ,  Yael Shmueli Friedland ,  Daniel Y. Rubin ,  Shani Avnet ,  Lisa M. Talarico

IPC: G06F11/36

Abstract: A method for verifying system behavior and correcting design flaws in a finite state machine (FSM)-modeled system or any other representational method that includes receiving from a user device via a model verification platform, data associated with the system design. The data describes states, state transitions, events, and outputs of the FSM-modeled system. The method includes searching the data for predetermined behavior of the FSM-modeled system, including predetermined state(s) and/or mode changes. The method includes flagging the predetermined behavior as a verified behavior and performing a control action in response to the verified behavior, including transmitting a notification to the user device that is indicative of the verified behavior, and a design recommendation where applicable. Instructions for the method may be recorded in a computer readable storage medium and executed by a processor to cause the model verification platform to perform the method.