3 citations · 16 across the 30 of their papers we have counts for
4 papers · 2 filters
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…