A METHOD AND AN APPARATUS FOR ANALYZING A STATE BASED SYSTEM MODEL

Henrik Leerberg (Inventor), Henrik Hulgaard (Inventor), Jørn Lind-Nielsen (Inventor), Henrik Reif Andersen (Inventor), Kåre Kristoffersen (Inventor), Kim G. Larsen (Inventor), Gerd Behrmann (Inventor)

    Research output: Patent

    Abstract

    The invention relates to a method of 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). One of many important advantages of the invention is that many analyses of real-life state based system models can be performed without evaluation of a considerable amount of machines in the system model.
    Original languageEnglish
    Patent numberWO1999050746
    Filing date07/10/1999
    CountryInternational Bureau of the World Intellectual Property Organization (WIPO)
    Publication statusPublished - 1999

    Fingerprint Dive into the research topics of 'A METHOD AND AN APPARATUS FOR ANALYZING A STATE BASED SYSTEM MODEL'. Together they form a unique fingerprint.

    Cite this