Applications of the Differential Calculus in the Study of the Timed Automata: the Inertial Delay Buffer
Vlad, Serban E.
Original · EN
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 of the derivatives of the R->0,1 functions.
English translation
This paper has no Arabic translation yet. Be the first: it takes a few seconds, and the result is stored for every future reader.