MAXPLUS - 2015 - Annual activity report

MAXPLUS

MAXPLUS - 2015

Team Maxplus

Members

Overall Objectives

Présentation et objectifs généraux/Overall objectives

Research Program

L'algèbre max-plus/Max-plus algebra
Algèbre max-plus, programmation dynamique, et commande optimale/Max-plus algebra, dynamic programming, and optimal control
Applications monotones et théorie de Perron-Frobenius non-linéaire, ou l'approche opératorielle du contrôle optimal et des jeux/Monotone maps and non-linear Perron-Frobenius theory, or the operator approach to optimal control and games
Processus de Bellman/Bellman processes
Systèmes à événements discrets/Discrete event systems
Algèbre linéaire max-plus/Basic max-plus algebra
Algèbre max-plus et asymptotiques/Using max-plus algebra in asymptotic analysis

Application Domains

Highlights of the Year

New Software and Platforms

New Results

Bilateral Contracts and Grants with Industry

Contrats avec l'Industrie/Bilateral Contracts with Industry

Partnerships and Cooperations

Dissemination

Bibliography

Previous |

Home | Next next

Section: Highlights of the Year

Highlights of the Year

Awards

Pascal Benchimol obtained in June 2015 a prize of Ecole polytechnique for his PhD thesis [70] .
Best paper award for the paper presented by Nikolas Stott of EMSOFT'15.

Best Paper Award:

[29]

X. Allamigeon, S. Gaubert, E. Goubault, S. Putot, N. Stott.

A scalable algebraic method to infer quadratic invariants of switched systems, in: International Conference on Embedded Software (EMSOFT'2015), Amsterdam, Netherlands, Alain Girault, Inria, Grenoble, France and Nan Guan, Northeastern University, China, October 2015. [ DOI : 10.1109/EMSOFT.2015.7318262 ]

https://hal.inria.fr/hal-01249320

Previous |

Home | Next next