A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Hybrid automata are a natural model for both representing and analyzing systems that exhibit a mixed discrete continuous behaviours. However, the assumption of being able of performing infinite precision measurements over them soon leads to undecidability results and, sometimes, produces evolutions that are artifacts of the model and do not correspond to any observable phenomena. A class of finite precision semantics, named -semantics, is a way to handle these problems by formally representingdoi:10.1016/j.ic.2014.01.011 fatcat:lrvms3ieqrdlfkswsgbknshywq