3 citations · 7 across the 8 of their papers we have counts for
6 papers · 1 filter
Introductory Topics in Binary Set Functions
Serban E. Vlad
Let X be a non-empty set and U a ring of subsets of X. The countable additive functions U->{0,1} are called measures. The paper gives some definitions (derivable measures, the Lebe…
Introductory Topics in Distributions over Binary Test Functions
Serban E. Vlad
We note with B2 the Boole algebra with two elements. We define for the R->B2 functions the limits, the derivatives, the differentiability, the test functions, the integrals. We als…
Applications of the Differential Calculus in the Study of the Timed Automata: the Inertial Delay Buffer
Serban E. Vlad
We write the relations that characterize the simpliest timed automaton, the inertial delay buffer, in two versions: the non-deterministic and the deterministic one, by making use o…
The Delay-Insensitivity, the Hazard-Freedom, the Semi-Modularity and the Technical Condition of Good Running of the Discrete Time Asynchronous Automata
Serban E. Vlad
The paper studies some important properties of the asynchronous (=timed) automata: the delay-insensitivity, the hazard-freedom, the semi-modularity and the technical condition of g…
An Asynchronous Automata Approach to the Semantics of Temporal Logic
Serban E. Vlad
The paper presents the differential equations that characterize an asynchronous automaton and gives their solution x:R->{0,1}x...x{0,1}. Remarks are made on the connection between…
Selected Topics in Asynchronous Automata
Serban E. Vlad
The paper is concerned with defining the electrical signals and their models. The delays are discussed, the asynchronous automata - which are the models of the asynchronous circuit…