中科微点-全球专利检索

  1. Login
  2. Sign Up

Search Results

8 records (took 0.037 seconds)

    BEHAVIOR VERIFICATION FOR FINITE STATE MACHINE-MODELED SYSTEMS
    2.
    发明申请
    BEHAVIOR VERIFICATION FOR FINITE STATE MACHINE-MODELED SYSTEMS 有权

    公开(公告)号：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.

    MECHANICAL COUPLING OF DUAL ELECTRIC MOTORS DRIVING A SINGLE VEHICLE AXLE
    3.
    发明申请
    MECHANICAL COUPLING OF DUAL ELECTRIC MOTORS DRIVING A SINGLE VEHICLE AXLE 有权

    公开(公告)号：US20240383330A1

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

    申请号：US18319139

    申请日：2023-05-17

    Applicant: GM GLOBAL TECHNOLOGY OPERATIONS LLC

    Inventor： Daniel Y. Rubin

    IPC: B60K23/04 ,  B60K1/02

    Abstract: A dual electric motor coupling system for a vehicle including: a vehicle having a vehicle body and a first electric motor, a second electric motor, and a vehicle axle attached to the vehicle body. The vehicle axle including a first rotating member coupled to the first electric motor and connectable to a first wheel assembly of the vehicle, and a second rotating member coupled to the second electric motor and connectable to a second wheel assembly of the vehicle, wherein the first and second wheel assemblies, when connected to the first rotating member and second rotating member, respectively, are disposed on opposing ends of the vehicle axle. A mechanical coupling is disposed in relation to the first electric motor and the second electric motor and is operable to selectively couple the first electric motor and the second electric motor by providing a coupling torque to the vehicle axle.

    AUTOMATED DATA ENTRY AND ERROR CHECKING METHODOLOGY FOR GENERATING STATE TRANSITION TABLES
    6.
    发明申请
    AUTOMATED DATA ENTRY AND ERROR CHECKING METHODOLOGY FOR GENERATING STATE TRANSITION TABLES 有权

    公开(公告)号：US20240383491A1

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

    申请号：US18318006

    申请日：2023-05-16

    Applicant: GM GLOBAL TECHNOLOGY OPERATIONS LLC

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

    IPC: B60W50/14 ,  G06F3/0486

    Abstract: A method for generating a populated state transition table for a finite-state machine (FSM)-modeled system includes receiving system traits via a host computer of a modeling system. The system traits include states, state transitions, and events of the FSM-modeled system. The method includes generating an initial state transition table in response to receipt of the system traits, the table being partially-populated by the system traits. The method additionally includes populating the table in response to user inputs to thereby auto-generate a populated state transition table, and error-checking the populated table using predetermined error-checking criteria, including searching the populated table via error-checking logic of the host computer for an omitted critical trait of the FSM-modeled system. The method also includes communicating an alert to the user in response to the omitted critical trait.

    MODELING PLATFORM FOR FINITE STATE MACHINE MODELED SYSTEMS
    7.
    发明申请
    MODELING PLATFORM FOR FINITE STATE MACHINE MODELED SYSTEMS 有权

    公开(公告)号：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.

Patent Agency Ranking