Applications of the Differential Calculus in the Study of the Timed Automata: the Inertial Delay Buffer
<|reference_start|>Applications of the Differential Calculus in the Study of the Timed Automata: the Inertial Delay Buffer: 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.<|reference_end|>
@article{vlad2001applications,
    title={Applications of the Differential Calculus in the Study of the Timed
  Automata: the Inertial Delay Buffer},
    author={Serban E. Vlad},
    journal={arXiv preprint arXiv:cs/0110064},
    year={2001},
    archivePrefix={arXiv},
    eprint={cs/0110064},
    primaryClass={cs.LO}
}