Patents by Inventor Kåre Jelling Kristoffersen

Kåre Jelling Kristoffersen has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Method and an apparatus for analyzing a state based system model
    Patent number: 6408262
    Abstract: The invention relates to methods and apparatus for analyzing a state based system model comprising a set of machines (M1, . . . ,Mn), said machines each comprising at least one possible state (pS1Mi, . . . ,pSkMi), each machine being in one of its comprised states at any given time, the dynamic behavior of said machines (M1, . . . ,Mn) being defined by predefined transitions between said states of each machine (M1, . . . ,Mn) and dependencies (D) between said machines (M1, . . . ,Mn) , initiating an initial set of at least one machine state (F) of said machines (M1, . . . ,Mn), initiating a goal set of machine states (A) representing a condition on states of a subset of machines (MI), and repeating the following steps until the analyzing has terminated positively and/or if the subset of machines (MI) comprises all of said machines (M1, . . .
    Type: Grant
    Filed: July 17, 1998
    Date of Patent: June 18, 2002
    Assignee: IAR Systems A/S
    Inventors: Henrik Leerberg, Henrik Hulgaard, Jørn Bo Lind-Nielsen, Henrik Reif Andersen, Kim Guldstrand Larsen, Kåre Jelling Kristoffersen, Gerd Behrmann