Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dynamic properties of systems where complete, agreed upon models of the system are not available. This paper presents a symbolic model checker for multi-valued temporal logics. The model checker works for any multivalued ...

Wireless sensor networks (WSNs) are usually utilized to perform decision fusion of event detection. Current decision fusion schemes are based on binary valued decision and do not consider bursty contextcapture. However, bursty context and multi-valued data are important characteristics of WSNs. One on hand, the local decisions from sensors usually have bursty and contextual characteristics. Fus...

The subject of the study was hardware implementations of fuzzy controllers as CMOS analog devices on the base of implementation of fuzzy inference rules as multi-valued logic functions using summing amplifiers as building blocks. Earlier a functional completeness of summing amplifier with saturation in an arbitrary-valued logic was proven that gave a theoretical background for analog implementa...

The Ziv-Lempel complexity is a well-known complexity measure. In our paper we consider the Ziv-Lempel complexity for p'eriodic sequences as well as for pseudorandom number sequences. Further on, we will look at i ts cryptographic significance and compare it with other complexity measures such as the linear complexity.