Böcker av Serban E. Vlad

The Boolean functions may be iterated either asynchronously, when their coordinates are computed independently of each other, or synchronously, when their coordinates are computed at the same time. In Boolean Systems: Topics in Asynchronicity, a book addressed to mathematicians and computer scientists interested in Boolean systems and their use in modelling, author Serban E. Vlad presents a consistent and original mathematical theory of the discrete-time Boolean asynchronous systems. The purpose of the book is to set forth the concepts of such a theory, resulting from the synchronous Boolean system theory and mostly from the synchronous real system theory, by analogy, and to indicate the way in which known synchronous deterministic concepts generate new asynchronous nondeterministic concepts. The reader will be introduced to the dependence on the initial conditions, periodicity, path-connectedness, topological transitivity, and chaos. A property of major importance is invariance, which is present in five versions. In relation to it, the reader will study the maximal invariant subsets, the minimal invariant supersets, the minimal invariant subsets, connectedness, separation, the basins of attraction, and attractors. The stability of the systems and their time-reversal symmetry end the topics that refer to the systems without input. The rest of the book is concerned with input systems. The most consistent chapters of this part of the book refer to the fundamental operating mode and to the combinational systems (systems without feedback). The chapter Wires, Gates, and Flip-Flops presents a variety of applications. The first appendix addresses the issue of continuous time, and the second one sketches the important theory of Daizhan Cheng, which is put in relation to asynchronicity. The third appendix is a bridge between asynchronicity and the symbolic dynamics of Douglas Lind and Brian Marcus.

THE ESSENTIAL GUIDE SHOWING HOW THE UNBOUNDED DELAY MODEL OF COMPUTATION OF THE BOOLEAN FUNCTIONS MAY BE USED IN THE ANALYSIS OF THE BOOLEAN NETWORKS Boolean Functions: Topics in Asynchronicity contains the most current research in several issues of asynchronous Boolean systems. In this framework, asynchronicity means that the functions which model the digital circuits from electronics iterate their coordinates independently on each other and the author--a noted expert in the field--includes a formal mathematical description of these systems. Filled with helpful definitions and illustrative examples, the book covers a range of topics such as morphisms, antimorphisms, invariant sets, path connected sets, attractors. Further, it studies race freedom, called here the technical condition of proper operation, together with some of its generalized and strengthened versions, and also time reversal, borrowed from physics and also from dynamical systems, together with the symmetry that it generates. This book: Presents up-to-date research in the field of Boolean networks, Includes the information needed to understand the construction of an asynchronous Boolean systems theory and contains proofs, Employs use of the language of algebraic topology and homological algebra. Written for mathematicians and computer scientists interested in the theory and applications of Boolean functions, dynamical systems, and circuits, Boolean Functions: Topics in Asynchronicity is an authoritative guide indicating a way of using the unbounded delay model of computation of the Boolean functions in the analysis of the Boolean networks.