SYSTEM STATE ANALYSIS
Provided is a method for analyzing a state of a system. The method comprises formulating a symbolic query using Boolean functions that describe relations between system elements, generating or updating a symbolic representation for each relation, and performing the symbolic query based on the genera...
Saved in:
Main Authors | , , |
---|---|
Format | Patent |
Language | English French German |
Published |
31.10.2018
|
Subjects | |
Online Access | Get full text |
Cover
Loading…
Summary: | Provided is a method for analyzing a state of a system. The method comprises formulating a symbolic query using Boolean functions that describe relations between system elements, generating or updating a symbolic representation for each relation, and performing the symbolic query based on the generated or updated symbolic representation. |
---|---|
Bibliography: | Application Number: EP20170167755 |