Polynomial logical zonotopes introduce a set representation for efficient reachability analysis in logical systems. They support all fundamental logical operations exactly, with a slight increase in computational complexity compared to logical zonotopes. The content discusses the motivation behind polynomial logical zonotopes, their construction, and their application in reachability analysis. It also compares them with traditional logical zonotopes and highlights the computational trade-offs between the two representations.
To Another Language
from source content
arxiv.org
ข้อมูลเชิงลึกที่สำคัญจาก
by Amr Alanwar,... ที่ arxiv.org 03-05-2024
https://arxiv.org/pdf/2306.12508.pdfสอบถามเพิ่มเติม