Contact

Director

Prof. Dr. Ernst-Rüdiger Olderog

Department of Computing Science
FK II
University of Oldenburg
D-26111 Oldenburg, Germany

Coordinator

Ira Wempe

Department of Computing Science
FK II
University of Oldenburg
D-26111 Oldenburg, Germany

[Invited Talk 31.01.2019] Fahrenberg

Energy Automata, Energy Functions, Kleene Algebra

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/

(Changed: 19 Jan 2024)  | 
Zum Seitananfang scrollen Scroll to the top of the page