公开(公告)号：US20250013878A1

公开(公告)日：2025-01-09

申请号：US18347841

申请日：2023-07-06

Applicant: GM GLOBAL TECHNOLOGY OPERATIONS LLC

Inventor： Zahy Bnaya ,  Daniel Rubin ,  Asaf Degani ,  Yael Shmueli Friedland ,  Shani Avnet

IPC: G06N3/12

Abstract: A supportive software-based “toolbox” for optimizing finite state machine (FSM)-modeled systems. The optimization may include defining a plurality of alternative models for the FSM-modeled system and iterating one or more of the domain alternative into iterated alternatives. The optimization may include generating a plurality of stateflow representations for the FSM-modeled system according to the iterated alternatives, and based thereon, generating a model score for each of the stateflow representations predictively ranking the stateflow representations based at least in part on one or more of user experience, usability, correctness, transformability, effectiveness, and readiness.