Sökning: onr:"swepub:oai:DiVA.org:kth-343723" >
Logical Zonotopes :
-
Alanwar, AmrSchool of Computation, Information and Technology, Technical University of Munich, School of Computation, Information and Technology, Technical University of Munich; School of Computer Science and Engineering, Constructor University, School of Computer Science and Engineering, Constructor University
(författare)
Logical Zonotopes : A Set Representation for the Formal Verification of Boolean Functions
- Artikel/kapitelEngelska2023
Förlag, utgivningsår, omfång ...
-
Institute of Electrical and Electronics Engineers (IEEE),2023
-
printrdacarrier
Nummerbeteckningar
-
LIBRIS-ID:oai:DiVA.org:kth-343723
-
https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-343723URI
-
https://doi.org/10.1109/CDC49753.2023.10384037DOI
Kompletterande språkuppgifter
-
Språk:engelska
-
Sammanfattning på:engelska
Ingår i deldatabas
Klassifikation
-
Ämneskategori:ref swepub-contenttype
-
Ämneskategori:kon swepub-publicationtype
Anmärkningar
-
QC 20240226Part of ISBN 9798350301243
-
A logical zonotope, which is a new set representation for binary vectors, is introduced in this paper. A logical zonotope is constructed by XORing a binary vector with a combination of other binary vectors called generators. Such a zonotope can represent up to 2γ binary vectors using only γ generators. It is shown that logical operations over sets of binary vectors can be performed on the zonotopes' generators and, thus, significantly reduce the computational complexity of various logical operations (e.g., XOR, NAND, AND, OR, and semi-tensor products). Similar to traditional zonotopes' role in the formal verification of dynamical systems over real vector spaces, logical zonotopes can efficiently analyze discrete dynamical systems defined over binary vector spaces. We illustrate the approach and its ability to reduce the computational complexity in two use cases: (1) encryption key discovery of a linear feedback shift register and (2) safety verification of a road traffic intersection protocol.
Ämnesord och genrebeteckningar
Biuppslag (personer, institutioner, konferenser, titlar ...)
-
Jiang, FrankKTH,Reglerteknik,Digital Futures(Swepub:kth)u16ff4o2
(författare)
-
Amin, SamySchool of Computer Science and Engineering, Constructor University, School of Computer Science and Engineering, Constructor University
(författare)
-
Johansson, Karl H.,1967-KTH,Reglerteknik,Digital Futures(Swepub:kth)u1h0d9k2
(författare)
-
School of Computation, Information and Technology, Technical University of Munich, School of Computation, Information and Technology, Technical University of Munich; School of Computer Science and Engineering, Constructor University, School of Computer Science and Engineering, Constructor UniversityReglerteknik
(creator_code:org_t)
Sammanhörande titlar
-
Ingår i:2023 62nd IEEE Conference on Decision and Control, CDC 2023: Institute of Electrical and Electronics Engineers (IEEE), s. 60-66
Internetlänk