US Patent Issued to GM Global Technology Operations on April 21 for "Optimization for finite state machine modeled systems" (Israeli Inventors)

ALEXANDRIA, Va., April 21 -- United States Patent no. 12,608,623, issued on April 21, was assigned to GM Global Technology Operations LLC (Detroit).

"Optimization for finite state machine modeled systems" was invented by Zahy Bnaya (Petach Tikva, Israel), Daniel Rubin (Holon, Israel), Asaf Degani (Tel Aviv, Israel), Yael Shmueli Friedland (Tel Aviv, Israel) and Shani Avnet (Tel Aviv, Israel).

According to the abstract* released by the U.S. Patent & Trademark Office: "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. ...