Uli Fahrenberg, LIX, École polytechnique

Abstract:

Together with many nice colleagues, the speaker has for many years been working on so-called energy problems. The setting is that in a formal model one wants to determine whether there is a final or infinite execution during which a given energy variable never becomes negative. The formal model can be a weighted timed automaton, a finit automaton annotated with energy functions, or a similar model. Common to all these models is that it has been surprisingly difficult to solve such energy problems and that techniques from Kleene algebra have been a great help. At the same time, research into energy problems has had a high degree of application, for example in satellite scheduling, for security-critical Java and embedded software, and in industrial cooling. The purpose of this talk is to provide an overview of recent research into energy problems as well as to expand the use of Kleene algebra in an attempt to solve the problems of existence and construction of infinite schedules for finite weighted automata and one-clock weighted timed automata subject to boundary constraints on the accumulated weight.

Uli's website: www.lix.polytechnique.fr/Labo/Ulrich.Fahrenberg/