Supervisors: Eugene Asarin and Aldric Degorre.
Location: IRIF (Paris)
Context: ANR project MAVERIQ on a related theme starts in March 2021, PhD thesis available.
Timed words represent sequences of discrete events and continuous time durations, for example
a 1.234 b 3.141 a 2.71828 a 0.0001 b,
sets of such words (timed languages) are recognized by timed automata. These concepts are studied since 1990s, they are extensively applied to modelling and verification of real-time systems.
Recently, we have explored the quantity of information (entropy) for timed words belonging to a timed language. This notion is theoretically appealing, and allows analysing compression and transmission of timed data. In fact entropy represents the quantity of information in bits/event in the timed words.
In practice, it would be more relevant to consider timed words with respect to continuous time (instead of the number of events), and, in particular, to measure information in bits/second (bandwidth). This constitutes the aim of this internship.
Some of the following questions will be addressed:
Depending on the work progress and the profile of the intern, the research will be theoretical or include an implementation in prototype software,