In this paper we propose a model, timed automata with non-instantaneous actions, which allows representing in a suitable way real-time systems. Timed automata with non-instantaneous actions extend the timed automata model by dropping the assumption that actions are instantaneous: in our model an action can take some time to be completed. We investigate the expressiveness of the new model, compa...

In this work we present a timed extension of the AltaRica formalism [1, 2]. Following the work of [2], we extend the semantics of AltaRica to timed components and timed nodes. Moreover we also extend the priority mechanism of AltaRica to the timed case. Finally we give a translation of a Timed AltaRica specification into a usual timed automaton that can then be analysed by existing tools for ch...

and Implications To increase utilization of artificial insemination by beef producers, estrous and ovulation synchronization protocols must be re-evaluated in an attempt to reduce labor, cost, number of handlings, or a combination thereof without negatively impacting pregnancy rates. One potential way to reduce cost in these systems is through the strategic removal of hormones, such as the cont...

American Society of Animal Science members, publishing in Journal of Animal Science (JAS), completed research that resulted in understanding the estrous cycle of cattle, which led to the ability to inseminate cattle on a given day with pregnancy rates similar to those achieved by 21-d breeding by a fertile and sound bull. Research published in JAS led to understanding estrus, ovulation, the est...