Polynomial logical zonotope: A set representation for reachability analysis of logical systems

Amr Al-Anwar 0001, Frank J. Jiang, Karl Henrik Johansson. Polynomial logical zonotope: A set representation for reachability analysis of logical systems. Automatica, 171:111896, 2025. [doi]

Abstract

Abstract is missing.