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.
In un'altra lingua
dal contenuto originale
arxiv.org
Approfondimenti chiave tratti da
by Amr Alanwar,... alle arxiv.org 03-05-2024
https://arxiv.org/pdf/2306.12508.pdfDomande più approfondite