Results 51 to 60 of about 9,112 (162)
SENSE: Abstraction-Based Synthesis of Networked Control Systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 While many studies and tools target the basic stabilizability problem of networked control systems (NCS), nowadays modern systems require more sophisticated objectives such as those expressed as formulae in linear temporal logic or as automata on ...
Mahmoud Khaled +2 more
doaj +1 more source
A rewriting approach to binary decision diagrams
The Journal of Logic and Algebraic Programming, 2001 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
H. Zantema (Hans) +1 more
openaire +4 more sources
Dictionary Encoding Based on Tagged Sentential Decision Diagrams
AlgorithmsEncoding a dictionary into another representation means that all the words can be stored in the dictionary in a more efficient way. In this way, we can complete common operations in dictionaries, such as (1) searching for a word in the dictionary, (2 ...
Deyuan Zhong +2 more
doaj +1 more source
On the error resilience of ordered binary decision diagrams
Theoretical Computer Science, 2015 Ordered Binary Decision Diagrams (OBDDs) are a data structure that is used in an increasing number of fields of Computer Science (e.g., logic synthesis, program verification, data mining, bioinformatics, and data protection) for representing and manipulating discrete structures and Boolean functions.
Anna Bernasconi 0001 +2 more
openaire +3 more sources
Binary-Decision-Diagrams for Set Abstraction
CoRR, 2015 Whether explicit or implicit, sets are a critical part of many pieces of software. As a result, it is necessary to develop abstractions of sets for the purposes of abstract interpretation, model checking, and deductive verification. However, the construction of effective abstractions for sets is challenging because they are a higher-order construct. It
openaire +2 more sources
Ordered Binary Decision Diagrams as Knowledge-Bases
Artificial Intelligence, 1999 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Takashi Horiyama, Toshihide Ibaraki
openaire +2 more sources
Truth tables to binary decision diagrams [PDF]
, 2020 Model transformation tools have reached a considerable level of maturity in the core features, and are currently developing in many directions. Some tools are focusing on providing higher performance for large models or complex transformations. Others focus on bidirectionality, visualisation, traceability, or verifiability, among other research ...
Antonio García-Domínguez, Georg Hinkel
openaire +1 more source
Learning ordered binary decision diagrams
, 1995 We study the learnability of ordered binary decision diagrams (obdds). We give a polynomial-time algorithm using membership and equivalence queries that finds the minimum obdd for the target respecting a given ordering. We also prove that both types of queries and the restriction to a given ordering are necessary if we want minimality in the output ...
Gavaldà Mestre, Ricard +1 more
openaire +2 more sources
Static and Dynamic Load-Triggered Cascading Failure Mitigation for Storage Area Networks [PDF]
International Journal of Mathematical, Engineering and Management SciencesStorage area networks (SANs) are a widely used and dependable solution for data storage. Nevertheless, the occurrence of cascading failures caused by overloading has emerged as a significant risk to the reliability of SANs, impeding the delivery of the ...
Guixiang Lyu, Liudong Xing, Guilin Zhao
doaj +1 more source
IET Control Theory & ApplicationsThis work proposes a symbolic method to verify and enforce the current‐state opacity of labelled Petri nets (LPNs). The notion of basis markings of partially observed Petri nets currently dominates the development of opacity verification and enforcement ...
Kun Peng, Yufeng Chen, Zhiwu Li
doaj +1 more source