Applications of the Differential Calculus in the Study of the Timed Automata: the Inertial Delay Buffer

Simple item page
dc.creatorVlad, Serban E.
dc.date2001-10-31
dc.date.accessioned2026-07-07T03:17:52Z
dc.date.available2026-07-07T03:17:52Z
dc.descriptionWe 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.
dc.identifierhttps://arxiv.org/abs/cs/0110064
dc.identifierhttp://arxiv.org/abs/cs/0110064
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/30886
dc.subjectLogic in Computer Science
dc.subject94C05; 94C10
dc.titleApplications of the Differential Calculus in the Study of the Timed Automata: the Inertial Delay Buffer
dc.typetext

Files

Collections

arXiv