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...

Full description

Saved in:
Bibliographic Details
Main Authors SA´AR, Yaniv, ROSENSWEIG, Elisha, SEGALL, Itai
Format Patent
LanguageEnglish
French
German
Published 04.08.2021
Subjects
CALCULATING
COMPUTING
COUNTING
ELECTRIC DIGITAL DATA PROCESSING
PHYSICS
Online AccessGet full text

Cover

More Information
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