Polynomial Logical Zonotopes: A Set Representation for Reachability Analysis of Logical Systems.

Amr Alanwar Frank J. Jiang Karl Henrik Johansson

Published in: CoRR (2023)

Keyphrases

predicate calculus
logical representation
expert systems
reachability analysis
management system
finite number
small number
distributed systems
complex systems
logical rules
real time
relational databases
representing knowledge